Séminaire du 11 Avril 2008

Lieu

TELECOM ParisTech: comment y aller
Amphithéatre Estaunié.

Programme

14h00-15h00: Peter Feiler (Software Engineering Institute, CMU)
«Validation of Safety-Critical Systems with AADL»

Abstract:Safety-critical systems are systems whose failure or malfunction may result in injury or death, or damage or loss of equipment, or damage to the environment.  These safety risks are managed by a range of safety analyses ranging from hazard analysis to fault tree analysis. As safety-critical system have become increasingly software intensive the embedded software system has become an increasing risk factor. For this reason the SAE Architecture Analysis & Design Language (AADL) international standard has been developed to support model-based engineering of embedded and real-time software intensive systems.

This presentation discusses how AADL contributes to safety engineering in several ways. AADL supports modeling of the embedded software, the computing platform, and the physical system annotated with analysis-specific information. Safety properties can be validated through analysis throughout the life cycle of different degrees of fidelity and formality. AADL supports fault modeling and modeling of fault tolerant solutions. In addition, safety risks due to mismatched assumptions between system engineers and embedded software engineers can be addressed. This will be illustrated by the examples of end-to-end latency and security analysis. AADL models can be the basis for property preserving generation of the runtime system for the task and communication architecture.  This will be illustrated by the example of optimizing port-based communication of data streams while preserving deterministic sampling.

The presentation concludes with a short summary of industrial pilot projects that utilize AADL for model-based engineering and research projects that use AADL as transition platform.

15h00-15h30 : Béchir Zalila (TELECOM ParisTech)
«Configuration and Deployment of Distributed Real-time and Embedded Applications Using an Architecture Description Language»

Abstract: Building distributed real-time embedded applications (DRE) is a tedious task. On the one hand, the production of such applications is time consuming and costly. On the other hand, real-time embedded applications must satisfy hard real-time constraints to ensure their proper functioning (meeting deadlines...). The use of architecture description languages (ADL) aims at reducing the cost of developing these applications. Their precise syntax can lead to the automatic generation of code and is amenable to different kinds of analyses thus ensuring the proper functioning of the system.

AADL (Architecture Analysis & Design Language) belongs to this family of languages. It proposes the concept of ÒcomponentÓ (hardware or software) whose well defined semantics makes it possible to describe several aspects of DRE systems. The several constraints that must be met can be integrated into the AADL model using properties. We present our research work that exploits the features offered by AADL to specify the exact requirements of a DRE application and generate optimized and compact code for this application. Besides, the runtime supporting the AADL constructs is itself statically configured according to the specified properties. In fact, they serve (1) to automatically generate the code for the applicative components of the system, but also (2) to automatically generate a significant part of tailor-made middleware components and (3) to automatically deploy the applicative components along with the middleware to have a system which is strongly dedicated to the application. The approach reduces development time and produces optimized and analyzable code. The configuration and deployment (often separated from the development process) are now automatic and integrated to the production chain.

15h30-16h00: pause café

16h00-16h30: vie du groupe