Introduction to AADL 1

Size: px
Start display at page:

Download "Introduction to AADL 1"

Transcription

1 Introduction to AADL 1 M. Filali joint work with Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, François Vernadat IRIT-CNRS ; University of Toulouse, France LAAS-CNRS ; University of Toulouse, France Monday April 12 th 2010 KTH CYBER WEEK 2010 Panel 1 This work was partly supported by the French AESE project Topcased and by the region Midi-Pyrénées.

2 Introduction AADL: Architecture Analysis & Design Language Bruce Lewis Peter Feiler (main investigators). main features: architecture description language quantitative analysis: timing, sizing, performance, energy reliability extensibility standard of the SAE

3 AADL description language Software components process thread Hardware components processor device memory bus Composition system Interaction shared memory port and port groups port event port event port Connexions Modes

4 in_fligh on_ground airspeed3 airspeed2 airspeed1 door1_ecam door2_ecam doors_process2 door2 airspeed1 doors_process1 door1 airspeed2 door1_info door2_info slide_light slide_warn handle handle_pos pressure_warn pres_warn flight_loc lock closed_sensor1 closed closed_sensor2 closed lock_latched1 ll lock_latched2 ll iface airspeed3 on_ground in_fligh door1 door2 dps1 door_handler2 door_handler1 airspeed1 airspeed2 door_info airspeed3 door_lock on_ground in_fligh iface dps1 dps2 doors_mix door1_lock door_2lock cll lock_latched3 dps2 cll RDC_access ll DPS1 DPS2 OCU1 OCU2 dps dps cll cll RDC2 RDC1 door afdx AFDX CPIOM2 CPIOM1 afdx (J.-F. Rolland (IRIT))

5 AADL execution model Precise dispatch & communication protocols semantics. ThreadHalted PerformingThreadInitialization SuspendedAwaitingDispatch PerformingThreadDeactivation PerformingThreadComputation SuspendedAwaitingMode PerformingThreadActivation PerformingThreadFinalize

6 The AADL port protocol event immediate immediate delayed dispatch start of complete deadline execution

7 (Joint work of Jean-Paul Bodeveix, Pierre Dissaux, Peter Feiler, Mamoun Filali.) Why a behavioural annex for AADL? AADL relies on the analysis of source text. AADL calls and flows do not depend on. AADL behaviour is basically described by: the AADL execution model quantitative aspects like wcet. allows a refinement of these aspects.

8 The AADL behaviour annex and execution model event immediate immediate delayed dispatch start of complete deadline execution The AADL behavioural annex: describes how the dispatch is triggered. gives access to the received and sent describes what happens when control is gained explicits when control is relinquished

9 Describe the internal behavior of component implementations as a state transition system with guards and actions. Extend the default run-time execution semantics that is specified by the core of the standard, such as thread dispatch protocols. Provide behavioral refinement for mode transitions. Introduce subprogram calls synchronization protocols. These extensions have been introduced through properties and annexes.

10 thread merger features p1 : in event port Basic_types::integer; p2 : in event port Basic_types::integer; m : out event port Basic_types::integer; end merger;

11 thread implementation merger.twopersistentstates annex behavior_specification {** variables x1 : Basic_types::integer; x2 : Basic_types::integer; states s0 : initial complete state; comp : state; next1, next2 : complete state; transitions s0 -[ on dispatch p1 ]-> next2 { x1 := p1 }; s0 -[ on dispatch p2 ]-> next1 { x2 := p2 }; next1 -[ on dispatch p1 ]-> comp { x1 := p1 }; next2 -[ on dispatch p2 ]-> comp { x2 := p2 }; comp -[ x1 < x2 ]-> next1 { m!(x1) }; comp -[ x2 <= x1 ]-> next2 { m!(x2) }; **};

12 Behavioural annex synchronization protocols subprogram calls in AADL is synchronous. alternate synchronization protocols (HRT-HOOD): Server_Call_Protocol: type enumeration (ASER,HSER,LSER) applies to (provides subprogram access); ASER : the caller is never blocked. LSER : the caller waits for the acceptation of the request. HSER : the caller waits for the completion of the request and gets results if any.

13 Introduction AADL results from a long experience in real-time. AADL is supported by the OSATE-TOPCASED project. is now part of the AADL standard. Verification support through the FIACRE language : pivot verification language of the TOPCASED project. Used for case studies in industrial research projects.

The AADL Behavioural annex 1

The AADL Behavioural annex 1 1 IRIT-CNRS ; Université de Toulouse, France Ellidis Software France-UK SEI CMU USA Wednesday March 24 th 2010 OXFORD UML-AADL 2010 Panel 1 This work was partly supported by the French AESE project Topcased

More information

Event B Development of a Synchronous AADL Scheduler

