A DSL for AADL Subsets Specification
|
|
- Benedict Watson
- 5 years ago
- Views:
Transcription
1 A DSL for AADL Subsets Specification 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 et de l Espace/ISAE, France July, 2013
2 Introduction Introduction (1/3) Global Problematic Rationale for the Subset annex (February 2012 Meeting) 1 AADL is a rich Language. 2 Each verification/code generation may have specific requirements. 3 Tools that are devoted for a given analysis usually support a subset of AADL. Addressed problems 1 Use of AADL may lead to some tool interoperability failures. 2 Probably causes a limited use of some AADL tools. Objectives of the Subset annex (February 2012 Meeting) 1 Increase tool interoperability. 2 Increase confidence of users when they (try to) use tools. 3 Certification toolkits for subset: allow tool designers to check compliance with their products. 4 Allow users to define constraints that are specific to their systems or overall development process. Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
3 Introduction Introduction (2/3) Previous Works Problems we answered (February 2013 Meeting) 1 What is a subset? 2 How to express it? Previous meeting proposition (February 2013 Meeting) 1 Investigate 3 examples of Subsets. 2 Proposition of a superset (AADL Meta-Model) from whom all subsets could be defined. 3 Investigate the different kinds of constraints of those subsets. 4 Proposition of an uniform way to describe constraints. Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
4 Introduction Introduction (3/3) Current Works Problematic from previous meeting feedbacks 1 How to specify AADL Subsets with the use of a DSL. 2 How to use the DSL. 3 How to implement the compliance of a system with a subset s constraints? Proposition 1 Proposition of a DSL for AADL Subsets Specification. 2 The DSL enables to specify cardinality constraints upon the superset entities and their relationships. 3 Implementation of a parser using Platypus. 4 Automatic implementation of DSL constraints in EXPRESS. Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
5 Outline Introduction 1 Approach: Subsets modeled as sets of cardinality constraints Superset: an AADL Meta-Model Subset Model Proposal A DSL for building Subset Models Subset Specification Issues 2 How to use the DSL: overview by examples Global Constraints Local Constraints 3 Prototyping and evaluation using Platypus 4 Conclusion Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
6 Approach: Subsets modeled as sets of cardinality constraints Outline 1 Approach: Subsets modeled as sets of cardinality constraints Superset: an AADL Meta-Model Subset Model Proposal A DSL for building Subset Models Subset Specification Issues 2 How to use the DSL: overview by examples Global Constraints Local Constraints 3 Prototyping and evaluation using Platypus 4 Conclusion Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
7 Approach: Subsets modeled as sets of cardinality constraints Superset: an AADL Meta-Model Rationale for the SuperSet Meta-Model Superset: a meta-model common to all subsets 1 Based on Appendix C for element identifiers 2 And literal descriptions of entities attributes 3 Use of multiple inheritance 4 What is in the superset? Model of the declarative part of AADL. Instance model can be deduced from this model. Property sets and annexes are considered as parts of the superset. Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
8 Approach: Subsets modeled as sets of cardinality constraints Subset Model Proposal What could be a subset? Subset Model Proposal 1 Superset is an EXPRESS Meta-model 2 A subset constraint is modeled by an EXPRESS RULES on the superset 3 Then, each subset is declared as a set of EXPRESS RULES on the superset 4 What we assume: A constraint is a cardinality verification Or a composition of cardinality verifications Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
9 Approach: Subsets modeled as sets of cardinality constraints How to build a subset model? Subset Specification Issues Subset Model Proposal 1 Identification of recurrent patterns in the definition of constraints. 2 Constraint were manually transformed towards EXPRESS. 3 Requires basic knowledge of EXPRESS and the Superset. 4 Might require extra work for user s documentation. The DSL is a layer between natural language specification of subsets and their EXPRESS models. Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
10 Outline How to use the DSL: overview by examples 1 Approach: Subsets modeled as sets of cardinality constraints Superset: an AADL Meta-Model Subset Model Proposal A DSL for building Subset Models Subset Specification Issues 2 How to use the DSL: overview by examples Global Constraints Local Constraints 3 Prototyping and evaluation using Platypus 4 Conclusion Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
11 How to use the DSL: overview by examples Two kinds of cardinality constraints: Global Constraints Restrictions forbidding or requiring the presence of a given AADL element Restrictions forbidding or requiring a particular category for a given AADL element MAR5: There is only one Processor Component. TT2: Features must be Data Ports. Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
12 How to use the DSL: overview by examples Two kinds of cardinality constraints: Local Constraints Restrictions forbidding or requiring a particular value for a given AADL element Restrictions consisting in a constraint over the relationship between two AADL elements MAR2: For all Processors, the property Actual Processor Binding must be specified MAR9: Subprogram calls must take place between two Threads Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
13 Outline How to use the DSL: overview by examples Global Constraints 1 Approach: Subsets modeled as sets of cardinality constraints Superset: an AADL Meta-Model Subset Model Proposal A DSL for building Subset Models Subset Specification Issues 2 How to use the DSL: overview by examples Global Constraints Local Constraints 3 Prototyping and evaluation using Platypus 4 Conclusion Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
14 How to use the DSL: overview by examples Global Constraints Global Constraint Examples (1/2): Restrictions forbidding or requiring the presence of a given AADL element Marzhin1: There is only one Processor. subset SubsetExample ( constraintdef ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
15 How to use the DSL: overview by examples Global Constraints Global Constraint Examples (1/2): Restrictions forbidding or requiring the presence of a given AADL element Marzhin1: There is only one Processor. subset SubsetExample ( MAR1 : constraintbody ; ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
16 How to use the DSL: overview by examples Global Constraints Global Constraint Examples (1/2): Restrictions forbidding or requiring the presence of a given AADL element Marzhin1: There is only one Processor. subset SubsetExample ( MAR1 : there i s cardinalityexpression setdef; ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
17 How to use the DSL: overview by examples Global Constraints Global Constraint Examples (1/2): Restrictions forbidding or requiring the presence of a given AADL element Marzhin1: There is only one Processor. subset SubsetExample ( MAR1 : there i s exactly 1 Processor; ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
18 How to use the DSL: overview by examples Global Constraint Examples (2/2): Global Constraints Restrictions forbidding or requiring a particular category for a given AADL element Marzhin2: Features must be Data Ports. subset SubsetExample (... MAR2 : the category o f setdef i s typedef; ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
19 How to use the DSL: overview by examples Global Constraint Examples (2/2): Global Constraints Restrictions forbidding or requiring a particular category for a given AADL element Marzhin2: Features must be Data Ports. subset SubsetExample (... MAR2 : the category o f Feature i s Data Port; ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
20 Outline How to use the DSL: overview by examples Local Constraints 1 Approach: Subsets modeled as sets of cardinality constraints Superset: an AADL Meta-Model Subset Model Proposal A DSL for building Subset Models Subset Specification Issues 2 How to use the DSL: overview by examples Global Constraints Local Constraints 3 Prototyping and evaluation using Platypus 4 Conclusion Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
21 How to use the DSL: overview by examples Local Constraint Examples (1/3): Local Constraints Restrictions forbidding or requiring a particular value for a given AADL element Marzhin3: The property Actual Processor Binding must be specified. subset SubsetExample (... MAR3 : f o r a l l elementidentifier i n setdef : ( constraintbodyaux ); ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
22 How to use the DSL: overview by examples Local Constraint Examples (1/3): Local Constraints Restrictions forbidding or requiring a particular value for a given AADL element Marzhin3: The property Actual Processor Binding must be specified. subset SubsetExample (... MAR3 : f o r a l l p i n Processor : ( constraintbodyaux ); ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
23 How to use the DSL: overview by examples Local Constraint Examples (1/3): Local Constraints Restrictions forbidding or requiring a particular value for a given AADL element Marzhin3: The property Actual Processor Binding must be specified. subset SubsetExample (... MAR3 : f o r a l l p i n Processor : ( the value o f elementidentifier i s valueoperator ); ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
24 How to use the DSL: overview by examples Local Constraint Examples (1/3): Local Constraints Restrictions forbidding or requiring a particular value for a given AADL element Marzhin3: The property Actual Processor Binding must be specified. subset SubsetExample (... MAR3 : f o r a l l p i n Processor : ( the value o f p. Actual Processor Binding i s specified ); ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
25 How to use the DSL: overview by examples Local Constraint Examples (2/3): Local Constraints Restrictions consisting in a constraint over the relationship between two AADL elements Marzhin4: Features Properties must be one of the following : Queue Size, Dequeue Protocol. subset SubsetExample (... MAR4 : f o r a l l f i n Feature : ( f o r a l l p i n f. Properties : ( ( the value o f p. Name i s Queue Size or the value o f p. Name i s Dequeue Protocol) ) ); ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
26 How to use the DSL: overview by examples Local Constraint Examples (3/3): Local Constraints Restrictions consisting in a constraint over the relationship between two AADL elements Marzhin5: Dequeue Protocol must have one of the following values : OneItem or AllItems. subset SubsetExample (... MAR5 : f o r a l l elementidentifier i n setdef : ( constraintbodyaux ); ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
27 How to use the DSL: overview by examples Local Constraint Examples (3/3): Local Constraints Restrictions consisting in a constraint over the relationship between two AADL elements Marzhin5: Dequeue Protocol must have one of the following values : OneItem or AllItems. subset SubsetExample (... MAR5 : f o r a l l f i n ( Feature f2 such that the value o f f2. Dequeue Protocol i s specified ) : ( constraintbodyaux ); ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
28 How to use the DSL: overview by examples Local Constraint Examples (3/3): Local Constraints Restrictions consisting in a constraint over the relationship between two AADL elements Marzhin5: Dequeue Protocol must have one of the following values : OneItem or AllItems. subset SubsetExample (... MAR5 : f o r a l l f i n ( Feature f2 such that the value o f f2. Dequeue Protocol i s specified ) : ( ( the value o f f. Dequeue Protocol i s OneItem or the value o f f. Dequeue Protocol i s AllItem ) ); ) Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
29 Outline Prototyping and evaluation using Platypus 1 Approach: Subsets modeled as sets of cardinality constraints Superset: an AADL Meta-Model Subset Model Proposal A DSL for building Subset Models Subset Specification Issues 2 How to use the DSL: overview by examples Global Constraints Local Constraints 3 Prototyping and evaluation using Platypus 4 Conclusion Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
30 Prototyping and evaluation using Platypus Meta Models and Parser Specification with Platypus Use of Platypus for prototyping Meta-environment based on ISO STEP technology. Enables to design, to verify and to validate meta-models written with EXPRESS. Enables to implement code generators for EXPRESS meta-model. Enables to model and generate parsers from EXPRESS meta-model and BNF specification. Superset Meta-model has been elaborated within Platypus. We choose to stick with EXPRESS generation but other languages could be targeted. Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
31 Prototyping and evaluation using Platypus Abstract Syntax Meta-Model Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
32 BNF of the DSL Prototyping and evaluation using Platypus subsetdef : subset subsetidentifier ( constraintdef ) ; constraintdef : constraintidentifier : constraintbody ; ; constraintbody : there verb cardinalityexpression setdef f o r a l l elementidentifier i n setdef : ( constraintbodyaux ) the category o f setdef i s typedef ; constraintbodyaux : constraintbody the value o f elementidentifier i s valueoperator ( constraintbodyaux and constraintbodyaux ) ( constraintbodyaux or constraintbodyaux ) ;... Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
33 Conclusion Conclusion Problem: How to specify AADL subsets with the use of a DSL? How to use the DSL? How to implement the compliance of a system with a subset s constraints? Approach: Superset: an AADL meta-model to model the examples of subsets. Specification of the subsets as a set of cardinality constraints on superset. Proposition of a DSL for subset specification. Results: For the considered subset examples, we are able to express all their constraints with our DSL. We were also able to transform them as sets of cardinality constraints on the superset. Publication accepted in Rapid System Prototyping Symposium 2013 (RSP 13). Perspectives/roadmap: Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
34 Acknowledgement Conclusion We would like to thank Ellidiss Technologies and Region Bretagne for their support to this project. Gaudel, Dissaux, Plantec, Singhoff, Hugues ( ) A DSL for AADL Subsets Specification July, / 21
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 informationAutomatically 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 informationAutomatic Selection of Feasibility Tests With the Use of AADL Design Patterns
Automatic Selection of Feasibility Tests With the Use of AADL Design Patterns V. Gaudel, F. Singhoff, A. Plantec, S. Rubini P. Dissaux*, J. Legrand* University of Brest/UBO, LISyC, France *Ellidiss Technologies,
More informationThis 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 informationAADL 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 informationExecutable 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 informationMODELING OF MULTIPROCESSOR HARDWARE PLATFORMS FOR SCHEDULING ANALYSIS
1 MODELING OF MULTIPROCESSOR HARDWARE PLATFORMS FOR SCHEDULING ANALYSIS Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai Nam Tran Lab-STICC, University of Western Britany (UBO) Contact: Stephane.Rubini@univ-brest.fr
More informationUpdate on AADLInspector and Cheddar : new interface and multiprocessors analysis
Update on AADLInspector and Cheddar : new interface and multiprocessors analysis P. Dissaux*, J. Legrand*, A. Schach*, S. Rubini+, J. Boukhobza+, L. Lemarchand+, J.P. Diguet+, N. Tran+, M. Dridi+, R. Bouaziz$,
More informationQuery 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 informationMODELING 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 informationInstitut Supérieur de l Aéronautique et de l Espace Constraints Annex Implementation Approach
Institut Supérieur de l Aéronautique et de l Espace Constraints Annex Implementation Approach Jérôme Hugues, ISAE/DMIA jerome.hugues@isae.fr Rethinking what we have already > Idea not new, tested in various
More informationModel Verification: Return of experience
Model Verification: Return of experience P. Dissaux 1, P. Farail 2 1: Ellidiss Technologies, 24, quai de la douane, 29200 Brest, France 2: Airbus Operations SAS, 316 route de Bayonne, 31060 Toulouse, France
More informationModeling 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 informationSCADE 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 informationUML&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 informationPresentation 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 informationMonday 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 informationAADL Generative Implementation Annex
Institut Supérieur de l Aéronautique et de l Espace AADL Generative Implementation Annex Jérôme Hugues, ISAE Key question answered by the annex How to implement a subprogram, and bind it to an AADL model?
More informationPresentation 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 informationAADL 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 informationUpdate on AADL Requirements Annex
Open-PEOPLE Open Power and Energy Optimization PLatform and Estimator Update on AADL Requirements Annex Dominique BLOUIN* *Lab-STICC, Université de Bretagne Sud, Lorient, FRANCE AADL Standards Meeting,
More informationAADL 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 informationThe Ocarina Tool Suite. Thomas Vergnaud
The Ocarina Tool Suite Motivation 2 ENST is developing a middleware architecture: PolyORB generic, configurable, interoperable enables middleware verification create a tool chain
More informationAO4AADL Compiler. Sihem Loukil. June 2011
AO4AADL Compiler Sihem Loukil June 2011 We present in this report the main tools used in our work. Then, we detail one of our main contributions. Finally, we present the several steps to implement our
More informationRAMSES. 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 informationAn 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 informationUpdates on the code generation annex. Jérôme Hugues, ISAE
Updates on the code generation annex Jérôme Hugues, ISAE Current status Traceability to the AADL requirement document (ARD 5296): Validate and Generate complex systems Has been mostly delayed by AADLv2
More informationModel-Driven Engineering Approach for Simulating Virtual Devices in the OSATE 2 Environment
Model-Driven Engineering Approach for Simulating Virtual Devices in the OSATE 2 Environment Fáber D. Giraldo and Mónica M. Villegas Abstract Simulating devices while developing software for embedded systems
More information0. Overview of this standard Design entities and configurations... 5
Contents 0. Overview of this standard... 1 0.1 Intent and scope of this standard... 1 0.2 Structure and terminology of this standard... 1 0.2.1 Syntactic description... 2 0.2.2 Semantic description...
More informationOracle PLSQL. Course Summary. Duration. Objectives
Oracle PLSQL Course Summary Use conditional compilation to customize the functionality in a PL/SQL application without removing any source code Design PL/SQL packages to group related constructs Create
More informationThe TASTE MBE development toolchain - update & case-studies
The TASTE MBE development toolchain - update & case-studies Julien Delange 18/10/2010 Agenda 1. Overview of the TASTE environment 2. Latest improvements 3. Ongoing projects, conclusion TASTE update & case-studies
More informationAADL 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 informationScheduling methods for aperiodic tasks
Universite de Bretagne Occidentale Implementation of aperiodic server scheduler in the cheddar tool. Scheduling methods for aperiodic tasks Author : Cyril Muller Tutor : M. Frank Singhoff February 28,
More informationDeveloping Microsoft.NET Applications for Windows (Visual Basic.NET)
Developing Microsoft.NET Applications for Windows (Visual Basic.NET) Course Number: 2565 Length: 5 Day(s) Certification Exam This course will help you prepare for the following Microsoft Certified Professional
More informationAADL 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 informationDeveloping Microsoft.NET Applications for Windows (Visual Basic.NET)
Developing Microsoft.NET Applications for Windows (Visual Basic.NET) Course Number: 2555 Length: 1 Day(s) Certification Exam This course will help you prepare for the following Microsoft Certified Professional
More informationThis 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 informationA discrete-event simulator for early validation of avionics systems
A discrete-event simulator for early validation of avionics systems Denis Buzdalov and Alexey Khoroshilov {buzdalov,khoroshilov}@ispras.ru Institute for System Programming of the Russian Academy of Sciences
More informationLab-STICC : Dominique BLOUIN Skander Turki Eric SENN Saâdia Dhouib 11/06/2009
Lab-STICC : Power Consumption Modelling with AADL Dominique BLOUIN Skander Turki Eric SENN Saâdia Dhouib 11/06/2009 Outline Context Review of power estimation methodologies and tools Functional Level Power
More informationAADL 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 informationSynchronization of Models of Rich Languages with Triple Graph Grammars: an Experience Report *
Synchronization of Models of Rich Languages with Triple Graph Grammars: an Experience Report * Dominique Blouin 1, Alain Plantec 2, Pierre Dissaux 3, Frank Singhoff 2 and Jean- Philippe Diguet 1 1 Lab-STICC,
More informationUsing AADL in Model Driven Development. Katholieke Universiteit Leuven Belgium
Using AADL in Model Driven Development Didier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers Katholieke Universiteit Leuven Belgium Contents Introduction Overview of AADL Usability assessment
More informationFormal 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 informationSTAR Naming and Design Rules. Version 1.0
Version 1.0 March 2007 Revision History Revision Date Version Initial Version March 13, 2007 1.0 Table of Contents 1. Introduction...1 1.1 Purpose...1 1.2 Objective... 1 1.3 Scope...1 1.4 Prerequisites...1
More informationTransformation rules from AO4AADL to AspectJ
Transformation rules from AO4AADL to AspectJ 1 Introduction We define a set of transformation rules to map AO4AADL aspects into AspectJ aspects. These transformation rules are based on the RTSJ generator
More informationAADL Graphical Editor Design
AADL Graphical Editor Design Peter Feiler Software Engineering Institute phf@sei.cmu.edu Introduction An AADL specification is a set of component type and implementation declarations. They are organized
More informationOcarina. A Compiler for the AADL for Ocarina 2.0w, 11 November Jér^ome Hugues, Thomas Vergnaud, Bechir Zalila
Ocarina A Compiler for the AADL for Ocarina 2.0w, 11 November 2012 Jér^ome Hugues, Thomas Vergnaud, Bechir Zalila Copyright c 2003-2007 École nationale supérieure des télécommunications Permission is granted
More informationETSI TS V1.1.1 ( )
TS 119 142-3 V1.1.1 (2016-12) TECHNICAL SPECIFICATION Electronic Signatures and Infrastructures (ESI); PAdES digital signatures; Part 3: PAdES Document Time-stamp digital signatures (PAdES-DTS) 2 TS 119
More informationModel-Based Engineering for the Development of ARINC653 Architectures
Model-Based Engineering for the Development of ARINC653 Architectures SAE 2009 AeroTech Congress and Exhibition Julien Delange Olivier Gilles Jérôme Hugues Laurent Pautet Context ARINC653 systems Time
More informationThis is an author-deposited version published in: Eprints ID: 10292
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 informationModel 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 informationModel-Based Engineering for the Development of ARINC653 Architectures
09ATC-0265 Model-Based Engineering for the Development of ARINC653 Architectures Copyright 2009 SAE International Julien Delange, Olivier Gilles, Jérôme Hugues, Laurent Pautet TELECOM ParisTech LTCI UMR
More informationETSI GS MEC-IEG 005 V1.1.1 ( )
GS MEC-IEG 005 V1.1.1 (2015-08) GROUP SPECIFICATION Mobile-Edge Computing (MEC); Proof of Concept Framework Disclaimer This document has been produced and approved by the Mobile-Edge Computing (MEC) Industry
More informationAADS+: 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 informationApproach for Mapping Ontologies to Relational Databases
Approach for Mapping Ontologies to Relational Databases A. Rozeva Technical University Sofia E-mail: arozeva@tu-sofia.bg INTRODUCTION Research field mapping ontologies to databases Research goal facilitation
More informationRapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina Jérôme HUGUES, Bechir ZALILA, Laurent PAUTET GET-Télécom Paris LTCI-UMR 5141 CNRS 46, rue Barrault, F-75634 Paris
More informationSemantics-Based Integration of Embedded Systems Models
Semantics-Based Integration of Embedded Systems Models Project András Balogh, OptixWare Research & Development Ltd. n 100021 Outline Embedded systems overview Overview of the GENESYS-INDEXYS approach Current
More informationCopyright 2018 Adventium Labs. 1
AADL ANNEX FOR THE FACE TECHNICAL STANDARD, EDITION 3.0 DISTRIBUTION A. Approved for public release: distribution unlimited. This material is based upon work supported by U.S. Army Research Development
More informationSAE 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 informationIntroduction to AADL 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 ;
More informationCompliance & Certification Phase 2 Path to Certification
Compliance & Certification Phase 2 Path to Certification Jose A. Rodrigo, AT4 wireless 11 November 2014 20 November 2014 AllSeen Alliance 1 Agenda 1. C&C Process Overview 2. Prepare / Apply / Test / Certify
More informationAn Information Model for High-Integrity Real Time Systems
An Information Model for High-Integrity Real Time Systems Alek Radjenovic, Richard Paige, Philippa Conmy, Malcolm Wallace, and John McDermid High-Integrity Systems Group, Department of Computer Science,
More informationThe 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 informationThe 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 informationModelling Avionics Architectures
Modelling Avionics Architectures Julien Delange Hollywood, Florida 24/01/2011 ESA UNCLASSIFIED For Official Use Rationale 1. System architectures don t differ significantly a. One OBC that communicate
More informationRefactoring the feasibility tests framework of Cheddar
Refactoring the feasibility tests framework of Cheddar Master thesis in Information and Communication Technology PHAM VAN CHINH Department of Information & Communication Technology University of Science
More informationProgramming in C# for Experienced Programmers
Programming in C# for Experienced Programmers Course 20483C 5 Days Instructor-led, Hands-on Introduction This five-day, instructor-led training course teaches developers the programming skills that are
More informationISO/IEC INTERNATIONAL STANDARD. Information technology Open Distributed Processing Interface references and binding
INTERNATIONAL STANDARD ISO/IEC 14753 First edition 1999-07-15 Information technology Open Distributed Processing Interface references and binding Technologies de l'information Traitement distribué ouvert
More informationPrototyping of Distributed Embedded Systems Using AADL
Prototyping of Distributed Embedded Systems Using AADL Mohamed Yassin Chkouri and Marius Bozga {Yassin.Chkouri, Marius.Bozga}@imag.fr Verimag, Centre Equation - 2, avenue de Vignate 38610 GIERES Abstract.
More informationDependability 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 informationETSI GS ZSM 006 V1.1.1 ( )
GS ZSM 006 V1.1.1 (2018-05) GROUP SPECIFICATION Zero touch network and Service Management (ZSM); Proof of Concept Framework Disclaimer The present document has been produced and approved by the Zero touch
More informationChapter 2 MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
Preface Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary
More informationThe Object Model Overview. Contents. Section Title
The Object Model 1 This chapter describes the concrete object model that underlies the CORBA architecture. The model is derived from the abstract Core Object Model defined by the Object Management Group
More informationDealing with AADL end-to-end Flow Latency with UML Marte.
Dealing with AADL end-to-end Flow Latency with UML Marte. Su-Young Lee, Frédéric Mallet, Robert De Simone To cite this version: Su-Young Lee, Frédéric Mallet, Robert De Simone. Dealing with AADL end-to-end
More informationEGF Tutorial Reuse and Customization
EGF Tutorial Reuse and Customization Benoît Langlois Thales/EPM Agenda Introduction Pattern Extensibility 2 Need of Reuse and Customization General needs: Need #1: Ability to reuse a portfolio, where a
More informationTransition from EBNF to Xtext
Transition from EBNF to Xtext Jianan Yue State Key Laboratory for Novel Software Technology, Nanjing University Department of Computer Science & Technology, Nanjing University 210023 Nanjing, China b111220168@smail.nju.edu.cn
More informationINFO216: Advanced Modelling
INFO216: Advanced Modelling Theme, spring 2018: Modelling and Programming the Web of Data Andreas L. Opdahl Session S13: Development and quality Themes: ontology (and vocabulary)
More informationVirtual Integration of Cyber-Physical Systems by Verification
Virtual Integration of Cyber-Physical Systems by Verification Panagiotis Manolios Northeastern University pete@ccs.neu.edu Vasilis Papavasileiou Northeastern University vpap@ccs.neu.edu Abstract In this
More informationAADL Meta Model & XML/XMI
AADL Meta Model & XML/XMI Peter Feiler Software Engineering Institute phf@sei.cmu.edu Meta Modeling Approach Declarative AADL Model AADL Instance Model Outline 2 XMI/XML Based Tool Interoperability Textual
More informationSystem Verilog Tagged Unions and Pattern Matching
System Verilog Tagged Unions and Pattern Matching (An extension to System Verilog 3.1 proposed to Accellera) Bluespec, Inc. Contact: Rishiyur S. Nikhil, CTO, Bluespec, Inc. 200 West Street, 4th Flr., Waltham,
More informationCompositional C++ Page 1 of 17
Compositional C++ Page 1 of 17 Compositional C++ is a small set of extensions to C++ for parallel programming. OVERVIEW OF C++ With a few exceptions, C++ is a pure extension of ANSI C. Its features: Strong
More informationTOPCASED. 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 informationA Type Graph Model for Java Programs
A Type Graph Model for Java Programs Arend Rensink and Eduardo Zambon Formal Methods and Tools Group, EWI-INF, University of Twente PO Box 217, 7500 AE, Enschede, The Netherlands {rensink,zambon}@cs.utwente.nl
More informationModelling 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 informationFrom 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 informationContents. Chapter 1 SPECIFYING SYNTAX 1
Contents Chapter 1 SPECIFYING SYNTAX 1 1.1 GRAMMARS AND BNF 2 Context-Free Grammars 4 Context-Sensitive Grammars 8 Exercises 8 1.2 THE PROGRAMMING LANGUAGE WREN 10 Ambiguity 12 Context Constraints in Wren
More informationOMA Device Management Tree and Description Serialization
OMA Device Management Tree and Description Serialization Approved 1.2 09 Feb 2007 Open Mobile Alliance OMA-TS-DM_TNDS-V1_2-20070209-A OMA-TS-DM_TNDS-V1_2-20070209-A Page 2 (19) Use of this document is
More informationDATA ITEM DESCRIPTION
helping projects succeed... DATA ITEM DESCRIPTION 1. TITLE VERIFICATION REQUIREMENTS SPECIFICATION (VRS) 2. Identification Number PPA-003914-7 17 August 2017 3. DESCRIPTION/PURPOSE OF THE VRS 3.1 The Verification
More informationSoftware Engineering 2 A practical course in software engineering. Ekkart Kindler
Software Engineering 2 A practical course in software engineering Quality Management Main Message Planning phase Definition phase Design phase Implem. phase Acceptance phase Mainten. phase 3 1. Overview
More informationCOSC160: Data Structures: Lists and Queues. Jeremy Bolton, PhD Assistant Teaching Professor
COSC160: Data Structures: Lists and Queues Jeremy Bolton, PhD Assistant Teaching Professor Outline I. Queues I. FIFO Queues I. Usage II. Implementations II. LIFO Queues (Stacks) I. Usage II. Implementations
More informationScheduling analysis of AADL architecture models
Scheduling analysis of AADL architecture models Frank Singhoff+, Pierre Dissaux* +Lab-STICC/CNRS UMR 6285, Université de Bretagne Occidentale, France *Ellidiss Technologies, France Outline Goal: overview
More informationInteroperability Process Reference Manual (IPRM)
1 2 3 4 5 6 7 8 9 Smart Grid Testing & Certification Committee (SGTCC) Version 1.0 10 11 12 November 18, 2010 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43
More information10262A VB: Developing Windows Applications with Microsoft Visual Studio 2010
10262A VB: Developing Windows Applications with Microsoft Visual Studio 2010 Course Number: 10262A Course Length: 5 Days Course Overview In this course, experienced developers who know the basics of Windows
More informationInstitut Supérieur de l Aéronautique et de l Espace Ocarina: update and future directions
Institut Supérieur de l Aéronautique et de l Espace Ocarina: update and future directions Jérôme Hugues, ISAE/DMIA jerome.hugues@isae.fr Ocarina story 2004: ESA promoted the use of AADL 1.0 in the context
More informationLecture 5 STRUCTURED ANALYSIS. PB007 So(ware Engineering I Faculty of Informa:cs, Masaryk University Fall Bühnová, Sochor, Ráček
Lecture 5 STRUCTURED ANALYSIS PB007 So(ware Engineering I Faculty of Informa:cs, Masaryk University Fall 2015 1 Outline ² Yourdon Modern Structured Analysis (YMSA) Context diagram (CD) Data flow diagram
More informationInvolved subjects in this presentation Security and safety in real-time embedded systems Architectural description, AADL Partitioned architectures
Introduction Problem: security and reliability Purpose: design and implementation of safe/secure systems Help system designers to describe their requirements Ensure safety and security policies enforcement
More informationInvestigation 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 informationUpdate 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 informationThe Substitution Model
The Substitution Model Prof. Clarkson Fall 2017 Today s music: Substitute by The Who Review Previously in 3110: simple interpreter for expression language abstract syntax tree (AST) evaluation based on
More informationFrom MDD back to basic: Building DRE systems
From MDD back to basic: Building DRE systems, ENST MDx in software engineering Models are everywhere in engineering, and now in software engineering MD[A, D, E] aims at easing the construction of systems
More information