ADEPT: AADL by its practitioners
17 June 2022, Ghent, Belgium
Co-located with the 26th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2022), 14-17 JuneProgram
ADEPT 2022 program will feature an opening session with news on AADL, 8 presentations, and a panel discussion.
| Time | Session | Presentation |
|---|---|---|
| 09:00-09:30 | Opening |
Introduction and news about AADL
Jérôme Hugues |
| 09:30-10:30 |
Session: Tools & methods
Session chair: Hai Nam Tran |
AADL modelling with SysML v2
Jean-Charles Roger, Pierre Dissaux [Presentation Slides - PDF] |
|
Unified graphical co-modeling, analysis and verification of cyber-physical
systems by combining AADL and Simulink/Stateflow
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan *Online presentation [Presentation Slides - PDF] |
||
| 10:30-11:15 | Coffee break | |
| 11:15-12:15 |
Session: Tools & methods
(cont.) |
C2AADL_Reverse: A model-driven reverse engineering approach
to development and verification of safety-critical software
Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali *Online presentation [Presentation Slides - PDF] |
|
COMPASTA: Integrating COMPASS Functionality into TASTE
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta *Online presentation |
||
| 12:15-12:45 |
Session: Examples of use
Session chair: Pierre Dissaux |
Experiences Modeling a OPC UA / DDS Gateway in AADL in the Context of Fog Computing
Patrick Denzler, Daniel Scheuchenstuhl, Daniel Ramsauer, Wolfgang Kastner [Presentation Slides - PDF] |
| 12:45-13:45 | Lunch break | |
| 13:45-15:15 |
Session: Examples of use
(cont.) |
Modelling robot architectures with AADL
Gianluca Bardaro, Matteo Matteucci [Presentation Slides - PDF] |
|
AADL models for ROS based applications
Eric Senn, Lucie Bourdon [Presentation Slides - PDF] |
||
|
An Introduction to ALISA and an Experience Report on its
Usage for an Industrial Railway System Case Study
Dominique Blouin, Paolo Crisafulli, Françoise Caron, Cristian Maxime [Presentation Slides - PDF] |
||
| 15:15-15:30 | Short break | |
| 15:30-17:00 | Panel Discussion
Session chair: Frank Singhoff [Presentation Slides - PDF] |
|