Aonix Safety Critical Solutions

1
(No Transcript)
2
ObjectAda RavenSafety CriticalSoftware
DevelopmentEnvironmentsThe Aonix Emphasis
3
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.

4
Product Line Organization
Windows 98 / NT
Native
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
I
E
S
D
E
5
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

6
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

7
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

8
ObjectAda RavenCertified/CertifiableCompiler/RT
S
9
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

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

11
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

12
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

13
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/Intertech
  nique) 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)

14
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

15
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

16