MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Thu 27 Oct 2022 16:15 - 16:37 at A-5502.1 - Systems Eng. & Analysis II Chair(s): Jean-Michel Bruel

AADL (Architecture Analysis and Design Language) is a rich modeling language for embedded systems through several constructs such as component extension and refinement to promote modularity of declarative specifications. To ease the processing of AADL models by tools, OSATE, the reference tool for AADL, defines another model computed from declarative models which results in a single tree system where all information is readily available. Tools can efficiently use this readily available information to refine the system. An automated backward transformation (de-instantiation) from instance models to declarative models is missing to update the corresponding declarative specification with the refinements. Since the instance model is a `view’ of the declarative model, this is a view-update problem. We demonstrate the OSATE Declarative-Instance Mapping Tool (OSATE-DIM), to perform incremental de-instantiation in AADL. This tool significantly eases the development of AADL analysis and code generation tools.

Thu 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 17:00
Systems Eng. & Analysis IITechnical Track / Tools & Demonstrations / Journal-first at A-5502.1
Chair(s): Jean-Michel Bruel Université de Toulouse, France
15:30
22m
Talk
Generating repairs for inconsistent modelsJ1st
Journal-first
Luciano Marchezan , Roland Kretschmer , Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Alexander Reder , Alexander Egyed Johannes Kepler University Linz
Link to publication
15:52
22m
Talk
Solving the Instance Model-View Update Problem in AADLP&I
Technical Track
Rakshit Mittal Universiteit Antwerpen, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Anish Bhobe Institut Polytechnique de Paris, Soumyadip Bandyopadhyay BITS Pilani
16:15
22m
Talk
OSATE-DIM Solves the Instance Model View-Update Problem in AADLDemo
Tools & Demonstrations
Rakshit Mittal Universiteit Antwerpen, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris
16:37
22m
Talk
Reactive Links Across Multi-Domain Engineering ModelsP&I
Technical Track
Cosmina-Cristina Ratiu Johannes Kepler University Linz, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Rainer Haas Linz Center of Mechatronics GmbH, Alexander Egyed Johannes Kepler University Linz