Codesign of dependable systems: a component-based modeling language

  • Authors:

  • Marco Bozzano;Alessandro Cimatti;Marco Roveri;Joost-Pieter Katoen;Viet Yen Nguyen;Thomas Noll

  • Affiliations:

  • Embedded Systems Group, Fondazione Bruno Kessler, Trento, Italy;Embedded Systems Group, Fondazione Bruno Kessler, Trento, Italy;Embedded Systems Group, Fondazione Bruno Kessler, Trento, Italy;Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany;Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany;Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany

  • Venue:
  • MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a model-based approach to system-software co-engineering which is focused on aerospace systems but is relevant to a much wider class of dependable systems. We present the main ingredients of the SLIM modeling language and give a precise interpretation of SLIM models by providing a formal semantics using networks of event-data automata. The major distinguishing aspects of this component-based approach are the possibility to describe nominal hardware and software operations, hybrid (and timing) aspects, as well as probabilistic faults and their propagation and recovery. As our approach bears strong resemblance to the standardized AADL (Architecture Analysis and Design Language), a secondary contribution of this paper is a formal semantics of a large fragment of AADL including its Error Model Annex.