Event B Development of a Synchronous AADL Scheduler Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science 280 (2011) 23 33 www.elsevier.com/locate/entcs Event B Development of a Synchronous AADL Scheduler Jean-Paul Bodeveix

More information

Formal Verification of AADL models with Fiacre and Tina

Formal Verification of AADL models with Fiacre and Tina Formal Verification of AADL models with Fiacre and Tina B. Berthomieu, J.-P. Bodeveix, S. Dal Zilio, P. Dissaux, M. Filali, P. Gaufillet, S. Heim, F. Vernadat CNRS ; LAAS ; 7 avenue colonel Roche, F-31077

More information

Development Process for Critical Embedded Systems

Development Process for Critical Embedded Systems I Workshop de Sistemas Embarcados 151 Development Process for Critical Embedded Systems L.B. Becker 1, J.-M. Farines 1, J.-P. Bodeveix 2, M. Filali 2, F. Vernadat 3 1 Dept of Automation and Systems Universidade

More information

arxiv: v1 [cs.se] 2 Mar 2015

arxiv: v1 [cs.se] 2 Mar 2015 Real-Time Model Checking Support for AADL B. Berthomieu b,c, J.-P. Bodeveix a,c, S. Dal Zilio b,c,, M. Filali a,c, D. Le Botlan b,c, G. Verdier a,c, F. Vernadat b,c a CNRS, IRIT, 118 route de Narbonne,

More information

Model Editing & Processing Tools. AADL Committee, San Diego February 4th, Pierre Dissaux. Ellidiss. Technologies w w w. e l l i d i s s.

Model Editing & Processing Tools. AADL Committee, San Diego February 4th, Pierre Dissaux. Ellidiss. Technologies w w w. e l l i d i s s. Model Editing & Processing Tools AADL Committee, San Diego February 4th, 2015 Pierre Dissaux Technologies w w w. e l l i d i s s. c o m Independent Technology Provider: Software w w w. e l l i d i s s.

More information

AADS+: AADL Simulation including the Behavioral Annex

AADS+: AADL Simulation including the Behavioral Annex AADS+: AADL Simulation including the Behavioral Annex Fifth IEEE International workshop UML and AADL 24th March 2010, Oxford, UK Roberto Varona Gómez Eugenio Villar {roberto, evillar}@teisa.unican.es University

More information

COTRE as an AADL profile

COTRE as an AADL profile COTRE as an AADL profile Pierre GAUFILLET & Patrick FARAIL AIRBUS FRANCE pierre.gaufillet@airbus.com / patrick.farail@airbus.com Tel. : +33 (0)5.61.18.84.85 / +33 (0)5.61.93.66.28 COTRE overview 1/2 Funded

More information

Monday Jan 30. Tuesday Jan 31. AADL Standards Meeting Jan 30 Feb 1, 2012 Toulouse, France with ERTS Conference N7 INPT University de Toulouse

Monday Jan 30. Tuesday Jan 31. AADL Standards Meeting Jan 30 Feb 1, 2012 Toulouse, France with ERTS Conference N7 INPT University de Toulouse AADL Standards Meeting Jan 30 Feb 1, 2012 Toulouse, France with ERTS Conference N7 INPT University de Toulouse http://maps.google.com/maps?q=rue+charles+camichel,+31000+toulouse,+france&z=16 Teleconference

More information

Update on Behavior Language for Embedded Systems with Software for Proof Based Analysis of Behavior

Update on Behavior Language for Embedded Systems with Software for Proof Based Analysis of Behavior October 19, 2010 BLESS Progress Report (1) Update on Behavior Language for Embedded Systems with Software for Proof Based Analysis of Behavior Brian Larson Multitude Corporation October 19, 2010 October

More information

This is an author-deposited version published in : Eprints ID : 15109

This is an author-deposited version published in :  Eprints ID : 15109 Open Archive TOULOUSE Archive Ouverte (OATAO) OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited

More information

An Efficient Modeling and Execution Framework for Complex Systems Development

An Efficient Modeling and Execution Framework for Complex Systems Development An Efficient Modeling and Execution Framework for Complex Systems Development Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen,

More information

An Implementation of the Behavior Annex in the AADL-toolset Osate2

An Implementation of the Behavior Annex in the AADL-toolset Osate2 2011 16th IEEE International Conference on Engineering of Complex Computer Systems An Implementation of the Behavior Annex in the AADL-toolset Osate2 Gilles Lasnier, Laurent Pautet Inst. TELECOM - TELECOM

More information

SAE Architecture Analysis and Design Language. AS-2C ADL Subcommittee Meeting June 6-9, 2011 Paris, France

