180 likes | 348 Views
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
E N D
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! SigAda-2005
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
Current Aircraft Certification Projects • 767 Tanker • C-130 AMP • Boeing 787 • Airbus 380 • Eclipse 500 IMA Certification – Includes Ada SigAda-2005
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
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
XML Traceability files show links Source File Directory Design Coverage Requirement Function XMLTraceabilityFiles Results Test Analysis SigAda-2005
Delivery medium – CD-ROM Requirements Database CM Traceability data Get artifacts (baselined) Make CD-ROM Process CD-ROM artifacts XML traceability files SigAda-2005
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
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
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
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
Information Flow in IMA Certification Application Developers Platform Supplier Aircraft Installer System Integrator Maintenance Certification Authority SigAda-2005
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
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
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
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