Model-based Analysis and Synthesis Methods for Dependable Embedded Systems

The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based approaches have recently demonstrated their potential for both improving and accelerating (software) development processes. Therefore, in the project DECOS1, which aims at improving system architectures and development of distributed safety-critical embedded systems, an integrated, model-driven tool-chain is established, accompanying the system development process from design to deployment. Beside the tool-chain a powerful verification and validation framework has been developed both for checking the correct behavior of the tools and for assuring the consistency, completeness and correctness of the related metamodels and developed models. This paper gives an overview of the DECOS concepts and tool-chain and presents novel methods and tools for the analysis and synthesis of the system models.