Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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

John Fitzgerald
  • Function : Author
  • PersonId : 880353
Peter Gorm Larsen
  • Function : Author
  • PersonId : 869578
Ken Pierce
  • Function : Author
  • PersonId : 880354
Marcel Verhoef
  • Function : Author
Sune Wolff
  • Function : Author
  • PersonId : 880355

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.
Fichier principal
Vignette du fichier
IFM2010invited_012.pdf (228.3 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00524759 , version 1 (08-10-2010)

Identifiers

  • HAL Id : inria-00524759 , version 1

Cite

John Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef, Sune Wolff. Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.12-26. ⟨inria-00524759⟩
85 View
422 Download

Share

Gmail Facebook X LinkedIn More