SAE Architecture Analysis and Design Language. AS-2C ADL Subcommittee Meeting June 6-9, 2011 Paris, France SAE Architecture Analysis and Design Language AS-2C ADL Subcommittee Meeting June 6-9, 2011 Paris, France Election of AS2 Chair Greg Newman elected Replaces Mike Pakucko Covers AS2C (AADL) AS2D (time triggered)

More information

Verification Based Development Process for Embedded Systems

Verification Based Development Process for Embedded Systems Verification Based Development Process for Embedded Systems T. Correa, L.B. Becker, J.-P. Bodeveix, J.-M Farines, M. Filali, F. Vernadat CNRS ; IRIT ; Université de Toulouse, 118 route de Narbonne, F-31062

More information

System Synthesis from AADL using Polychrony

System Synthesis from AADL using Polychrony System Synthesis from AADL using Polychrony Yue Ma Huafeng Yu Thierry Gautier Jean-Pierre Talpin Loïc Besnard Paul Le Guernic INRIA Rennes/IRISA/CNRS, Campus de Beaulieu, 35042 Rennes Cedex, France Email:

More information

Exploring Software Architectures in AADL via Polychrony and SynDEx

Exploring Software Architectures in AADL via Polychrony and SynDEx Front.Comput.Sci. DOI RESEARCH ARTICLE Exploring Software Architectures in AADL via Polychrony and SynDEx Huafeng YU, Yue MA, Thierry GAUTIER 1, Loïc BESNARD 2 Jean-Pierre TALPIN, Paul LE GUERNIC 1, Yves

More information

System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex)

System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex) System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex) AADL Standards Meeting June 6., 2011 Jean-Pierre Talpin, INRIA Parts of this presentation are joint work with Paul,

More information

Translating AADL into BIP Application to the Verification of Real time Systems

Translating AADL into BIP Application to the Verification of Real time Systems Toulouse, France (in conjunction with MODELS 2008) 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2008) Translating AADL into BIP Application to the

More information

The Syntax and Semantics of FIACRE

The Syntax and Semantics of FIACRE The Syntax and Semantics of FIACRE Bernard Berthomieu, Jean-Paul Bodeveix +, Mamoun Filali +, Hubert Garavel, Frédéric Lang, Florent Peres, Rodrigo Saad, Jan Stoecker, François Vernadat Version 1.0 beta

More information

timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Loïc Besnard, Etienne Borde, Pierre Dissaux, Thierry Gautier,

More information

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, INRIA & IRISA Brian

More information

Modelling of PnP Weapon Systems with AADL Protocol Behaviour

Modelling of PnP Weapon Systems with AADL Protocol Behaviour Modelling of PnP Weapon Systems with AADL Protocol Behaviour A. Windisch and H. Schlatt EADS, Systems Engineering 81663 Munich, Germany Contents Introduction Notational Issues and Modelling Approach The

More information

AADL Subsets Annex Update

AADL Subsets Annex Update AADL Subsets Annex Update V. Gaudel, P. Dissaux, A. Plantec, F. Singhoff, J. Hugues*, J. Legrand University of Brest/UBO, Lab-Sticc, France Ellidiss Technologies, France *Institut Supérieur de l Aéronautique

More information

An implementation of the AADL-BA Behavior Annex front-end: an OSATE2 Eclipse plug-in

An implementation of the AADL-BA Behavior Annex front-end: an OSATE2 Eclipse plug-in An implementation of the AADL-BA Behavior Annex front-end: an OSATE2 Eclipse plug-in Etienne Borde Gilles Lasnier Sébastien Gardoll Laurent Pautet Jérôme Hugues Fabien Cadoret borde@telecom-paristech.fr

More information

Automated Verification of AADL-Specifications Using UPPAAL

Automated Verification of AADL-Specifications Using UPPAAL 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Automated Verification of AADL-Specifications Using UPPAAL Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat

More information

Analysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling

Analysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling Application of the Architectural Analysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling Chris Vogl, Myron Hecht, and Alex Lam Presented to System and Software

More information

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Loïc Besnard, Etienne Borde, Pierre Dissaux, Thierry Gautier,

More information

Distributed simulation of AADL specifications in a polychronous model of computation

Distributed simulation of AADL specifications in a polychronous model of computation Distributed simulation of AADL specifications in a polychronous model of computation Yue Ma Jean-Pierre Talpin Sandeep Kumar Shukla Thierry Gautier INRIA, Unité de Recherche Rennes-Bretagne-Atlantique,

More information

System-level Co-simulation of Integrated Avionics Using Polychrony

System-level Co-simulation of Integrated Avionics Using Polychrony System-level Co-simulation of Integrated Avionics Using Polychrony Huafeng Yu, Yue Ma INRIA Rennes / IRISA huafeng.yu@inria.fr yue.ma@inria.fr Thierry Gautier Paul Le Guernic INRIA Rennes / IRISA thierry.gautier@inria.fr

