Critical-Software Development Solutions

ObjectAda 7

Greg Giccagicca@aonix.com

SIGAda November 15, 2000

CriticalCritical--Software Software Development Solutions Development Solutions

ObjectAda 7ObjectAda 7

Greg GiccaGreg Giccagiccagicca@@aonixaonix.com.com

SIGAda November 15, 2000SIGAda November 15, 2000

3

ObjectiveObjective

■■Acquaint you with our Ada95 Acquaint you with our Ada95 products and servicesproducts and servicesll Training & ConsultingTraining & Consultingll Development SystemsDevelopment Systems

tt Product Goals & PhilosophyProduct Goals & Philosophytt Product Line OrganizationProduct Line Organizationtt Technical CharacteristicsTechnical Characteristics

■■Certified to DOCertified to DO--178B Level A178B Level All Leading Supplier of Certifiable Ada83Leading Supplier of Certifiable Ada83ll Leading Supplier of Certifiable Ada95Leading Supplier of Certifiable Ada95

4

Product GoalsProduct Goals

■■Broadly competitive Ada95 Broadly competitive Ada95 development systemsdevelopment systems

■■Production quality capabilitiesProduction quality capabilities■■“Open systems” approach“Open systems” approach

ll Reduce cost & priceReduce cost & pricell Enhance applicabilityEnhance applicability

5

Product PhilosophyProduct Philosophy

■■Stratified, evolvable product lineStratified, evolvable product linell Value & price competitiveValue & price competitivell Support different needs at appropriate Support different needs at appropriate

prices pointsprices pointsll Support activities in multiple areas of Support activities in multiple areas of

lifecycle/processlifecycle/processll Support gradual buySupport gradual buy--in for customersin for customers

6

Product Line OrganizationProduct Line Organization

UNIX / Motif / CDE

Windows 98 / NT Native

X Intel

X PowerPCCO

R

E

P

R

O

EN

TER

P

PER

S

ON

RISE

A

L

X 68K

7

Main ComponentsMain Components

■■Graphical IDE in platform styleGraphical IDE in platform style■■Compiler,Compiler, prelinkerprelinker, builder, , builder,

crosscross--referencerreferencer■■Lightweight library mechanismLightweight library mechanism■■ Integrated: editor, browser and Integrated: editor, browser and

debugger, cross tools debugger, cross tools ■■Variable or optional components: Variable or optional components:

bindings, GUI builder, analysis toolsbindings, GUI builder, analysis tools

8

Technical PhilosophyTechnical Philosophy

■■LightLight■■EfficientEfficient■■OpenOpen■■ExtensibleExtensible■■FamiliarFamiliar

9

ObjectAda CompilersObjectAda Compilers■■Very fastVery fast

ll Essentially one passEssentially one passll 70K70K lpmlpm on SPARC 10on SPARC 10ll Multiple units/files in compilation faster Multiple units/files in compilation faster

due to caching of specsdue to caching of specs

■■SourceSource--based Librarybased Libraryll No compilation order requirementsNo compilation order requirements

tt Can have Parallel and Distributed BuildsCan have Parallel and Distributed Builds

ll Can use multiple source and object pathsCan use multiple source and object pathsll Persistent info is ASCII and editablePersistent info is ASCII and editable

10

Project / Library ModelProject / Library Model

■■New 7.2 modeled after MSVC++ 5.0New 7.2 modeled after MSVC++ 5.0■■Project is a logical collection of sources Project is a logical collection of sources

and support filesand support files■■Target is a buildTarget is a build--oriented grouping of oriented grouping of

project filesproject filesll Supports distinct optionsSupports distinct optionsll SupportsSupports autocompilationautocompilation or buildor buildll Equivalent to a library (multiple closures)Equivalent to a library (multiple closures)

11

VC++ IntegrationVC++ IntegrationVC++ Integration

■Mixed Language - C, C++, Ada, Asm■Edit■Debug■Build (adabuild -mk)

■■Mixed Language Mixed Language -- C, C++, Ada,C, C++, Ada, AsmAsm■■EditEdit■■DebugDebug■■Build (Build (adabuildadabuild --mkmk))

