Abstract
This paper summarizes the objectives and structure of a seminar with the same title, held from June 10th to June 15th, 2007 at Schloss Dagstuhl, Germany.
Original language | English |
---|---|
Journal | Dagstuhl Seminar Proceedings |
Volume | 7241 |
State | Published - 2008 |
Externally published | Yes |
Event | Tools for the Model-Based Development of Certifiable, Dependable Systems 2007 - Wadern, Germany Duration: 10 Jun 2007 → 15 Jun 2007 |
Bibliographical note
Publisher Copyright:© 2008 Dagstuhl Seminar Proceedings. All rights reserved.
Funding
Model-driven development can be employed to raise the level of abstraction and thus in turn allows us to better deal with problems of higher complexity. This talk will address at first the question which obstacles exists when you want to employ this idea for the development of dependable systems and their certification. Afterwards, we review which new possibilities are opened up by the model-driven development paradigm. We will in particular consider very complex softwareintensive systems with advanced capabilities such as multiple variants or online-reconfiguration. We refer here to a number of results which have been developed mainly in the context of an advanced railway system, in which the individual shuttles autonomously coordinate themselves. Finally, we will discuss some of the challenges which remain for the addressed class of advanced soft-wareintensive systems. *This work was developed in the course of the Special Research Initiative 614 Self-optimizing Concepts and Structures in Mechanical Engineering University of Paderborn, and was published on its behalf and funded by the Deutsche Forschungsgemeinschaft.
Funders | Funder number |
---|---|
Deutsche Forschungsgemeinschaft |
Keywords
- Dependable systems
- certi cation
- formal methods
- modelling
- safety
- security
- tools
- veri cation