More information

UML&AADL 2007 Grand challenges

UML&AADL 2007 Grand challenges UML&AADL 2007 Grand challenges Sébastien Gérard 1 Peter Feiler 2 Jean-François Rolland 3 Mamoun Filali 3 Mark-Oliver Reiser 4 Didier Delanote 5 Yolande Berbers 5 Laurent Pautet 6 Isabelle Perseil 6 1 CEA-LIST

More information

From AADL to Timed Abstract State Machine: A Certified Model Transformation

From AADL to Timed Abstract State Machine: A Certified Model Transformation 0 0 0 0 0 0 From AADL to Timed Abstract State Machine: A Certified Model Transformation Zhibin Yang Kai Hu Dianfu Ma Jean-Paul Bodeveix Lei Pi Jean-Pierre Talpin Abstract Architecture Analysis and Design

More information

SCADE AADL. Thierry Le Sergent, Adnan Bouakaz, Guilherme Goretkin (ANSYS)

SCADE AADL. Thierry Le Sergent, Adnan Bouakaz, Guilherme Goretkin (ANSYS) SCADE AADL Thierry Le Sergent, Adnan Bouakaz, Guilherme Goretkin (ANSYS) thierry.lesergent@ansys.com ANSYS Esterel Technologies 9, rue Michel Labrousse, 31100, Toulouse, France adnan.bouakaz@ansys.com

More information

Schedulability Analysis of AADL Models

Schedulability Analysis of AADL Models Schedulability Analysis of AADL Models Oleg Sokolsky Insup Lee University of Pennsylvania Duncan Clarke Fremont Associates Overview AADL modeling language Why is it useful and what it has Formal schedulability

More information

From AADL to Timed Abstract State Machines: A Verified Model Transformation

From AADL to Timed Abstract State Machines: A Verified Model Transformation From AADL to Timed Abstract State Machines: A Verified Model Transformation Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin To cite this version: Zhibin Yang, Kai Hu, Dianfu

More information

Architecture Description Languages. Peter H. Feiler 1, Bruce Lewis 2, Steve Vestal 3 and Ed Colbert 4

Architecture Description Languages. Peter H. Feiler 1, Bruce Lewis 2, Steve Vestal 3 and Ed Colbert 4 Architecture Description Languages An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering Peter H. Feiler

More information

A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs

A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs Belhassen MAZIGH 1 and Kais BEN FADHEL 1 Department of Computer Science, Faculty of Science of Monastir, Avenue of the

More information

AADL Inspector Tutorial. ACVI Workshop, Valencia September 29th, Pierre Dissaux. Ellidiss. Technologies w w w. e l l i d i s s.

AADL Inspector Tutorial. ACVI Workshop, Valencia September 29th, Pierre Dissaux. Ellidiss. Technologies w w w. e l l i d i s s. AADL Inspector Tutorial ACVI Workshop, Valencia September 29th, 2014 Pierre Dissaux Ellidiss Technologies w w w. e l l i d i s s. c o m Independent Technology Provider: Ellidiss Software w w w. e l l i

More information

AADL Tools & Technology. AADL committee 22 April Pierre Dissaux. Ellidiss. T e c h n o l o g i e s. w w w. e l l i d i s s.

AADL Tools & Technology. AADL committee 22 April Pierre Dissaux. Ellidiss. T e c h n o l o g i e s. w w w. e l l i d i s s. AADL Tools & Technology AADL committee 22 April 2013 Pierre Dissaux Ellidiss T e c h n o l o g i e s w w w. e l l i d i s s. c o m Independent SW tool editor: Ellidiss Software w w w. e l l i d i s s.

More information

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier To cite this version: Alexandre

More information

Using the AADL for mission critical software development paper presented at the ERTS conference, Toulouse, 21 January 2004

Using the AADL for mission critical software development paper presented at the ERTS conference, Toulouse, 21 January 2004 Using the AADL for mission critical software development paper presented at the ERTS conference, Toulouse, 21 January 2004 Pierre Dissaux, pierre.dissaux@tni-world.com TNI-Europe Limited Mountbatten Court,

More information

UML&AADL 11 An Implementation of the Behavior Annex in the AADL-toolset OSATE2

UML&AADL 11 An Implementation of the Behavior Annex in the AADL-toolset OSATE2 UML&AADL 11 An Implementation of the Behavior Annex in the AADL-toolset OSATE2 Jérôme Hugues Gilles Lasnier Laurent Pautet Lutz Wrage jerome.hugues@isae.fr gilles.lasnier@telecom-paristech.fr laurent.pautet@telecom-paristech.fr

More information

AADL v2.1 errata AADL meeting Sept 2014

