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

The Architecture Analysis and Design Language (AADL) is a rich language for modeling embedded systems through several con- structs such as component extension and refinement to promote modularity of component declarations. To ease processing AADL models, OSATE, the reference tool for AADL, defines another model (namely instance model) computed from a base declarative model/s. An instance model is a simple object tree where all information from the declarative model is flattened so that tools can easily use this information to analyze the system. However for modifications, they have to make changes in the complex declarative model since there is no automated backward transformation (de-instantiation) from instance to declarative models. Since the instance model is a view of the declarative model, this is a view-update problem. In this paper, we propose the OSATE Declarative-Instance Mapping Tool (OSATE-DIM1), an Eclipse plugin for de-instantiation of AADL models implementing a solution of this view-update problem. We evaluate OSATE-DIM with a benchmark of existing AADL model processing tools and verify the correctness of our de-instantiation transformations. We also discuss how our approach could be use- ful for decompilation of Object-Oriented languages intermediate representations.

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 University of Antwerp - Flanders make, 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 University of Antwerp - Flanders make, 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