Two workshops will be organized in conjunction with the 14th Reliable Software Technologies - Ada Europe Conference.
Given the large focus on software vulnerabilities
in the current market place, ISO has instantiated the Other Working Group: Vulnerabilities
as ISO WG23. ISO WG23 has submitted a Technical Report that captures the
current view of software vulnerabilities. This workshop will focus on the content of this Technical Report and
its applicability to Ada and SPARK. The objective of the workshop is to define
the Ada Annex to the ISO WG23 Technical Report on Vulnerabilites. And to identify breaks and gaps in this Technical Report with respect to the programming language Ada.
Final program
09:00 – 10:30
Overview and Update of the ISO WG23 Technical Report on Vulnerabilites. – J. Benito/E. Ploedereder
Expunging the C/C++ Bias – J.P. Rosen
Ada and Programming Language Vulnerabilities – S. Michell
10:30 – 11:00 BREAK
11:00 – 12:30
Ada and Programming Language Vulnerabilities (cont) – S. Michell
Argument for Language Subsetting – T. Vardanega
12:30 – 14:00 LUNCH
14:00 – 15:30
Concurrency and Vulnerabilities – A. Burns
15:30 – 16:00 BREAK
16:00 – 18:00
Vulnerabilities Enumeration – R. Chapman
Wrap-Up – J. Tokar
The AADL workshop will propose a session that emphasizes learning AADL concepts. Then a series of tool demonstrations is proposed to help you applying these concepts to industrial case studies.
The AADL provides a means to precisely describe the hardware/software architecture to support quantitative model-based architectural engineering early and throughout the lifecycle and well as efficient, automated system integration. Through a standardized definition of components and their interaction it supports integration of architectural models across system developers as well as standard-based analysis tools.
Two modeling approaches are demonstrated. The first is to directly model in the AADL language with analysis and generation to the AADL specifications. The second involves the use of high-level architectural modeling tools that allow one to capture the system design in a domain specific way, and then map it to AADL to perform analysis and generation, thus lowering the AADL learning curve.
8:30 - 9:30 Workshop Session One - AADL tutorial
10:00 - 10:30 Break
10:30 - 11:30 Workshop Session Two – AADL Architectural Modeling and Analysis with Open Source AADL Toolset Environment (OSATE).
(Peter Feiler, Software Engineering Institute)
11:30 – 12:00 Demonstration of the FIACRE SPICES toolset for Model Checking of AADL specifications
(Mamoun Filali, IRIT)
12:00 - 1:30 Lunch
1:30 - 3:00 Session 3 Leveraging AADL for High Level Architecture Modeling, Analysis and Generation
– The ASSERT Approach
3:00 - 3:30 Break
3:30 – 4:30 Demonstration of STOOD toolset capabilities including AADL specification, Cheddar scheduling analysis and Architecture Simulation
4:30 – 5:00 Workshop session 5 – Generation and Integration of AADL Architecture Consistent Simulink Behavior Models.
5:00 – 6:00 Workshop session 4 - Generation of Partitioned Architectures via OCARINA and Ada.
(Jerome Hugues, Julien Delange, Paris Telecom)