AADL v2.1 errata AADL meeting Sept 2014 AADL v2.1 errata AADL meeting Sept 2014 Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 V2.1 Errata Additional applies to allowances Inconsistency in reference/applies to

More information

SAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Feb 3-6, 2014 Toulouse, France

SAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Feb 3-6, 2014 Toulouse, France SAE Architecture Analysis and Design Language AS-2C AADL Subcommittee Meeting Feb 3-6, 2014 Toulouse, France Upcoming SAE/AADL Meetings Next Meeting: September 2013 Montreal Spring 2014 Santa Barbara,

More information

RAMSES. Refinement of AADL Models for the Synthesis of Embedded Systems. Etienne Borde

RAMSES. Refinement of AADL Models for the Synthesis of Embedded Systems. Etienne Borde Refinement of AADL Models for the Synthesis of Embedded Systems Etienne Borde etienne.borde@telecom-paristech.fr AADL: Architecture Analysis and Design Language We use AADL to model SCES architectures:

More information

Dependability Modeling Based on AADL Description (Architecture Analysis and Design Language)

Dependability Modeling Based on AADL Description (Architecture Analysis and Design Language) Dependability Modeling Based on AADL Description (Architecture Analysis and Design Language) Ana Rugina, Karama Kanoun and Mohamed Kaâniche {rugina, kanoun, kaaniche}@laas.fr European Integrated Project

More information

Compilation of Heterogeneous Models: Motivations and Challenges 1

Compilation of Heterogeneous Models: Motivations and Challenges 1 Compilation of Heterogeneous Models: Motivations and Challenges 1 Matteo Bordin 1, Tonu Naks 2,3, Andres Toom 2,4,5, Marc Pantel 5 bordin@adacore.com, {tonu, andres}@krates.ee, marc.pantel@enseeiht.fr

More information

Model Based Engineering of Ground Based Risk Mitigation System

Model Based Engineering of Ground Based Risk Mitigation System Model Based Engineering of Ground Based Risk Mitigation System Hassan Reza, Feifei Gu, and Mark Askelson School of Aerospace Sciences University of North Dakota 58202 USA reza@aero.und.edu Abstract In

More information

TOPCASED. Current status

TOPCASED. Current status TOPCASED Current status Current tasks & facts Definition of quality assurance & Control by the Quality Group Build the maintenance infrastructure for the already developped software : To fund architecture

More information

Introduction to AADL analysis and modeling with FACE Units of Conformance

Introduction to AADL analysis and modeling with FACE Units of Conformance Introduction to AADL analysis and modeling with FACE Units of Conformance AMRDEC Aviation Applied Technology Directorate Contract Number W911W6-17- D-0003 Delivery Order 3 This material is based upon work

More information

Adapting models to model checkers, a case study : Analysing AADL using Time or Colored Petri Nets

Adapting models to model checkers, a case study : Analysing AADL using Time or Colored Petri Nets Adapting models to model checkers, a case study : Analysing AADL using Time or Colored Petri Nets Xavier RENAULT, Fabrice KORDON Université Pierre & Marie Curie, Laboratoire d Informatique de Paris 6/MoVe

More information

Formal semantics of behavior specifications in the architecture analysis and design language standard

Formal semantics of behavior specifications in the architecture analysis and design language standard Formal semantics of behavior specifications in the architecture analysis and design language standard Loïc Besnard, Thierry Gautier, Paul Le Guernic, Clément Guy, Jean-Pierre Talpin, Brian Larson, Etienne

More information

Executable AADL. Real Time Simulation of AADL Models. Pierre Dissaux 1, Olivier Marc 2.

Executable AADL. Real Time Simulation of AADL Models. Pierre Dissaux 1, Olivier Marc 2. Executable AADL Real Time Simulation of AADL Models Pierre Dissaux 1, Olivier Marc 2 1 Ellidiss Technologies, Brest, France. 2 Virtualys, Brest, France. pierre.dissaux@ellidiss.com olivier.marc@virtualys.com

More information

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL Andreas Johnsen and Kristina Lundqvist School of Innovation, Design and Engineering Mälardalen University Västerås, Sweden {andreas.johnsen,kristina.lundqvist}@mdh.se

More information

Timed Formal Model and Verification of Satellite FDIR in Early Design Phase

Timed Formal Model and Verification of Satellite FDIR in Early Design Phase Timed Formal Model and Verification of Satellite FDIR in Early Design Phase Alexandre Albore, Silvano Dal Zilio, Marie De Roquemaurel, Christel Seguin, Pierre Virelizier To cite this version: Alexandre

More information

AADL performance analysis with Cheddar : a review

AADL performance analysis with Cheddar : a review AADL performance analysis with Cheddar : a review P. Dissaux*, J. Legrand*, A. Plantec+, F. Singhoff+ *Ellidiss Technologies, France +University of Brest/UBO, LISyC, France Talk overview 1. Cheddar project

