07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems

2008/01/01 by Michaela Huhn, Huhn, Michaela, Hardi Hungar +3
Computer Science · Engineering · #Dependable systems #Model-Driven Software Engineering Techniques #Safety Systems Engineering in Autonomy #certification #formal methods #modelling #safety #security #tools #verification

paper · doi:10.4230/dagsemproc.07241.2

openalex publication_date 2008/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• 07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems
• 07451 Abstracts Collection – Model-Based Engineering of Embedded Real-Time Systems
• 06351 Summary – Methods for Modelling Software Systems (MMOSS)
• Models and Techniques for Ensuring Reliability, Safety, Availability and Security of Large Scale Distributed Systems
• 08331 Manifesto – Model Engineering for Complex Systems