Advancing Embedded Systems Best Practice MetaH Honeywell DSSA

Simplex Dependable Upgrade Sha

RMA Lehoczky Klein

HOOD STOOD

MetaH Error Model Honeywell

Automotive

ACME Garlan EDCS

GME VanderBilt MoBIES

Eclipse EMF

SAE AADL Standard Nov 2004

Embedded Systems Research

Medical

OSATE Toolset SEI

Aerospace

AADL UML Profile Std 2007

AADL Meta Model & XMI June 2006

Avionics

MBE

AADL Error Annex Standard June 2006

Industrial Initiatives

Industrial Projects

Unmanned Vehicles

Aerospace

Industrial Tools Avionics

Industry Standards

Automotive

SAE AADL: International Industry Standard for Embedded Systems

Impact Through Industrial Standards OSEK Evaluation Rajkumar Feiler MoBIES

OSEK Real-time OS API

Automotive ARINC653 AADL Study Honeywell SEI AMRDEC EADS Astrium

MBE SAE AADL Standard Nov 2004 AADL Meta Model & XMI June 2006 AADL Error Annex Standard June 2006 AADL UML Profile Std 2007

OMG XMI

AutoSAR

OMG UML2

ARINC653 Standard

SAE AADL AS-2C

NATO ALWI Study EADS General Dynamics Kennedy-Carter SEI/AMRDEC

Aerospace Avionics

SAE AS1 NATO G97 Weapons Integration Unmanned Vehicles SAE AS4 Unmanned Systems JAUS WG

OMG MARTE

Industrial Embedded Systems Initiatives USCar Consortium Ford GM Chrysler CMU 2007OpenGroup Real-Time Forum EU + US partners

TOPCASED Open Source Embedded Systems Tool Framework 28 partners €20+M 2005-2008

MBE SAE AADL Standard Nov 2004

Not Started

Started

IST ARTIST2 Embedded Systems Center of Excellence 2007-2011

AADL Meta Model & XMI June 2006 AADL Error Annex Standard June 2006

EAST ADL Consortium AutoSAR

COTRE Aviation Systems 2002-2004

OSATE Toolset SEI

AADL UML Profile Std 2007

IST ARTIST Embedded Systems 2001-2006

Automotive

Eclipse Embedded Systems Avionics

ITEA SPICES Model-Driven Embedded Systems Engineering 15 partners €16M 2006-2009 US AVSI Avionics Consortium Analysis-based System Validation 8 partners $12+M 2007-2010

ESA Satellite Architectures 2002-2004

EC ASSERT Proof-based Satellite Architectures ESA + 30 partners €15M 2004-2007 Aerospace

Impact on Industrial Projects & Tools CAAS Rockwell AMRDEC

F18 Navy

F16 LM/CMU RMA Lehoczky Klein

Pattern-based AADL Analysis Feiler Lewis SEI AMRDEC

TimeWiz TimeSys Rajkumar

MBE

AADL/UML Rhapsody

OSATE Toolset SEI

STOOD/AADL ElliDiss

Sensornets Eaton

Netcentric Systems Sagem

Netcentric

Civil & Military Avionics Honeywell Weapons Integration 21st Century Satellite Flight System Astrium

ARH AMRDEC

Apache AMRDEC

Partitioned Architectures Fault Mgnt/Latency Feiler Hansson Sha SEI UIUC

RapidRMA TriPacific

SAE AADL Standard Nov 2004

F22/F35 LM/UIUC

SSIV AVSI Avionics

MILS FPGA Rockwell

Confidentiality In AADL Feiler Hansson

EuroFighter EADS

xUML-AADL Translator Kennedy-Carter

Mission System Dassault

Weapons Integration General Dynamics

Satellite Family ESA

Sporadic server RTQT Klein PACC Robotics

ABB SVM SADL Krogh Feiler MoBIES Emmeskay

Toyota

Aerospace

Robotics Task Planning Robotics Institute AADL/MSR Study Feiler Bosch

Unmanned Vehicles

Automotive

Collaborative Embedded Systems Research Sporadic server RTQT Klein PACC

RTQT Lehoczky DASADA

QRAM Rajkumar EDCS

Dynamic QRAM Rajkumar Feiler DASADA

Resource Management RMA Lehoczky Klein

INSERT/Simplex Sha Lehoczky Klein Feiler EDCS

Simplex Dependable Upgrade Sha

MetaH/Acme Feiler AMRDEC

MetaH Vestal Honeywell Slack Stealer In MetaH Vestal Binns Honeywell

OSATE Binpacker RMA ARINC653 Feiler DeNiz

Model Validation

Partitioned Architectures

Alloy-based Architecture Verification DeNiz Garlan SEI SCS

Alloy Verification Jackson (MIT)

AADL Latency ARINC653 Feiler Hansson

MBE SAE AADL Standard Nov 2004

Aging in Asynchronous Architectures Vestal Honeywell

Runtime System Verification Hybrid Automata Vestal Honeywell

Predictable Caching In Embedded Systems Feiler Hansson DeNiz

QRAM/RMA Feiler

Configuration Consistency Krogh Feiler Li EDCS

TimeWeaver Rajkumar MoBIES

OSATE Toolset SEI

AADL Error Annex Standard June 2006

Runtime System Runtime System Verification Generation & Verification Reliability AADL/PetriNet Fault Tree ENST (Paris) Vestal Runtime System Honeywell Code Verification Verimag/IRIT

Formalized AADL Temporal Semantics IRIT (Toulouse)

Resource Scheduling Singhoff (Brest) Network Calculus Vestal Honeywell

Process algebra ACSR Sokolsky (U.Penn)

Wireless Security ISIS Vanderbilt

Sensornet Resources ANDES Stankovic Son UVA

Security

Dependability Reliability Reliability Analysis Modeling GSPN Mobius LAAS UIUC

Confidentiality In AADL Feiler Hansson SEI IR&D

Reliability Analysis Markov Embry-Riddle

System Fault Impact Feiler Sha SEI UIUC

Fault Propagation FPTC Wallace (York U.)

Color Code Border Color Project Type Research

Fill Color Effort Lead CMU SEI

Industrial Project Industrial Initiative Standard Tools SEI

Research Institution

Standard Group Industry Shaded: MultiOrganization