More information

AADL : about code generation

AADL : about code generation AADL : about code generation AADL objectives AADL requirements document (SAE ARD 5296) Analysis and Generation of systems Generation can encompasses many dimensions 1. Generation of skeletons from AADL

More information

Tom-based tools to transform EMF models in avionics context

Tom-based tools to transform EMF models in avionics context Tom-based tools to transform EMF models in avionics context Jean-Christophe Bach 1,2,3, Pierre-Etienne Moreau 1,2,3, and Marc Pantel 4 1 Inria, Villers-lès-Nancy, F-54600, France 2 Université de Lorraine,

More information

AADL Application modeling with MARTE Madeleine Faugère, Timothée Bourdeau THALES Research and Technology Robert de Simone INRIA Sébastien Gérard CEA

AADL Application modeling with MARTE Madeleine Faugère, Timothée Bourdeau THALES Research and Technology Robert de Simone INRIA Sébastien Gérard CEA AADL Application modeling with MARTE Madeleine Faugère, Timothée Bourdeau THALES Research and Technology Robert de Simone INRIA Sébastien Gérard CEA List AADL in a nutshell Architecture Analysis and Design

More information

This is an author-deposited version published in: Eprints ID: 3664

This is an author-deposited version published in:   Eprints ID: 3664 This is an author-deposited version published in: http://oatao.univ-toulouse.fr/ Eprints ID: 3664 To cite this document: GILLES, Olivier. HUGUES, Jérôme. Expressing and enforcing user-defined constraints

More information

Formal Requirement Verification for Timed Choreographies

Formal Requirement Verification for Timed Choreographies Formal Requirement Verification for Timed Choreographies Nawal Guermouche 1,2 and Silvano Dal Zilio 1,2 1 CNRS ; LAAS ; 7 avenue colonel Roche, F-31077 Toulouse, France 2 Université de Toulouse ; UPS,

More information

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude Peter Csaba Ölveczky1, Artur Boronat 2, and José Meseguer 3 1 University of Oslo 2 University of Leicester 3 University of Illinois

More information

A System Dependability Modeling Framework Using AADL and GSPNs

A System Dependability Modeling Framework Using AADL and GSPNs A System Dependability Modeling Framework Using AADL and GSPNs Ana-Elena Rugina, Karama Kanoun, and Mohamed Kaâniche LAAS-CNRS, University of Toulouse 7 avenue Colonel Roche 31077 Toulouse Cedex 4, France

More information

The Montana Toolset: OSATE Plugins for Analysis and Code Generation

The Montana Toolset: OSATE Plugins for Analysis and Code Generation Fremont Associates Process Project QA The Montana Toolset: OSATE Plugins for Analysis and Code Generation Oleg Sokolsky University of Pennsylvania AADL Workshop 005 Paris, France October 17-18, 18, 005

More information

AADL Requirements Annex Review

AADL Requirements Annex Review Dominique Blouin Lab-STICC Université de Bretagne-Occidentale Université de Bretagne-Sud Bretagne, France 1 AADL Standards Meeting, April 23 th, 2013 Agenda Comments from Annex Document Review Motivations

More information

TOPCASED. Toolkit In OPen source for Critical Applications & SystEms Development

TOPCASED. Toolkit In OPen source for Critical Applications & SystEms Development TOPCASED Toolkit In OPen source for Critical Applications & SystEms Development General presentation of the project A meta-modeling toolset The toolset architecture Services & Formats Demo / screenshots

More information

This is an author-deposited version published in: Eprints ID: 9287

This is an author-deposited version published in:   Eprints ID: 9287 Open Archive Toulouse Archive Ouverte (OATAO) OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited

More information

UML-AADL 09: Towards a Model- Driven Approach for Mapping Requirements on AADL Mathieu DELEHAYE Christophe PONSARD

UML-AADL 09: Towards a Model- Driven Approach for Mapping Requirements on AADL Mathieu DELEHAYE Christophe PONSARD Potsdam, Germany 02/06/2009 UML-AADL 09: Towards a Model- Driven Approach for Mapping Requirements on AADL Mathieu DELEHAYE Christophe PONSARD Outline 1. Motivation 2. NFR and tools survey 3. Goal-oriented

More information

AADL committee, Valencia October 2 nd, Pierre Dissaux (Ellidiss) Maxime Perrotin (ESA)

AADL committee, Valencia October 2 nd, Pierre Dissaux (Ellidiss) Maxime Perrotin (ESA) AADL committee, Valencia October 2 nd, 2014 Pierre Dissaux (Ellidiss) Maxime Perrotin (ESA) what is TASTE? A tool-chain targeting heterogeneous, embedded systems, using a model-centric development approach

More information

