{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T06:58:02Z","timestamp":1760079482062,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162640"},{"type":"electronic","value":"9783642162657"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16265-7_2","type":"book-chapter","created":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T21:45:41Z","timestamp":1285883141000},"page":"12-26","source":"Crossref","is-referenced-by-count":15,"title":["Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems"],"prefix":"10.1007","author":[{"given":"John","family":"Fitzgerald","sequence":"first","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Ken","family":"Pierce","sequence":"additional","affiliation":[]},{"given":"Marcel","family":"Verhoef","sequence":"additional","affiliation":[]},{"given":"Sune","family":"Wolff","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"350","volume-title":"Proc. 37th Annual IFIP\/IEEE Intl. Conf. on Dependable Systems and Networks","author":"Z.H. Andrews","year":"2007","unstructured":"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.\u00a0(Supp.), pp. 350\u2013351. IEEE Computer Society, Los Alamitos (June 2007)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"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\u00a01, 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-04468-7_15","volume-title":"Computer Safety, Reliability, and Security","author":"M. Bozzano","year":"2009","unstructured":"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.\u00a05775, pp. 173\u2013186. Springer, Heidelberg (2009)"},{"key":"2_CR4","volume-title":"Proc. of Serene 2010 International Workshop on Software Engineering for Resilient Systems","author":"J.F. Broenink","year":"2010","unstructured":"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)"},{"unstructured":"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)","key":"2_CR5"},{"issue":"3","key":"2_CR6","first-page":"22","volume":"38","author":"J.F. Broenink","year":"1997","unstructured":"Broenink, J.F.: Modelling, Simulation and Analysis with 20-Sim. Journal A Special Issue CACSD\u00a038(3), 22\u201325 (1997)","journal-title":"Journal A Special Issue CACSD"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity \u2013 the Ptolemy approach. Proceedings of the IEEE\u00a091(1), 127\u2013144 (January 2003)","journal-title":"Proceedings of the IEEE"},{"issue":"9","key":"2_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/185009.185028","volume":"29","author":"R. Elmstr\u00f8m","year":"1994","unstructured":"Elmstr\u00f8m, R., Larsen, P.G., Lassen, P.B.: The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices\u00a029(9), 77\u201380 (1994)","journal-title":"ACM Sigplan Notices"},{"key":"2_CR9","first-page":"331","volume-title":"Proc. HASE 2007: 10th IEEE High Assurance Systems Engineering Symposium","author":"J.S. Fitzgerald","year":"2007","unstructured":"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\u2013340. IEEE, Los Alamitos (November 2007)"},{"unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems \u2013 Practical Tools and Techniques in Software Development, 2nd edn. Cambridge University Press, Cambridge (2009), ISBN 0-521-62348-0","key":"2_CR10"},{"key":"2_CR11","volume-title":"Validated Designs for Object\u2013oriented Systems","author":"J. Fitzgerald","year":"2005","unstructured":"Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object\u2013oriented Systems. Springer, New York (2005), http:\/\/www.vdmbook.com"},{"issue":"2","key":"2_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1361213.1361214","volume":"43","author":"J. Fitzgerald","year":"2008","unstructured":"Fitzgerald, J., Larsen, P.G., Sahara, S.: VDMTools: Advances in Support for Formal Modeling in VDM. ACM Sigplan Notices\u00a043(2), 3\u201311 (2008)","journal-title":"ACM Sigplan Notices"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BFb0054087","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"P. Fritzson","year":"1998","unstructured":"Fritzson, P., Engelson, V.: Modelica - a unified object-oriented language for system modelling and simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 67\u201390. Springer, Heidelberg (1998)"},{"issue":"10","key":"2_CR14","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MC.2007.364","volume":"40","author":"T. Henzinger","year":"2007","unstructured":"Henzinger, T., Sifakis, J.: The Discipline of Embedded Systems Design. IEEE Computer\u00a040(10), 32\u201340 (2007)","journal-title":"IEEE Computer"},{"unstructured":"Information technology \u2013 Programming languages, their environments and system software interfaces \u2013 Vienna Development Method \u2013 Specification Language \u2013 Part 1: Base language (December 1996)","key":"2_CR15"},{"key":"2_CR16","volume-title":"Wiley Encyclopedia of Computer Science and Engineering","author":"J.S. Fitzgerald","year":"2008","unstructured":"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)"},{"key":"2_CR17","volume-title":"Analysis and simulation of multiport systems: the bond graph approach to physical system dynamic","author":"D. Karnopp","year":"1968","unstructured":"Karnopp, D., Rosenberg, R.: Analysis and simulation of multiport systems: the bond graph approach to physical system dynamic. MIT Press, Cambridge (1968)"},{"doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The Overture Initiative \u2013 Integrating Tools for VDM. ACM Software Engineering Notes\u00a035(1) (January 2010)","key":"2_CR18","DOI":"10.1145\/1668862.1668864"},{"unstructured":"Larsen, P.G., Fitzgerald, J., Wolff, S.: Methods for the Development of Distributed Real-Time Systems using VDM. International Journal of Software and Informatics\u00a03(2-3) (October 2009)","key":"2_CR19"},{"issue":"5","key":"2_CR20","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/1506409.1506426","volume":"52","author":"E.A. Lee","year":"2009","unstructured":"Lee, E.A.: Computing needs time. Communications of the ACM\u00a052(5), 70\u201379 (2009)","journal-title":"Communications of the ACM"},{"unstructured":"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\u2013179 (2007)","key":"2_CR21"},{"key":"2_CR22","first-page":"274","volume-title":"Analysis and Design of Hybrid Systems","author":"G. Nicolescu","year":"2006","unstructured":"Nicolescu, G., Bouchhima, F., Gheorghe, L.: CODIS \u2013 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\u2013275. Elsevier, Amsterdam (2006)"},{"unstructured":"Oxford English Dictionary Online. Oxford University Press (2010)","key":"2_CR23"},{"unstructured":"Verhoef, M.: Modeling and Validating Distributed Embedded Real-Time Control Systems. Ph.D. thesis, Radboud University Nijmegen (2008), ISBN 978-90-9023705-3","key":"2_CR24"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1007\/978-3-540-73210-5_33","volume-title":"Integrated Formal Methods","author":"M. Verhoef","year":"2007","unstructured":"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.\u00a04591, pp. 639\u2013658. Springer, Heidelberg (2007)"},{"unstructured":"Wolff, S., Larsen, P.G., Noergaard, T.: Development Process for Multi-Disciplinary Embedded Control Systems. In: EuroSim 2010, EuroSim (September 2010)","key":"2_CR26"},{"issue":"4","key":"2_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J. Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal Methods: Practice and Experience. ACM Computing Surveys\u00a041(4), 1\u201336 (2009)","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16265-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T01:00:09Z","timestamp":1559696409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16265-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162640","9783642162657"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16265-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}