Tools for the Model-based Development of Certi able, Dependable Systems

Michaela Huhn, Hardi Hungar, Doron Peled

Research output: Contribution to journalConference articlepeer-review

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 languageEnglish
JournalDagstuhl Seminar Proceedings
Volume7241
StatePublished - 2008
Externally publishedYes
EventTools for the Model-Based Development of Certifiable, Dependable Systems 2007 - Wadern, Germany
Duration: 10 Jun 200715 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.

FundersFunder number
Deutsche Forschungsgemeinschaft

    Keywords

    • Dependable systems
    • certi cation
    • formal methods
    • modelling
    • safety
    • security
    • tools
    • veri cation

    Fingerprint

    Dive into the research topics of 'Tools for the Model-based Development of Certi able, Dependable Systems'. Together they form a unique fingerprint.

    Cite this