12

RealReal--time approachtime approach

■■Hard RealHard Real--Time and Safety CriticalTime and Safety Critical■■ Integrative approach:Integrative approach:

ll PharLapPharLap ETS & Raven for 32 bit IntelETS & Raven for 32 bit Intelll Tornado, LynxOS & Raven for PowerPCTornado, LynxOS & Raven for PowerPCll Raven for 68KRaven for 68Kll HostHost--based tools integration as well as based tools integration as well as

target executivetarget executivell RealReal--time extensionstime extensionsll RealReal--time analysis tools time analysis tools -- PerfoRMAxPerfoRMAxll Testing Tools Testing Tools -- AdaCastAdaCast

13

( Legal ( Legal -- Safety ) SystemsSafety ) SystemsLawsRegulationsStandardsGuidelines

Case LawPrecedenceInterpretationsStandardsGuidelines

Visibility

Traceability

PROCESS

EVIDENCE / RECORD

Confidence / Safety

14

RealReal--time approachtime approach

■■Aonix technology for safetyAonix technology for safety--critical critical applicationsapplications

■■RavenRavenll Conforms to the Conforms to the Ravenscar Ravenscar ProfileProfile

tt Hard RealHard Real--Time and Certifiable Ada95 SubsetTime and Certifiable Ada95 Subset

ll 32 bit Intel and PowerPC32 bit Intel and PowerPCll AdaCover coverage analysisAdaCover coverage analysisll Certification packagesCertification packagesll Raven CertificationRaven Certification

15

RealReal--time approachtime approach

■■RavenRavenll New support for bounded tasking modelNew support for bounded tasking model

tt Tasks Communicate via Protected ObjectsTasks Communicate via Protected Objects

ll New support for segregated loadsNew support for segregated loadstt Support for Partitioned Memory Model OSSupport for Partitioned Memory Model OStt Multi Safety Levels on Single BoardMulti Safety Levels on Single Board

ll Exception Handling SupportException Handling Supporttt For Hard RealFor Hard Real--TimeTimett In Extensions (nonIn Extensions (non--certifiable) Librarycertifiable) Library

16

Raven PackagesRaven PackagesRaven Packages■Core Pack

tCore Compile System

■Project PackVAda-Assured and PerfoRMAx

■Test PackVAdaCast, Test: harness, case, coverage, ...

■Safety Critical PackVAdaCover: Machine Level Coverage

■Certification Pack■Design Pack

t StP/UML with ACD with Raven Code Generatio

■■Core PackCore Packtt Core Compile SystemCore Compile System

■■Project PackProject PackVV AdaAda--Assured and PerfoRMAxAssured and PerfoRMAx

■■Test PackTest PackVV AdaCast, Test: harness, case, coverage, ...AdaCast, Test: harness, case, coverage, ...

■■Safety Critical PackSafety Critical PackVV AdaCover: Machine Level Coverage AdaCover: Machine Level Coverage

■■Certification PackCertification Pack■■Design PackDesign Pack

tt StP/UML with ACD with Raven Code GeneratioStP/UML with ACD with Raven Code Generatio

17

AdaCoverAdaCoverAdaCover■Qualified to DO-178B Level A■Target - Data Collection

l User selectable start/stop pointsl Single steps on targetl Provides full machine level coverage datal Uploaded to Host after execution

■Host - Post Analysisl Coverage reportsl Updates assembly listingl Merge to create total execution reports

■■Qualified to DOQualified to DO--178B Level A178B Level A■■Target Target -- Data CollectionData Collection

ll User selectable start/stop pointsUser selectable start/stop pointsll Single steps on targetSingle steps on targetll Provides full machine level coverage dataProvides full machine level coverage datall Uploaded to Host after executionUploaded to Host after execution

■■Host Host -- Post AnalysisPost Analysisll Coverage reportsCoverage reportsll Updates assembly listingUpdates assembly listingll Merge to create total execution reportsMerge to create total execution reports

