TELECOM-ParisTech (amphi Thévenin, à gauche en entant rue Barrault): comment y aller
Abstract: Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including model synchronization, round-trip engineering, software evolution, multiple-view software development, and reverse engineering.
In this talk, we shall present a novel algebraic framework for bidirectional model transformation, integrating the state-of-the-art technologies on bidirectional tree transformations and algebraic graph querying. We make a significant extension from bidirectional tree transformation to bidirectional graph transformation, and give a powerful automatic bidirectionalization method to derive a backward graph transformation from a forward graph transformation. Moreover, we demonstrate that our algebraic framework can support systematic development of efficient large-scale bidirectional model transformations in a compositional manner
This is a joint work with Soichiro Hidaka, Hiroyuki Kato, and Keisuka Nakano..
Abstract: Enforcement of safety and security requirements in distributed, real-time embedded system (DRE) is very difficult. On the one hand, we have to deal with many constraints (low memory footprint, timing constraints, etc.) that are difficult to meet. On the other hand, we have to ensure safety and security requirements enforcement. Many approaches address these concerns, but they do not provide solution at the same level (some of them introduce a dedicated architecture, others check dedicated representation of the system, etc). To solve these problem, we need to describe system internals with its safety and security requirements in the same representation.
Architecture descriptions languages (ADL) could be a valid candidate and help system designers by defining system constraints and validate their enforcement before any implementation. This talk is focused on the Architecture Analysis and Design Language (AADL), a language already used to design and implement DRE systems.
In this presentation, we present existing approaches for security and safety. We introduce the concept of partitioned architectures that brings security and safety in DRE systems. Then, we present the AADL and explain how we map these approaches in AADL models and model safety and security requirements in DRE system. We also detail the validation of such systems regarding a given security policy. Finally, we explain how we can help developers be automatically generate and configure systems according to these models. The presentations concludes with a demonstration of our existing toolsuite that automatically validates and generates safe and secure systems from AADL models.