Toggle Main Menu Toggle Search

Open Access padlockePrints

Collaborative modelling and co-simulation in the development of dependable embedded systems

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen, Dr Ken Pierce



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. © 2010 Springer-Verlag Berlin Heidelberg.

Publication metadata

Author(s): Fitzgerald J, Larsen P, Pierce K, Verhoef M, Wolff S

Editor(s): Méry, D., Merz, S.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Integrated Formal Methods: 8th International Conference (IFM 2010)

Year of Conference: 2010

Pages: 12-26

Date deposited: 29/04/2012

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-642-16265-7_2

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642162657