Output details
11 - Computer Science and Informatics
Newcastle University
Output title
Collaborative modelling and co-simulation in the development of dependable embedded systems
Type
E - Conference contribution
Name of conference/published proceedings
Integrated Formal Methods: 8th International Conference (IFM 2010)
Volume number
6396
Issue number
-
First page of article
12
ISSN of proceedings
0302-9743
Year of publication
2010
Number of additional authors
4
Additional information
<07> Collaborative work with one academic and two industry co-authors. Based on Fitzgerald’s keynote lecture, this paper is the first detailing of co-modelling and co-simulation for models of control software in the VDM formalism with continuous-time models of controlled plant based on bond graphs. The approach was implemented in the DESTECS project’s tools, and evaluated in case studies (detailed in deliverables at www.destecs.org) in companies in the Netherlands and Belgium (contacts: Bert.Bos@chess.nl, Koenraad.Rombaut@verhaert.com, P.vanEijk@neopost.com).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