18

Safety Critical CustomersSafety Critical CustomersSafety 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)■ • (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 (Canadian Marconi)■ • Axle Steering System: Boeing 777 (Parker/Abex-NWL)■ • Power Management System: Boeing 777 (Sundstrand)■ • Brakes: Boeing 777 (Crane/Hydro-Air) Nuclear and Electricity –■ • 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)

■■ Aircraft/Avionics 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)■ • (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 (Canadian Marconi)■ • Axle Steering System: Boeing 777 (Parker/Abex-NWL)■ • Power Management System: Boeing 777 (Sundstrand)■ • Brakes: Boeing 777 (Crane/Hydro-Air) Nuclear and Electricity –■ • 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)

19

Safety Critical CustomersSafety Critical CustomersSafety Critical Customers

■ 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)

■ Space –■ • Satellite positioning system : (Alcatel SEL)■ • Launching platform: Ariane V project (Aerospatiale with the CNES and Matra Marconi Space)■ • Switching and telemeasuring systems: Galileo Mars probe project (CNES)■ • Satellite imaging system: SPOT project (CNES)■ • Columbus part of Freedom Space Station: (ERNO Raumfahrttechnik)■ • Data management systems and network control system: Freedom Space Station (NASA)■ • Data management system: APM (Atmospheric Pressure Module) for Freedom Space Station

(Matra Marconi)

■■ Trains and Railways 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)

■■ Space Space ––■ • Satellite positioning system : (Alcatel SEL)■ • Launching platform: Ariane V project (Aerospatiale with the CNES and Matra Marconi Space)■ • Switching and telemeasuring systems: Galileo Mars probe project (CNES)■ • Satellite imaging system: SPOT project (CNES)■ • Columbus part of Freedom Space Station: (ERNO Raumfahrttechnik)■ • Data management systems and network control system: Freedom Space Station (NASA)■ • Data management system: APM (Atmospheric Pressure Module) for Freedom Space Station

(Matra Marconi)

20

OO Design SupportOO Design Support

■■Software Through Pictures Software Through Pictures -- StPStPll A Leading Design Tool SuiteA Leading Design Tool Suitell Complete Support For:Complete Support For: BoochBooch & & OMTOMTll UML UML Fully SupportedFully Supportedll StP Design Editors:StP Design Editors:

tt Object Model, State, Functional, UseObject Model, State, Functional, Use--Case, Case, ObjectObject--Interaction, ...Interaction, ...

ll Reverse Engineering SupportReverse Engineering Supportll Code Generation SupportCode Generation Support

tt Ada95 Ada95 or C++, Java, IDL, Smalltalk, …or C++, Java, IDL, Smalltalk, …

21

StP / ACDStP / ACDStP / ACD

■Architecture Centric Development■Generate Source From UML Model

l Class Diagram and State Machines

■Generate Specs and Implementation■Up to 60 % Of Application Generated■Source:

l General Ada95 OOl Hard Real Time Raven

■■Architecture Centric DevelopmentArchitecture Centric Development■■Generate Source From UML ModelGenerate Source From UML Model

ll Class Diagram and State MachinesClass Diagram and State Machines

■■Generate Specs Generate Specs and and ImplementationImplementation■■Up to 60 % Of Application GeneratedUp to 60 % Of Application Generated■■Source:Source:

ll General Ada95 OOGeneral Ada95 OOll Hard Real Time RavenHard Real Time Raven

22

SummarySummary

■■Broad early coverage Broad early coverage ■■Stratified, expandable capability/priceStratified, expandable capability/price■■Open approach to tool integrationOpen approach to tool integration■■Full Life Cycle Support Full Life Cycle Support -- COTSCOTS■■Flexible, wellFlexible, well--planned architectureplanned architecture■■Lightweight implementation Lightweight implementation

technologytechnology■■Training and Consulting servicesTraining and Consulting services■■Certifiable to DOCertifiable to DO--178B Level A178B Level A

AonixMaking Ideas A Reality

AonixAonixMaking Ideas A RealityMaking Ideas A Reality