2nd ADEPT workshop: AADL by its practitioners
16 June 2023, Lisbon, Portugal
Co-located with the 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023), 13-16 June
Program
| Time | Session | Presentation |
|---|---|---|
| 08:45-09:00 | Workshop opening |
Introduction and news about AADL
Bruce Lewis [Presentation Slides - PDF] |
| 09:00-10:30 |
Session: Formal methods
Session chair: Laurent Pautet |
Formal Model Engineering of Synchronous CPS Designs in AADL
Kyungmin Bae, Peter Ölveczky [Presentation Slides - PDF] |
|
BLESS Behavior Correctness Proof as Convincing Verification Artifact
Brian R Larson, Ehsan Ahmad [Presentation Slides - PDF] |
||
|
From AADL standard textual semantics to AADL standard mechanized semantics.
Jérôme Hugues [Presentation Slides - PDF] |
||
| 10:30-11:00 | Coffee break | |
| 11:00-12:00 |
Session: TASTE
Session chair: Pierre Dissaux |
Extension of the TASTE toolset to support publisher-subscriber communication
Hugo Valente, Miguel A de Miguel, Ángel G Pérez, Alejandro Alonso, Juan Zamorano, Juan A de la Puente [Presentation Slides - PDF] |
|
METASAT’s Model Based Design Solutions
Leonidas Kosmidis [Presentation Slides - PDF] |
||
| 12:00-12:30 |
Session: MDE
Session chair: Jérôme Hugues |
Facilitating AADL Model Processing and Analysis with OSATE-DIM
Rakshit Mittal, Dominique Blouin [Presentation Slides - PDF] |
| 12:30-14:00 | Lunch break | |
| 14:00-16:00 |
Session: MDE
(cont.) |
LAMP: to shed light on AADL models
Pierre Dissaux [Presentation Slides - PDF] |
|
Challenges in Model Synchronization for Information Preservation Illustrated with the FACE and AADL Standards
Dominique Blouin, Anish Bhobe, Laurent Pautet [Presentation Slides - PDF] |
||
|
Bidirectional Translation of SysML V1 to AADL
Hazel Shackleton [Presentation Slides - PDF] |
||
|
Formalizing AADL in the Unifying Theories of Programming
Joseph Kiniry, Frank Zeyda [Presentation Slides - PDF] |
||
| 16:00-16:15 | Workshop closing | |
AADL Meeting
This year, in addition to the ADEPT Workshop, the AADL committee plan an informal meeting for AADL users, and interested AEiC conference attendees on June 15th in the evening from 18:30 to 20:30.