ObjectAda Raven Safety Critical Software Development Environments The Aonix Emphasis

3 ObjectiveObjective nAcquaint you with our Ada95 products and services Development Systems Development Systems  Product Goals & Philosophy  Product Line Organization & Availability  Technical Characteristics Available Safety Critical Certification Solutions Available Safety Critical Certification Solutions – DO-178B Level A – High Speed Rail – Nuclear Shutdown, – etc. nAcquaint you with our Ada95 products and services Development Systems Development Systems  Product Goals & Philosophy  Product Line Organization & Availability  Technical Characteristics Available Safety Critical Certification Solutions Available Safety Critical Certification Solutions – DO-178B Level A – High Speed Rail – Nuclear Shutdown, – etc.

4 Product Line Organization UNIX / Motif / CDE Windows 98 / NT Native x Intel x PowerPC C O R E P R O E N T E R P C E R T I F R I S E I E x 68K D

5 Main Components nGraphical IDE in platform style nCompiler, prelinker, builder, cross- referencer nLightweight library mechanism nIntegrated editor, browser and debugger, cross tools nVariable or optional components: bindings, GUI builder, analysis tools nGraphical IDE in platform style nCompiler, prelinker, builder, cross- referencer nLightweight library mechanism nIntegrated editor, browser and debugger, cross tools nVariable or optional components: bindings, GUI builder, analysis tools

6 ObjectAda Compilers nVery fast Essentially one pass Essentially one pass 70K lpm on SPARC 10 70K lpm on SPARC 10 Multiple units/files in compilation faster due to caching of specs Multiple units/files in compilation faster due to caching of specs nSource-based No compilation order requirements No compilation order requirements Can use multiple source and object paths Can use multiple source and object paths Persistent info is ASCII and editable Persistent info is ASCII and editable nVery fast Essentially one pass Essentially one pass 70K lpm on SPARC 10 70K lpm on SPARC 10 Multiple units/files in compilation faster due to caching of specs Multiple units/files in compilation faster due to caching of specs nSource-based No compilation order requirements No compilation order requirements Can use multiple source and object paths Can use multiple source and object paths Persistent info is ASCII and editable Persistent info is ASCII and editable

7 New SCCI Support on Windows nList FilesKeep Checked Out nCommentSelect / UnSelect All nGet Latest Check Out nCheck InUndo Check Out nAdd to CMRemove from CM nShow HistoryShow Differences nCM PropertiesInvoke External CM nList FilesKeep Checked Out nCommentSelect / UnSelect All nGet Latest Check Out nCheck InUndo Check Out nAdd to CMRemove from CM nShow HistoryShow Differences nCM PropertiesInvoke External CM

ObjectAda Raven Certified/Certifiable Compiler/RTS

9 RTS Certification DO-178B Level A DO-178B Level A Full Requirements through Test Results Mapping Full Requirements through Test Results Mapping 100% Source Level Coverage 100% Source Level Coverage 100% Machine Level Coverage 100% Machine Level Coverage Full MCDC Coverage Full MCDC Coverage An RTS Can be Certified but, An RTS Can be Certified but,  Termed Certifiable  An RTS is Nothing Unto Itself DO-178B Level A DO-178B Level A Full Requirements through Test Results Mapping Full Requirements through Test Results Mapping 100% Source Level Coverage 100% Source Level Coverage 100% Machine Level Coverage 100% Machine Level Coverage Full MCDC Coverage Full MCDC Coverage An RTS Can be Certified but, An RTS Can be Certified but,  Termed Certifiable  An RTS is Nothing Unto Itself

10 Ravenscar Profile nIndustry Wide Safety Critical Standard nDeterministic Ada95 Subset… nCertifiable Safety Critical Subset nTasking Allowed Rendezvous Disallowed Rendezvous Disallowed Use Protected Objects for Communication Use Protected Objects for Communication nNo Dynamic Memory Allocation netc. nIndustry Wide Safety Critical Standard nDeterministic Ada95 Subset… nCertifiable Safety Critical Subset nTasking Allowed Rendezvous Disallowed Rendezvous Disallowed Use Protected Objects for Communication Use Protected Objects for Communication nNo Dynamic Memory Allocation netc.