AADL to build DRE systems, experiments with Ocarina. Jérôme Hugues, ENST

AADL to build DRE systems, experiments with Ocarina. Jérôme Hugues, ENST AADL to build DRE systems, experiments with Ocarina Jérôme Hugues, ENST ENST Research topic: Methods for DRE Building a DRE is still a complex issue: RT-CORBA, DDS are only partial solutions Still difficult

More information

Workshop 1: Specification for SystemC-AADL interoperability

Workshop 1: Specification for SystemC-AADL interoperability Workshop 1: System Design in Avionics & Space Specification for -AADL interoperability Eugenio Villar Eduardo de las Heras Microelectronic Engineering Group University of Cantabria Outline Motivations

More information

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite JEROME HUGUES GET-Télécom Paris LTCI-UMR 5141 CNRS and BECHIR ZALILA GET-Télécom Paris LTCI-UMR 5141 CNRS and LAURENT PAUTET

More information

ADeS presentation. a simulator for AADL v Amélie Schyn Romain Sezestre Jean-François Tilman

ADeS presentation. a simulator for AADL v Amélie Schyn Romain Sezestre Jean-François Tilman ADeS presentation a simulator for AADL v0.2.3 Amélie Schyn Romain Sezestre Jean-François Tilman 1 Agenda Objective of the simulation Presentation of the tool Demonstration To go further 2 Part I Objective

More information

AADL Specification of the ASAAC Communication Architecture

AADL Specification of the ASAAC Communication Architecture AADL Specification of the ASAAC Communication Architecture Andre Windisch SAE AS-2 Meeting on AADL St. Louis, April 2004 Contents Introduction to ASAAC The AADL Notation ASAAC Modelling Approach #1 ASAAC

More information

SAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Feb 2-5, 2015 San Diego, USA

SAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Feb 2-5, 2015 San Diego, USA SAE Architecture Analysis and Design Language AS-2C AADL Subcommittee Meeting Feb 2-5, 2015 San Diego, USA Upcoming SAE/AADL Meetings Fall 2014 - Valencia, Workshop is the Monday, Sept 29 th Winter 2015

More information

Automatically adapt Cheddar to users need

Automatically adapt Cheddar to users need Automatically adapt Cheddar to users need AADL Standards Meeting, Toulouse A. Plantec +, V. Gaudel +, S. Rubini +, F. Singhoff + P. Dissaux*, J. Legrand* + University of Brest/UBO, LISyC, France *Ellidiss

More information

Presentation of the AADL: Architecture Analysis and Design Language

Presentation of the AADL: Architecture Analysis and Design Language Presentation of the AADL: Architecture Analysis and Design Language Outline 1. AADL a quick overview 2. AADL key modeling constructs 1. AADL components 2. Properties 3. Component connection 3. AADL: tool

More information

Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models

Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models Peter Feiler Software Engineering Institute phf@sei.cmu.edu 412-268-7790 2004 by Carnegie Mellon University

More information

Impact of Runtime Architectures on Control System Stability

Impact of Runtime Architectures on Control System Stability Impact of Runtime Architectures on Control System Stability P. Feiler, J. Hansson Software Engineering Institute, Pittsburgh, PA Abstract: Control systems are sensitive to the endto-end latency and age

More information

MODELING SHARED- MEMORY MULTIPROCESSOR SYSTEMS WITH AADL

MODELING SHARED- MEMORY MULTIPROCESSOR SYSTEMS WITH AADL MODELING SHARED- MEMORY MULTIPROCESSOR SYSTEMS WITH AADL Stéphane Rubini, Frank Singhoff Lab-STICC, University of Western Brittany (UBO), Brest, France Contact: Stephane.Rubini@univ-brest.fr Pierre Dissaux

More information

Modeling and verification of memory architectures with AADL and REAL

Modeling and verification of memory architectures with AADL and REAL Modeling and verification of memory architectures with AADL and REAL Stéphane Rubini, Frank Singhoff LISyC - University of Brest - UEB 20, Avenue Le Gorgeu, CS 93837 29238 Brest Cedex 3, France {stephane.rubini,frank.singhoff}@univ-brest.fr

More information

Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models

Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models Journal of Software Engineering and Applications, 2013, 6, 147-155 http://dx.doi.org/10.4236/jsea.2013.63019 Published Online March 2013 (http://www.scirp.org/journal/jsea) 147 Toolchain Based on MDE for

More information

Error Model Meta Model and Plug-in

Error Model Meta Model and Plug-in Error Model Meta Model and Plug-in Peter Feiler phf@sei.cmu.edu May 28, 2007 The error model plug-in implements the Error Model Annex language extension. It provides all the front-end components, i.e.,

More information

Myron Hecht, Alex Lam, Chris Vogl, Presented to 2011 UML/AADL Workshop Las Vegas, NV. April, 2011

