creators_name: Fitzgerald, John S.
creators_name: Larsen, Peter Gorm
creators_name: Pierce, Ken G
creators_name: Verhoef, Marcel
creators_name: Wolff, Sune
creators_id: john.fitzgerald@ncl.ac.uk
creators_id: pgl@iha.dk
creators_id: k.g.pierce@ncl.ac.uk
creators_id: Marcel.Verhoef@CHESS.NL
creators_id: swo@iha.dk
type: conference_item
datestamp: 2010-08-18 12:01:24
lastmod: 2010-08-22 14:54:39
metadata_visibility: show
title: Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
ispublished: inpress
subjects: deploy_method_resil
subjects: deploy_tooldev_other
subjects: rt_modelling
full_text_status: public
pres_type: keynote
keywords: modelling, simulation, real-time systems, embedded systems, control 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.
date: 2010-10
date_type: published
pagerange: 12-26
event_title: Integrated Formal Methods iFM 2010
event_location: Nancy, France
event_dates: 11-14 october 2010
event_type: conference
refereed: FALSE
official_url: http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0
referencetext: References
1. Andrews, Z.H., Fitzgerald, J.S., Verhoef, M.: Resilience Modelling through Discrete Event and Continuous Time Co-Simulation. In: Proc. 37th Annual IFIP/IEEE Intl. Conf. on Dependable Systems and Networks, vol. (Supp.), pp. 350–351. IEEE Computer Society, Los Alamitos (June 2007)
2. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1, 11–33 (2004)
3. Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: The compass approach: Correctness, modelling and performability of aerospace systems. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 173–186. Springer, Heidelberg (2009)
4. Broenink, J.F., Larsen, P.G., Verhoef, M., Kleijn, C., Jovanovic, D., Pierce, K., Wouters, F.: Design support and tooling for dependable embedded control software. In: Proc. of Serene 2010 International Workshop on Software Engineering for Resilient Systems. ACM, New York (2010)
5. Broenink, J.F.: Computer-aided physical-systems modeling and simulation: a bond-graph approach. Ph.D. thesis, Faculty of Electrical Engineering, University of Twente, Enschede, Netherlands (1990)
6. Broenink, J.F.: Modelling, Simulation and Analysis with 20-Sim. Journal A Special Issue CACSD 38(3), 22–25 (1997)
7. Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity – the Ptolemy approach. Proceedings of the IEEE 91(1), 127–144 (January 2003)
8. Elmstrøm, R., Larsen, P.G., Lassen, P.B.: The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices 29(9), 77–80 (1994)
9. Fitzgerald, J.S., Larsen, P.G., Tjell, S., Verhoef, M.: Validation Support for Real-Time Embedded Systems in VDM++. In: Cukic, B., Dong, J. (eds.) Proc. HASE 2007: 10th IEEE High Assurance Systems Engineering Symposium, pp. 331–340. IEEE, Los Alamitos (November 2007)
10. Fitzgerald, J., Larsen, P.G.:Modelling Systems – Practical Tools and Techniques in Software Development, 2nd edn. Cambridge University Press, Cambridge (2009), ISBN 0-521-62348-0
11. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object–oriented Systems. Springer, New York (2005), http://www.vdmbook.com
12. Fitzgerald, J., Larsen, P.G., Sahara, S.: VDMTools: Advances in Support for Formal Modeling in VDM. ACM Sigplan Notices 43(2), 3–11 (2008)
13. Fritzson, P., Engelson, V.: Modelica - a unified object-oriented language for system modelling and simulation. In: ECCOP 1998: Proceedings of the 12th European Conference on
Object-Oriented Programming, pp. 67–90. Springer, Heidelberg (1998)
14. Henzinger, T., Sifakis, J.: The Discipline of Embedded Systems Design. IEEE Computer 40(10), 32–40 (2007)
15. Information technology – Programming languages, their environments and system software interfaces – Vienna Development Method – Specification Language – Part 1: Base language (December 1996)
16. Fitzgerald, J.S., Larsen, P.G., Verhoef, M.: Vienna Development Method. In: Wah, B. (ed.) Wiley Encyclopedia of Computer Science and Engineering. John Wiley & Sons, Inc., Chichester (2008)
17. Karnopp, D., Rosenberg, R.: Analysis and simulation of multiport systems: the bond graph approach to physical system dynamic. MIT Press, Cambridge (1968)
18. Larsen, P.G., Battle, N., Ferreira,M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The Overture Initiative – Integrating Tools for VDM. ACM Software Engineering Notes 35(1) (January 2010)
19. Larsen, P.G., Fitzgerald, J., Wolff, S.: Methods for the Development of Distributed Real-Time Systems using VDM. International Journal of Software and Informatics 3(2-3)
(October 2009)
20. Lee, E.A.: Computing needs time. Communications of the ACM 52(5), 70–79 (2009) 21. Nicolescu, G., Boucheneb, H., Gheorghe, L., Bouchhima, F.: Methodology for efficient design of continuous/discrete-events co-simulation tools. In: Anderson, J., Huntsinger, R. (eds.) High Level Simulation Languages and Applications, SCS, San Diego, CA, pp. 172–179 (2007)
22. Nicolescu, G., Bouchhima, F., Gheorghe, L.: CODIS – A Framework for Continuous/Discrete Systems Co-Simulation. In: Cassandras, C.G., Giua, A., Seatzu, C., Zaytoon, J. (eds.) Analysis and Design of Hybrid Systems, pp. 274–275. Elsevier, Amsterdam (2006)
23. Oxford English Dictionary Online. Oxford University Press (2010)
24. Verhoef, M.: Modeling and Validating Distributed Embedded Real-Time Control Systems. Ph.D. thesis, Radboud University Nijmegen (2008), ISBN 978-90-9023705-3
25. Verhoef, M., Visser, P., Hooman, J., Broenink, J.: Co-simulation of Real-time Embedded Control Systems. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 639–658. Springer, Heidelberg (2007)
26. Wolff, S., Larsen, P.G., Noergaard, T.: Development Process for Multi-Disciplinary Embedded Control Systems. In: EuroSim 2010, EuroSim (September 2010)
27. Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal Methods: Practice and Experience. ACM Computing Surveys 41(4), 1–36 (2009)
citation:   Fitzgerald, John S. and Larsen, Peter Gorm and Pierce, Ken G and Verhoef, Marcel and Wolff, Sune  (2010) Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.  In: Integrated Formal Methods iFM 2010, 11-14 october 2010, Nancy, France.    (In Press)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/242/1/IFM2010invited.pdf