11 Safety Critical Real-time Approach nAonix technology for safety-critical applications n Raven and C-SMART  Conforms to Ravenscar Profile  Flags Ravenscar Profile Violations at Compile Time  Level A Certification Packages Available  AdaCast for Test Harness and Source Level Coverage  AdaCover machine level coverage analysis  New support for bounded tasking model  New support for Targeting a Real-Time OS  PowerPC, 32 bit Intel, 68K nAonix technology for safety-critical applications n Raven and C-SMART  Conforms to Ravenscar Profile  Flags Ravenscar Profile Violations at Compile Time  Level A Certification Packages Available  AdaCast for Test Harness and Source Level Coverage  AdaCover machine level coverage analysis  New support for bounded tasking model  New support for Targeting a Real-Time OS  PowerPC, 32 bit Intel, 68K

12 Raven Packages nCore Pack  Core Compile System nProject Pack  Ada-Assured and PerfoRMAx nTest Pack  AdaCast, Test: harness, case, coverage,... nSafety Critical Pack  AdaCover: Machine Level Coverage nCertification Pack nDesign Pack  StP/UML with ACD nCore Pack  Core Compile System nProject Pack  Ada-Assured and PerfoRMAx nTest Pack  AdaCast, Test: harness, case, coverage,... nSafety Critical Pack  AdaCover: Machine Level Coverage nCertification Pack nDesign Pack  StP/UML with ACD

13 Safety Critical Customers Aircraft/Avionics –  Global Positioning System (GPS) (Sextant Avionique)  Global Positioning System (GPS) (Sextant Avionique)  Flight control data concentrator: AIRBUS A330-A340 (Sextant Avionique)  Flight control data concentrator: AIRBUS A330-A340 (Sextant Avionique)  Braking and steering control unit: AIRBUS A330-A340 (Thomson CSF/DOI and Messier Bugatti)  Braking and steering control unit: AIRBUS A330-A340 (Thomson CSF/DOI and Messier Bugatti)  Air Traffic Control (ATC): Ground-based instrument landing system (Navia, formerly Normarc)  Air Traffic Control (ATC): Ground-based instrument landing system (Navia, formerly Normarc)  Air Traffic Control (ATC): Germany, England, France and Belgium (EUROCONTROL)  Air Traffic Control (ATC): Germany, England, France and Belgium (EUROCONTROL)  Flight Management System (FMS): (EUROCONTROL)  Flight Management System (FMS): (EUROCONTROL)  Gauge control system: FALCON (Dassault/Intertechnique) France, Germany  Gauge control system: FALCON (Dassault/Intertechnique) France, Germany  Mission computer and data concentrator: TIGER and NH-90 (Eurocopter)  Mission computer and data concentrator: TIGER and NH-90 (Eurocopter)  (ATC): Denmark, Belgium, New Zealand, South Africa, Kenya, Pakistan, and Greece  (ATC): Denmark, Belgium, New Zealand, South Africa, Kenya, Pakistan, and Greece (Thomson CSF/SDC) (Thomson CSF/SDC)  Air Traffic Control simulators: Switzerland, Ireland (Thomson CSF/SDC)  Air Traffic Control simulators: Switzerland, Ireland (Thomson CSF/SDC)  Air Traffic Control System (ATC): (FAA)  Air Traffic Control System (ATC): (FAA)  Radar system: Civil avionics (Wilcox Electric)  Radar system: Civil avionics (Wilcox Electric)  Engine control system: (Chandler Evans)  Engine control system: (Chandler Evans)  Flight Management: Lockheed C130J (Lockheed Martin)  Flight Management: Lockheed C130J (Lockheed Martin)  Ground Collision Avoidance: Lockheed C130J (Aerosystems International)  Ground Collision Avoidance: Lockheed C130J (Aerosystems International)  Displays: Lockheed C130J (Lockheed Sanders)  Displays: Lockheed C130J (Lockheed Sanders)  Global Positioning System: Boeing 777 (CMC)  Global Positioning System: Boeing 777 (CMC)  Axle Steering System: Boeing 777 (Parker/Abex-NWL)  Axle Steering System: Boeing 777 (Parker/Abex-NWL)  Power Management System: Boeing 777 (Sundstrand)  Power Management System: Boeing 777 (Sundstrand)  Brakes: Boeing 777 (Crane/Hydro-Air) Nuclear and Electricity  Brakes: Boeing 777 (Crane/Hydro-Air) Nuclear and Electricity Aircraft/Avionics –  Global Positioning System (GPS) (Sextant Avionique)  Global Positioning System (GPS) (Sextant Avionique)  Flight control data concentrator: AIRBUS A330-A340 (Sextant Avionique)  Flight control data concentrator: AIRBUS A330-A340 (Sextant Avionique)  Braking and steering control unit: AIRBUS A330-A340 (Thomson CSF/DOI and Messier Bugatti)  Braking and steering control unit: AIRBUS A330-A340 (Thomson CSF/DOI and Messier Bugatti)  Air Traffic Control (ATC): Ground-based instrument landing system (Navia, formerly Normarc)  Air Traffic Control (ATC): Ground-based instrument landing system (Navia, formerly Normarc)  Air Traffic Control (ATC): Germany, England, France and Belgium (EUROCONTROL)  Air Traffic Control (ATC): Germany, England, France and Belgium (EUROCONTROL)  Flight Management System (FMS): (EUROCONTROL)  Flight Management System (FMS): (EUROCONTROL)  Gauge control system: FALCON (Dassault/Intertechnique) France, Germany  Gauge control system: FALCON (Dassault/Intertechnique) France, Germany  Mission computer and data concentrator: TIGER and NH-90 (Eurocopter)  Mission computer and data concentrator: TIGER and NH-90 (Eurocopter)  (ATC): Denmark, Belgium, New Zealand, South Africa, Kenya, Pakistan, and Greece  (ATC): Denmark, Belgium, New Zealand, South Africa, Kenya, Pakistan, and Greece (Thomson CSF/SDC) (Thomson CSF/SDC)  Air Traffic Control simulators: Switzerland, Ireland (Thomson CSF/SDC)  Air Traffic Control simulators: Switzerland, Ireland (Thomson CSF/SDC)  Air Traffic Control System (ATC): (FAA)  Air Traffic Control System (ATC): (FAA)  Radar system: Civil avionics (Wilcox Electric)  Radar system: Civil avionics (Wilcox Electric)  Engine control system: (Chandler Evans)  Engine control system: (Chandler Evans)  Flight Management: Lockheed C130J (Lockheed Martin)  Flight Management: Lockheed C130J (Lockheed Martin)  Ground Collision Avoidance: Lockheed C130J (Aerosystems International)  Ground Collision Avoidance: Lockheed C130J (Aerosystems International)  Displays: Lockheed C130J (Lockheed Sanders)  Displays: Lockheed C130J (Lockheed Sanders)  Global Positioning System: Boeing 777 (CMC)  Global Positioning System: Boeing 777 (CMC)  Axle Steering System: Boeing 777 (Parker/Abex-NWL)  Axle Steering System: Boeing 777 (Parker/Abex-NWL)  Power Management System: Boeing 777 (Sundstrand)  Power Management System: Boeing 777 (Sundstrand)  Brakes: Boeing 777 (Crane/Hydro-Air) Nuclear and Electricity  Brakes: Boeing 777 (Crane/Hydro-Air) Nuclear and Electricity

