Workshops - Program - RST 2009 - IMT Atlantique

 

Two workshops  will be organized in conjunction with the 14th Reliable Software Technologies - Ada Europe Conference.

 

Workshop on Vulnerabilities.

 

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

AADL workshop

 

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. 

 

Final program

8:30 - 9:30 Workshop Session One - AADL tutorial  (Peter Feiler, Software Engineering Institute)

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 (Eric Conquet, Maxime Perrotin, European Space Agency)

3:00 - 3:30 Break

3:30 – 4:30 Demonstration of STOOD toolset capabilities including AADL specification, Cheddar scheduling analysis and Architecture Simulation (Pierre Dissaux, Ellidiss, Frank Singhoff, LISyC/University of Brest)

4:30 – 5:00 Workshop session 5 – Generation and Integration of AADL Architecture Consistent Simulink Behavior Models.  (Swaminathan Gopalswamy, Emmeskay)

5:00 – 6:00 Workshop session 4 - Generation of Partitioned Architectures via OCARINA and Ada.

(Jerome Hugues, Julien Delange, Paris Telecom)