1 / 8

SafeBuild for Critical Software Developments

SIGAda’02, Houston, 10 December 2002. SafeBuild for Critical Software Developments. http://www.tni-valiosys.com. Why do we sponsor SIGAda ?. TNI has been offering Ada code generation tools for many years Ada 83 code generation from design modeling tools (HOOD)

aadi
Download Presentation

SafeBuild for Critical Software Developments

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. SIGAda’02, Houston, 10 December 2002 SafeBuildfor Critical Software Developments http://www.tni-valiosys.com

  2. Why do we sponsor SIGAda ? • TNI has been offering Ada code generation tools for many years • Ada 83 code generation from design modeling tools (HOOD) • Support of major European avionics & space projects: Airbus, Eurocopter, Thales, Alcatel Space, Hispano Suiza, ... • Early support of Ada95 • Technical collaboration with ENST-Bretagne • Full Ada95 code generation and reverse engineering • Co-organizing « Workshops on Method & Tools for Ada95 » • TNI-Europe is a sponsor of Ada-Europe • In 2001 TNI merged with Valiosys • Increase business worldwide • 2 offices in the U.S. for sales and technical support

  3. Telecom Semiconductor ADS Industrial Automation Automotive France Télécom Alcatel NORTEL STMicroelectronics Philips Texas Instruments Infineon EADS, Airbus SNECMA Eurocopter Thalès Alstom Spie Trindel PSA TNI-Valiosys « To provide a comprehensive set of software and hardware system design solutions to enable designers of real-time applications in aerospace, automotive, semi-conductor, telecommunications and industrial automation to build better system-level models and implementations of their electronic products in less time. » SafeBuild

  4. Requirements • Enforce Software Engineering Best Practices • Model based approach • Modular Software Architecture and Low-coupling • Facilitate Reuse of Software Components • Ensure consistent Code and Documentation • Comply with Existing Environments and Projects Organization • Non intrusive capture of the Requirements • Reverse Engineering of Legacy Code • Compatible with any Configuration Management system • Multi-users capability • Unix/Windows interoperability • Support Industrial Standards: • DO-178B (avionics) • ECSS-E40 (space) • EN-50128 (railways) • ISO/IEC-12207

  5. SafeBuild/Reqtify To manage requirements traceability across the project • Capture the Software Requirements and Coverage information • where they are... • Offer a full control of the Traceability Graph of the project • Produce Traceability Matrix

  6. SafeBuild/Stood To find the best design framework before coding • Powerful Architectural Design Model: • Complies with HOOD, AADL and UML 2.0 Components • Modular and Hierarchical for large projects • Specialized Components for Real-Time • Comprehensive Detailed Design Model: • Common framework for coding and documentation • Multi-language (Ada is preferred, of course) • Highlights the actual coverage of the requirements • Integrated verification tools (cross-references, design rules) • Predefined documentation layout • Configuration Management compliant data storage

  7. Legacy Code Stood Code Software Requirements Documents or Models Design Documents Reqtify Requirements Traceability Matrix SafeBuild Top-Down Design

  8. Legacy Code Stood Code Software Requirements Documents or Models Design Documents Reqtify Requirements Traceability Matrix SafeBuild Reverse Enginnering

More Related