Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems

Abstract : This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on the construction and analysis by co-simulation of formal models that combine discrete-event specifications of computer-based controllers with continuous-time models of the environment with which they interact. Basic concepts of collaborative modelling and co-simulation are presented. A pragmatic realisation using the VDM and Bond Graph formalisms is described and illustrated by means of an example, which includes the modelling of both normal and faulty behaviour. Consideration of a larger-scale example from the personal transportation domain suggests the forms of support needed to explore the design space of collaborative models. Based on experience so far, challenges for future research in this area are identified.
Type de document :
Communication dans un congrès
Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.12-26, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00524759
Contributeur : Ist Inria Nancy Grand Est <>
Soumis le : vendredi 8 octobre 2010 - 16:50:01
Dernière modification le : lundi 11 octobre 2010 - 08:17:38
Document(s) archivé(s) le : jeudi 25 octobre 2012 - 16:45:57

Fichier

IFM2010invited_012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00524759, version 1

Collections

Citation

John Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef, Sune Wolff. Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.12-26, 2010, Lecture Notes in Computer Science. 〈inria-00524759〉

Partager

Métriques

Consultations de la notice

114

Téléchargements de fichiers

311