Critical- -Software Software Critical Critical-Software - - PDF document

▶
critical software software critical critical software
SMART_READER_LITE
LIVE PREVIEW

Critical- -Software Software Critical Critical-Software - - PDF document

Sep 07, 2022 135 likes •378 views

Critical- -Software Software Critical Critical-Software Development Solutions Development Solutions Development Solutions ObjectAda 7 ObjectAda 7 ObjectAda 7 Greg Gicca Greg Gicca Greg Gicca gicca@ @aonix aonix.com .com

slide-1
SLIDE 1
slide-2
SLIDE 2

Critical-Software Development Solutions

ObjectAda 7 Greg Gicca gicca@aonix.com SIGAda November 15, 2000

Critical Critical-

  • Software

Software Development Solutions Development Solutions

ObjectAda 7 ObjectAda 7 Greg Gicca Greg Gicca gicca gicca@ @aonix aonix.com .com SIGAda November 15, 2000 SIGAda November 15, 2000

slide-3
SLIDE 3

3

Objective Objective

■ ■Acquaint you with our Ada95 Acquaint you with our Ada95 products and services products and services

  • Training & Consulting

Training & Consulting

  • Development Systems

Development Systems

  • Product Goals & Philosophy

Product Goals & Philosophy

  • Product Line Organization

Product Line Organization

  • Technical Characteristics

Technical Characteristics

■ ■Certified to DO Certified to DO-

  • 178B Level A

178B Level A

  • Leading Supplier of Certifiable Ada83

Leading Supplier of Certifiable Ada83

  • Leading Supplier of Certifiable Ada95

Leading Supplier of Certifiable Ada95

slide-4
SLIDE 4

4

Product Goals Product Goals

■ ■Broadly competitive Ada95 Broadly competitive Ada95 development systems development systems ■ ■Production quality capabilities Production quality capabilities ■ ■“Open systems” approach “Open systems” approach

  • Reduce cost & price

Reduce cost & price

  • Enhance applicability

Enhance applicability

slide-5
SLIDE 5

5

Product Philosophy Product Philosophy

■ ■Stratified, evolvable product line Stratified, evolvable product line

  • Value & price competitive

Value & price competitive

  • Support different needs at appropriate

Support different needs at appropriate prices points prices points

  • Support activities in multiple areas of

Support activities in multiple areas of lifecycle/process lifecycle/process

  • Support gradual buy

Support gradual buy-

  • in for customers

in for customers

slide-6
SLIDE 6

6

Product Line Organization 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 P E R S O N R I S E A L

X 68K

slide-7
SLIDE 7

7

Main Components Main Components

■ ■Graphical IDE in platform style Graphical IDE in platform style ■ ■Compiler, Compiler, prelinker prelinker, builder, , builder, cross cross-

  • referencer

referencer ■ ■Lightweight library mechanism Lightweight 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 tools bindings, GUI builder, analysis tools

slide-8
SLIDE 8

8

Technical Philosophy Technical Philosophy

■ ■Light Light ■ ■Efficient Efficient ■ ■Open Open ■ ■Extensible Extensible ■ ■Familiar Familiar

slide-9
SLIDE 9

9

ObjectAda Compilers ObjectAda Compilers

■ ■Very fast Very fast

  • Essentially one pass

Essentially one pass

  • 70K

70K lpm lpm on SPARC 10

  • n SPARC 10
  • Multiple units/files in compilation faster

Multiple units/files in compilation faster due to caching of specs due to caching of specs

■ ■Source Source-

  • based Library

based Library

  • No compilation order requirements

No compilation order requirements

  • Can have Parallel and Distributed Builds

Can have Parallel and Distributed Builds

  • 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

slide-10
SLIDE 10

10

Project / Library Model Project / Library Model

■ ■New 7.2 modeled after MSVC++ 5.0 New 7.2 modeled after MSVC++ 5.0 ■ ■Project is a logical collection of sources Project is a logical collection of sources and support files and support files ■ ■Target is a build Target is a build-

  • oriented grouping of
  • riented grouping of

project files project files

  • Supports distinct options

Supports distinct options

  • Supports

Supports autocompilation autocompilation or build

  • r build
  • Equivalent to a library (multiple closures)

Equivalent to a library (multiple closures)

slide-11
SLIDE 11

11

VC++ Integration VC++ Integration VC++ Integration

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

  • C, C++, Ada,

C, C++, Ada, Asm Asm ■ ■Edit Edit ■ ■Debug Debug ■ ■Build ( Build (adabuild adabuild -

  • mk

mk) )

slide-12
SLIDE 12

12

Real Real-

  • time approach

time approach

■ ■Hard Real Hard Real-

  • Time and Safety Critical

Time and Safety Critical ■ ■Integrative approach: Integrative approach:

  • PharLap

PharLap ETS & Raven for 32 bit Intel ETS & Raven for 32 bit Intel

  • Tornado, LynxOS & Raven for PowerPC

Tornado, LynxOS & Raven for PowerPC

  • Raven for 68K

Raven for 68K

  • Host

Host-

  • based tools integration as well as

based tools integration as well as target executive target executive

  • Real

Real-

  • time extensions

time extensions

  • Real

Real-

  • time analysis tools

time analysis tools -

  • PerfoRMAx

PerfoRMAx

  • Testing Tools

Testing Tools -

  • AdaCast

AdaCast

