Personal tools
You are here: Home / Internal / RISC Forum / 2012 / Risc Colloquium

Risc Colloquium

Daniel Varro: Developing Design Tools for Critical Embedded Systems: A Model Transformation Playground
When Jun 25, 2012
from 01:30 PM to 02:15 PM
Add event to calendar vCal
iCal

The design of critical embedded systems necessitates a thorough quality assurance process to guarantee that the target software meets all its requirements for safe operation. Therefore, development and verification tools used for designing such systems also need to undergo a rigorous qualification process to obtain certification credit.

Model-driven engineering techniques have become increasingly popular in these areas to enhance the development process by early model analysis and subsequent code generation. Design intelligence to pinpoint conceptual design flaws already in the models by precise analysis driven by hidden formal methods is frequently enabled by automated model transformations. Model transformations can also improve architecture design with the guided synthesis of configuration tables, communication layers, interfaces, etc.

In my talk, I will overview (1) recent advances in the foundations of model transformations, (2) innovative applications of model transformation techniques for developing critical embedded systems, and (3) the transformation-driven design and integration of software tools used in critical systems development.

Moreover, I will discuss some industrial cases of successfully applying models and model transformation techniques in the automotive and avionics domain, which prove that design intelligence enabled by model-driven techniques has significant impact on the productivity and quality of the final product as engineers can detect design flaws earlier.

« April 2019 »
April
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
2930
Upcoming Events
NO RISC Forum Apr 22, 2019 01:30 PM - 01:45 PM
RISC Forum Apr 29, 2019 01:30 PM - 01:45 PM
RISC Forum May 06, 2019 01:30 PM - 01:45 PM
RISC Forum May 13, 2019 01:30 PM - 01:45 PM
RISC Forum May 20, 2019 01:30 PM - 01:45 PM
Previous events…
Upcoming events…