Myron Hecht, Alex Lam, Chris Vogl, Presented to 2011 UML/AADL Workshop Las Vegas, NV. April, 2011 A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex Myron Hecht, Alex Lam, Chris Vogl, Presented to 2011

More information

SAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Sept 29-Oct 2, 2014 Valencia, Spain

SAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Sept 29-Oct 2, 2014 Valencia, Spain SAE Architecture Analysis and Design Language AS-2C AADL Subcommittee Meeting Sept 29-Oct 2, 2014 Valencia, Spain Upcoming SAE/AADL Meetings Fall 2014 - Valencia, Workshop is the Monday, Sept 29 th, Meeting

More information

Exploring AADL verification tool through model transformation

Exploring AADL verification tool through model transformation Exploring AADL verification tool through model transformation Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai To cite this version: Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai. Exploring AADL verification

More information

OSATE Analysis Support

OSATE Analysis Support OSATE Analysis Support Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Julien Delange/Peter Feiler 07/08/2013 Overview of OSATE2 Eclipse-based AADL editor Support for AADLv2.1,

More information

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study Guillaume Brau Université Fédérale Toulouse Midi-Pyrénées ISAE-SUPAERO 10 Avenue E. Belin Toulouse

More information

Presentation of the AADL: Architecture Analysis and Design Language

Presentation of the AADL: Architecture Analysis and Design Language Presentation of the AADL: Architecture Analysis and Design Language Outline 1. AADL a quick overview 2. AADL key modeling constructs 1. AADL components 2. Properties 3. Component connection 3. AADL: tool

More information

Synoptic: a DSML for On-Board Real-Time Software Design

Synoptic: a DSML for On-Board Real-Time Software Design Synoptic: a DSML for On-Board Real-Time Software Design A. Cortier 1, J.P. Bodeveix 1, M. Filali 1, G. Garcia 2, E. Morand 3, M. Pantel 1, A. Rugina 4, M. Strecker 1, J.P. Talpin 5 1: IRIT-ACADIE, Université

More information

Query Language for AADLv2, Jérôme Hugues, ISAE Serban Gheorghe, Edgewater

Query Language for AADLv2, Jérôme Hugues, ISAE Serban Gheorghe, Edgewater Query Language for AADLv2, Jérôme Hugues, ISAE Serban Gheorghe, Edgewater Outline 1. Discussion from previous meetings 2. Defining elements for a DSL, inputs from the meta model 3. Defining elements for

More information

Process-Algebraic Interpretation of AADL Models

Process-Algebraic Interpretation of AADL Models University of Pennsylvania ScholarlyCommons Departmental Papers (CIS) Department of Computer & Information Science 6-8-2009 Process-Algebraic Interpretation of AADL Models Oleg Sokolsky University of Pennsylvania,

More information

Formal Modeling and Analysis of AADL Threads in Real Time Maude

Formal Modeling and Analysis of AADL Threads in Real Time Maude A Journal of Software Engineering and Applications, 2012, 5, 187-192 doi:10.4236/jsea.2012.512b036 Published Online December 2012 (http://www.scirp.org/journal/jsea) Formal Modeling and Analysis of AADL

More information

Architecture Analysis and Design Language (AADL) Part 2

Architecture Analysis and Design Language (AADL) Part 2 Architecture Analysis and Design Language (AADL) Part 2 1 Recap 2 Recap: My Car System 3 Today s topics Thread Process Connection Flow Latency analysis 4 Data Category The data category captures a data

More information

Model Based Architecting and Construction of Embedded Systems

Model Based Architecting and Construction of Embedded Systems Model Based Architecting and Construction of Embedded Systems Iulian Ober 1, Stefan Van Baelen 2, Susanne Graf 3, Mamoun Filali 4, Thomas Weigert 5,andSébastien Gérard 6 1 University of Toulouse - IRIT,

More information

The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics

The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, and Paul Pettersson School of School of Innovation,

More information

ABV A Verifier for the Architecture Analysis and Design Language (AADL)

ABV A Verifier for the Architecture Analysis and Design Language (AADL) ABV A Verifier for the Architecture Analysis and Design Language (AADL) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, and Paul Pettersson School of Innovation, Design, and Engineering Mälardalen

More information

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction Rodrigo T. Saad, Silvano Dal Zilio and Bernard Berthomieu CNRS; LAAS; 7 ave. Colonel Roche, F-31077 Toulouse, France

More information

ARINC653 annex: examples

ARINC653 annex: examples ARINC653 annex: examples Julien Delange Laurent Pautet Peter Feiler 10/11/09 Better understanding of ARINC653 systems Help to understand ARINC653 architectures

More information

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu To cite this version: Rodrigo Saad, Silvano Dal Zilio, Bernard

More information