slide-13
SLIDE 13

13

( Legal ( Legal -

  • Safety ) Systems

Safety ) Systems

Laws Regulations Standards Guidelines Case Law Precedence Interpretations Standards Guidelines Visibility Traceability

PROCESS

EVIDENCE / RECORD

Confidence / Safety

slide-14
SLIDE 14

14

Real Real-

  • time approach

time approach

■ ■Aonix technology for safety Aonix technology for safety-

  • critical

critical applications applications ■ ■Raven Raven

  • Conforms to the

Conforms to the Ravenscar Ravenscar Profile Profile

  • Hard Real

Hard Real-

  • Time and Certifiable Ada95 Subset

Time and Certifiable Ada95 Subset

  • 32 bit Intel and PowerPC

32 bit Intel and PowerPC

  • AdaCover coverage analysis

AdaCover coverage analysis

  • Certification packages

Certification packages

  • Raven Certification

Raven Certification

slide-15
SLIDE 15

15

Real Real-

  • time approach

time approach

■ ■Raven Raven

  • New support for bounded tasking model

New support for bounded tasking model

  • Tasks Communicate via Protected Objects

Tasks Communicate via Protected Objects

  • New support for segregated loads

New support for segregated loads

  • Support for Partitioned Memory Model OS

Support for Partitioned Memory Model OS

  • Multi Safety Levels on Single Board

Multi Safety Levels on Single Board

  • Exception Handling Support

Exception Handling Support

  • For Hard Real

For Hard Real-

  • Time

Time

  • In Extensions (non

In Extensions (non-

  • certifiable) Library

certifiable) Library

slide-16
SLIDE 16

16

Raven Packages Raven Packages 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 with Raven Code Generatio

■ ■Core Pack Core Pack

  • Core Compile System

Core Compile System

■ ■Project Pack Project Pack

  • Ada

Ada-

  • Assured and PerfoRMAx

Assured and PerfoRMAx

■ ■Test Pack Test Pack

  • AdaCast, Test: harness, case, coverage, ...

AdaCast, Test: harness, case, coverage, ...

■ ■Safety Critical Pack Safety Critical Pack

  • AdaCover: Machine Level Coverage

AdaCover: Machine Level Coverage

■ ■Certification Pack Certification Pack ■ ■Design Pack Design Pack

  • StP/UML with ACD with Raven Code Generatio

StP/UML with ACD with Raven Code Generatio

slide-17
SLIDE 17

17

AdaCover AdaCover AdaCover

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

User selectable start/stop points Single steps on target Provides full machine level coverage data Uploaded to Host after execution

■Host - Post Analysis

Coverage reports Updates assembly listing Merge to create total execution reports

■ ■Qualified to DO Qualified to DO-

  • 178B Level A

178B Level A ■ ■Target Target -

  • Data Collection

Data Collection

  • User selectable start/stop points

User selectable start/stop points

  • Single steps on target

Single steps on target

  • Provides full machine level coverage data

Provides full machine level coverage data

  • Uploaded to Host after execution

Uploaded to Host after execution

■ ■Host Host -

  • Post Analysis

Post Analysis

  • Coverage reports

Coverage reports

  • Updates assembly listing

Updates assembly listing

  • Merge to create total execution reports

Merge to create total execution reports

slide-18
SLIDE 18

18

Safety Critical Customers Safety Critical Customers 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)

■

  • (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)
slide-19
SLIDE 19

19

Safety Critical Customers Safety Critical Customers Safety 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)

slide-20
SLIDE 20

20

OO Design Support OO Design Support

■ ■Software Through Pictures Software Through Pictures -

  • StP

StP

  • A Leading Design Tool Suite

A Leading Design Tool Suite

  • Complete Support For:

Complete Support For: Booch Booch & & OMT OMT

  • UML

UML Fully Supported Fully Supported

  • StP Design Editors:

StP Design Editors:

  • Object Model, State, Functional, Use

Object Model, State, Functional, Use-

  • Case,

Case, Object Object-

  • Interaction, ...

Interaction, ...

  • Reverse Engineering Support

Reverse Engineering Support

  • Code Generation Support

Code Generation Support

  • Ada95

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

  • r C++, Java, IDL, Smalltalk, …
slide-21
SLIDE 21

21

StP / ACD StP / ACD StP / ACD

■Architecture Centric Development ■Generate Source From UML Model

Class Diagram and State Machines

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

General Ada95 OO Hard Real Time Raven

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

  • Class Diagram and State Machines

Class Diagram and State Machines

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

  • General Ada95 OO

General Ada95 OO

  • Hard Real Time Raven

Hard Real Time Raven

slide-22
SLIDE 22

22

Summary Summary

■ ■Broad early coverage Broad early coverage ■ ■Stratified, expandable capability/price Stratified, expandable capability/price ■ ■Open approach to tool integration Open approach to tool integration ■ ■Full Life Cycle Support Full Life Cycle Support -

  • COTS

COTS ■ ■Flexible, well Flexible, well-

  • planned architecture

planned architecture ■ ■Lightweight implementation Lightweight implementation technology technology ■ ■Training and Consulting services Training and Consulting services ■ ■Certifiable to DO Certifiable to DO-

  • 178B Level A

178B Level A

slide-23
SLIDE 23

Aonix

Making Ideas A Reality

Aonix Aonix

Making Ideas A Reality Making Ideas A Reality