Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/inria-00524759
Contributor : Ist Inria Nancy Grand Est <>
Submitted on : Friday, October 8, 2010 - 4:50:01 PM
Last modification on : Thursday, August 22, 2019 - 6:46:03 PM
Long-term archiving on: : Thursday, October 25, 2012 - 4:45:57 PM

File

IFM2010invited_012.pdf
Files produced by the author(s)

Identifiers

  • 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. Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.12-26. ⟨inria-00524759⟩

Share

Metrics

Record views

176

Files downloads

648