1 / 16

ObjectAda Raven Safety Critical Software Development Environments The Aonix Emphasis

ObjectAda Raven Safety Critical Software Development Environments The Aonix Emphasis. Objective. Acquaint you with our Ada95 products and services Development Systems Product Goals & Philosophy Product Line Organization & Availability Technical Characteristics

ham
Download Presentation

ObjectAda Raven Safety Critical Software Development Environments The Aonix Emphasis

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. ObjectAda RavenSafety CriticalSoftware DevelopmentEnvironmentsThe Aonix Emphasis

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

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

  4. Main Components • Graphical IDE in platform style • Compiler, prelinker, builder, cross-referencer • Lightweight library mechanism • Integrated editor, browser and debugger, cross tools • Variable or optional components: bindings, GUI builder, analysis tools 5

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

  6. New SCCI Supporton Windows • List Files Keep Checked Out • Comment Select / UnSelect All • Get Latest Check Out • Check In Undo Check Out • Add to CM Remove from CM • Show History Show Differences • CM Properties Invoke External CM 7

  7. ObjectAda RavenCertified/CertifiableCompiler/RTS

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

  9. Ravenscar Profile • Industry Wide Safety Critical Standard • Deterministic Ada95 Subset… • Certifiable Safety Critical Subset • Tasking Allowed • Rendezvous Disallowed • Use Protected Objects for Communication • No Dynamic Memory Allocation • etc. 10

  10. Safety CriticalReal-time Approach • Aonix technology for safety-critical applications • 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 11

  11. Raven Packages • Core Pack • Core Compile System • Project Pack • Ada-Assured and PerfoRMAx • Test Pack • AdaCast, Test: harness, case, coverage, ... • Safety Critical Pack • AdaCover: Machine Level Coverage • Certification Pack • Design Pack • StP/UML with ACD 12

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

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

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

  15. 16

More Related