1. Vendor Presentation SigAda 2005 George Romanski romanski@verocel.com

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

3.      © 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

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

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

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

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

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

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

10.      © 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

11.      © 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

12.      © 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

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

14.      © SigAda-2005 14 Configuration Record Management Platform Developer Application Developers System Integrators Time MemoryI/OChannel Configuration Record XML Representation Configuration Record Binary Representation Qualified Development Tool Consumed by Software Qualified Verification Tool User Views Translator

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

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

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