1 / 17

Vendor Presentation

Vendor Presentation. SigAda 2005. George Romanski. romanski@verocel.com. Verocel Companies. Verocel, Inc. Verocel – Polska, Sp z o.o. Verocel, GmbH. 27 people at present!. Verocel – What we do. Software Verification Development of Certification Evidence Tool Qualification

nowles
Download Presentation

Vendor Presentation

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. Vendor Presentation SigAda 2005 George Romanski romanski@verocel.com

  2. Verocel Companies • Verocel, Inc. • Verocel – Polska, Sp z o.o. • Verocel, GmbH 27 people at present! SigAda-2005

  3. Verocel – What we do • Software Verification • Development of Certification Evidence • Tool Qualification • Ada Run-Time Environment – Certification • Certification Tools • VeroTrace • Life-cycle Traceability • VerOCode • Object-code coverage analyzer • VerOLink • Control Coupling Verification • VerIMAx • IMA Configuration Tools SigAda-2005

  4. Current Aircraft Certification Projects • 767 Tanker • C-130 AMP • Boeing 787 • Airbus 380 • Eclipse 500 IMA Certification – Includes Ada SigAda-2005

  5. Ada Run-time Certification Package Ada Application AdaCore GNAT Pro Certification Package GNAT-I/O Elementary Functions Run time Libraries Exception Management ARINC-653 API Certification Package AE 653 Partition Operating System Wind River Systems AE 653 Module Operating System SigAda-2005

  6. VeroTrace Lifecycle traceability tool Information in Database Source File Requirement Directory Design System Requirements Function Information in CM System Coverage Requirement Requirement Function Artifact Results Test Review Checklist Analysis SigAda-2005

  7. XML Traceability files show links Source File Directory Design Coverage Requirement Function XMLTraceabilityFiles Results Test Analysis SigAda-2005

  8. Delivery medium – CD-ROM Requirements Database CM Traceability data Get artifacts (baselined) Make CD-ROM Process CD-ROM artifacts XML traceability files SigAda-2005

  9. QUALIFIED Verification of Traceability CD-ROM artifacts XML traceability files Files expected based on information indatabase Files obtained from CM system Verified for consistency and completeness SigAda-2005

  10. VerOCode – Coverage Analysis Tool • Measures coverage on Target computer • Does not instrument the code • Measures code at the machine code level • Suitable for level A • Does not require Source-Object traceability • Covers Ada/C/C++/Assembly code Qualification materials available SigAda-2005

  11. Control Coupling Analysis • Required by DO-178B • What is it? • Measure of the “goodness” of the integration process • Can it be verified by test? • For small systems – identify all call paths and trace these with requirements based tests. • For large system this becomes impractical • VeroLink verifies correctness of all calls ‘fixed-up’ by the linker SigAda-2005

  12. VerOLink is a Verification tool • Qualification materials available • May be used to complete the control coupling objective “automatically” • Tool performs analysis quickly and generates report SigAda-2005

  13. Information Flow in IMA Certification Application Developers Platform Supplier Aircraft Installer System Integrator Maintenance Certification Authority SigAda-2005

  14. Configuration Record Management Platform Developer Application Developers System Integrators Time Memory I/O Channel User Views Qualified Verification Tool Translator Configuration Record XML Representation Configuration Record Binary Representation Translator Qualified Development Tool Consumed by Software SigAda-2005

  15. Partition Application Partition Application Partition Application Partition HM Table Partition HM Table Partition HM Table XML Configuration files Platform Configuration Memory Layout Schedule Tables Connection Table XML Document System HM Table Many files can be used to make up an XML Configuration Document Module HM Table Hosted Function Supplier Platform Provider System Integrator SigAda-2005

  16. V-CRT V-CRT V-CRT Flexibility of VerIMAx Processing Schema Schema Schema XML Files XML Document Ver. Attr Ver. Attr Ver. Attr VerIMAx Processor Review Tables Binary Config Record Checking Reports SigAda-2005

  17. VerIMAx – Tool Technology VerIMAx Verocel IMA XML Translation Technology ( Product Family Name) VerIMAx-CR Configuration Record – Compiler Qualified as Development Tool VerIMAx-CRT Configuration Record Table – Translator Qualified as Verification Tool VerIMAx-CRC Configuration Record - Checker Qualified as Verification Tool SigAda-2005

More Related