14 Safety Critical Customers Nuclear/Power -  Power plant control: (Sema Group)  Power plant control: (Sema Group)  Power generating system simulation: (Thomson CSF/DSI)  Power generating system simulation: (Thomson CSF/DSI)  Nuclear reactor project: (Nuclear Electric)  Nuclear reactor project: (Nuclear Electric)  Power plant power transmission system: (ABB Relays AG)  Power plant power transmission system: (ABB Relays AG)  Nuclear reactor control simulation: (CEA Cadarache)  Nuclear reactor control simulation: (CEA Cadarache)  Nuclear Shutdown System: Nuclear power station in Czech Republic (Westinghouse Electric)  Nuclear Shutdown System: Nuclear power station in Czech Republic (Westinghouse Electric) Trains and Railways –  Subway network control systems: Paris, Calcutta, and Cairo (GEC ALSTHOM)  Subway network control systems: Paris, Calcutta, and Cairo (GEC ALSTHOM)  Railway and signal control system: TGV for north lines and the Chunnel  Railway and signal control system: TGV for north lines and the Chunnel  Brake system for the TGV: the TVM 430 project (CSEE Transports)  Brake system for the TGV: the TVM 430 project (CSEE Transports)  Brake and signals system: London Underground, Jubilee Line extension (Westinghouse)  Brake and signals system: London Underground, Jubilee Line extension (Westinghouse)  Railway and signal control system: TGV Mediterranee  Railway and signal control system: TGV Mediterranee  Railway Signaling System in China: KCRC project (Alstom)  Railway Signaling System in China: KCRC project (Alstom) Space –  Satellite positioning system: (Alcatel SEL)  Satellite positioning system: (Alcatel SEL)  Launching platform: Ariane V project (Aerospatiale with the CNES and Matra Marconi Space)  Launching platform: Ariane V project (Aerospatiale with the CNES and Matra Marconi Space)  Satellite imaging system: SPOT project (CNES)  Satellite imaging system: SPOT project (CNES)  Columbus part of International Space Station: (ERNO Raumfahrttechnik)  Columbus part of International Space Station: (ERNO Raumfahrttechnik)  Data management systems and network control system: International Space Station (NASA)  Data management systems and network control system: International Space Station (NASA)  Inertial Reference System: QUASAR 3000 project (Thalès Avionics) for ArianeV  Inertial Reference System: QUASAR 3000 project (Thalès Avionics) for ArianeV  Data management system: APM (Atmospheric Pressure Module) for International Space Station  Data management system: APM (Atmospheric Pressure Module) for International Space Station (Matra Marconi) Nuclear/Power -  Power plant control: (Sema Group)  Power plant control: (Sema Group)  Power generating system simulation: (Thomson CSF/DSI)  Power generating system simulation: (Thomson CSF/DSI)  Nuclear reactor project: (Nuclear Electric)  Nuclear reactor project: (Nuclear Electric)  Power plant power transmission system: (ABB Relays AG)  Power plant power transmission system: (ABB Relays AG)  Nuclear reactor control simulation: (CEA Cadarache)  Nuclear reactor control simulation: (CEA Cadarache)  Nuclear Shutdown System: Nuclear power station in Czech Republic (Westinghouse Electric)  Nuclear Shutdown System: Nuclear power station in Czech Republic (Westinghouse Electric) Trains and Railways –  Subway network control systems: Paris, Calcutta, and Cairo (GEC ALSTHOM)  Subway network control systems: Paris, Calcutta, and Cairo (GEC ALSTHOM)  Railway and signal control system: TGV for north lines and the Chunnel  Railway and signal control system: TGV for north lines and the Chunnel  Brake system for the TGV: the TVM 430 project (CSEE Transports)  Brake system for the TGV: the TVM 430 project (CSEE Transports)  Brake and signals system: London Underground, Jubilee Line extension (Westinghouse)  Brake and signals system: London Underground, Jubilee Line extension (Westinghouse)  Railway and signal control system: TGV Mediterranee  Railway and signal control system: TGV Mediterranee  Railway Signaling System in China: KCRC project (Alstom)  Railway Signaling System in China: KCRC project (Alstom) Space –  Satellite positioning system: (Alcatel SEL)  Satellite positioning system: (Alcatel SEL)  Launching platform: Ariane V project (Aerospatiale with the CNES and Matra Marconi Space)  Launching platform: Ariane V project (Aerospatiale with the CNES and Matra Marconi Space)  Satellite imaging system: SPOT project (CNES)  Satellite imaging system: SPOT project (CNES)  Columbus part of International Space Station: (ERNO Raumfahrttechnik)  Columbus part of International Space Station: (ERNO Raumfahrttechnik)  Data management systems and network control system: International Space Station (NASA)  Data management systems and network control system: International Space Station (NASA)  Inertial Reference System: QUASAR 3000 project (Thalès Avionics) for ArianeV  Inertial Reference System: QUASAR 3000 project (Thalès Avionics) for ArianeV  Data management system: APM (Atmospheric Pressure Module) for International Space Station  Data management system: APM (Atmospheric Pressure Module) for International Space Station (Matra Marconi)

15 SummarySummary Flexible, well-planned product architecture Flexible, well-planned product architecture Lightweight implementation technology Lightweight implementation technology Aonix... Aonix... Vast Experience in Safety Critical Systems Vast Experience in Safety Critical Systems Supplier of Certifiable RTS and Needed Support Tools Supplier of Certifiable RTS and Needed Support Tools  Leading Supplier for Ada83  Only Supplier Today for Ada95 Off-The-Shelf Certification Packages Off-The-Shelf Certification Packages Flexible, well-planned product architecture Flexible, well-planned product architecture Lightweight implementation technology Lightweight implementation technology Aonix... Aonix... Vast Experience in Safety Critical Systems Vast Experience in Safety Critical Systems Supplier of Certifiable RTS and Needed Support Tools Supplier of Certifiable RTS and Needed Support Tools  Leading Supplier for Ada83  Only Supplier Today for Ada95 Off-The-Shelf Certification Packages Off-The-Shelf Certification Packages

16