{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T04:05:36Z","timestamp":1648785936352},"reference-count":33,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1016\/s0164-1212(03)00072-4","type":"journal-article","created":{"date-parts":[[2003,10,15]],"date-time":"2003-10-15T17:54:47Z","timestamp":1066240487000},"page":"245-262","source":"Crossref","is-referenced-by-count":1,"title":["Rapid design exploration of safety-critical distributed automotive applications via virtual integration platforms"],"prefix":"10.1016","volume":"70","author":[{"given":"Paolo","family":"Giusto","sequence":"first","affiliation":[]},{"given":"Thilo","family":"Demmeler","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(03)00072-4_BIB1","unstructured":"Baker, W., Hartoog, M., Martin, G., 1997. Scalable techniques for the performance estimation of co-designed hardware\/software systems. In: Proceedings of the Cadence Technical Conference, May 1997"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB2","series-title":"Hardware\u2013Software Co-design of Embedded Systems: The Polis Approach","author":"Balarin","year":"1997"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB3","unstructured":"ByteFlight homepage, http:\/\/www.bvteflight.com\/"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB4","unstructured":"Cadence Inc., 1998. Virtual Component Co-design Product Documentation, Cadence Inc., 1998"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB5","doi-asserted-by":"crossref","unstructured":"Demmeler, T., Giusto, P., 2001. A Universal Communication Model for an Automotive System Integration Platform, DATE 2001, Munich","DOI":"10.1109\/DATE.2001.915000"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB6","doi-asserted-by":"crossref","unstructured":"Dilger, E., F\u00fchrer, T., M\u00fcller, B., Poledna, S., Thumer, T., 1997a. X-by-Wire: Design of distributed fault tolerant and safety critical applications in modern vehicles, VDI\u2013\u2013Verein Deutscher Ingenieure","DOI":"10.1007\/3-540-49646-7_21"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB7","doi-asserted-by":"crossref","unstructured":"Dilger, E., Johansson, L.\u00c5., Kopetz, H., Krug, M., Lid\u00e9n, P., McCall, G., Mortara, P., M\u00fcller, B., 1997b. Towards an architecture for safety related fault tolerant systems in vehicles, ERSEL\u2013\u2013European Conference on Safety and Reliability","DOI":"10.1016\/B978-008042835-2\/50116-8"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB8","unstructured":"Edwards, C., 2001. Carmakers plan to spread software around vehicles. Available from: http:\/\/www.electronicstimes.com, March 2001"},{"issue":"3","key":"10.1016\/S0164-1212(03)00072-4_BIB9","doi-asserted-by":"crossref","DOI":"10.1109\/5.558710","article-title":"Design of embedded systems: formal methods, validation and synthesis","volume":"85","author":"Edwards","year":"1997","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB10","unstructured":"ETAS GmbH, 1998. Whitepaper ASCET-SD, ETAS GmbH, 1998"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB11","unstructured":"Freund, U., Burst, A., 2001. ETAS Gmbh, Graphical Programming of ECU Software\u2013\u2013An Interface Based Approach"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB12","unstructured":"Giusto, P., 2001a. The VCC experience in automotive domain, Stuttgart International Symposium, February 2001"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB13","doi-asserted-by":"crossref","unstructured":"Giusto, P., 2001b. In: Harcourt, G.M. (Ed.), Estimation of Execution Time of Embedded Software, DATE 2001, Munich, March 2001","DOI":"10.1109\/DATE.2001.915082"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB14","unstructured":"Gutkin, I., Giusto, P., Ehret, J., 1999. Modeling the CAN bus within the VCC environment. In: Proceedings of the International Conference on Parallel and Distributed, Processing Techniques and Applications, Las Vegas, 1999"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB15","series-title":"Synchronous Programming of Reactive Systems","author":"Halbwachs","year":"1993"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB16","unstructured":"Hintze, J.L., 2000. NCSS 2000: Statistical System for Windows, User Guide, Number Cruncher Statistical Systems, Kaysville, Utah. Available from: http:\/\/www.ncss.com\/"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB17","unstructured":"Jutter, R., 2001. ETAS GMbh, Current Trends in the Design of Automotive Electronic Systems, Automotive day at DATE 2001, March 2001"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB18","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Hexel, R., Kruger, A., Millinger, D., Nossal, R., Steininger, A., Temple, C., Fuhrer, T., Pallierer, R., Krug, M., 1997. A prototype implementation of a TTP\/c controller. In: Proceedings of SAE Congress and Exhibition, February 1997","DOI":"10.4271\/970296"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB19","unstructured":"Lavagno, L., 2000. Embedded SWand UML, VCC Workshop, Rome, November 2001"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB20","doi-asserted-by":"crossref","unstructured":"Lavagno, L., Sangiovanni-Vincentelli, A., Sentovich, E. 1998. Models of computation for embedded system design, NATO ASI, Proceedings on System Synthesis, I1 Ciocco, 1998","DOI":"10.1007\/978-94-011-4698-2_2"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB21","doi-asserted-by":"crossref","unstructured":"Lazarescu, M., Lajolo, M., Bammi, J., Harcourt, E., Lavagno, L., 2000. Compilation-based software performance estimation for system level design. In: Proceedings of International Workshop on Hardware\/Software Co-design, May 2000","DOI":"10.1109\/HLDVT.2000.889579"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB22","doi-asserted-by":"crossref","unstructured":"Lee, E., Sangiovanni-Vincentelli, A., 1996. Comparing Models of Computation. In: Proceedings of ICCAD, 1996","DOI":"10.1109\/ICCAD.1996.569613"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB23","doi-asserted-by":"crossref","unstructured":"Martin, G., Lavagno, L., Louis-Guerin, J., 2001. Embedded UML: a merger of real time UML and co-design, CODES 2001, Denmark, April 2001","DOI":"10.1145\/371636.371660"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB24","unstructured":"Merritt, C. An Introduction to the LIN Protocol, Digital DNA, Motorola"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB25","unstructured":"Murray, C.J., 2001. Auto industry braces for media revolution. Available from: http:\/\/www.electronicstimes.com, March 2001"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB26","unstructured":"OSEK\/VDX Organisation, 2000. OSEK\/VDX Operating System Specification 2.1. Available from: http\/\/www.osex-vdx.org"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB27","unstructured":"Poledna, S., Novak, M., 2001. TTP scheme fuels safer drive-by-wire. Available from: http:\/\/www.electronicstinies.com, March 2001"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB28","unstructured":"Robert Bosch, 1991. CAN Specification Version 2.0, Technical Report ISO 11898, Robert Bosch GmbH, 1991"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB29","unstructured":"Sangiovanni-Vincentelli, A., 2000. Automotive Electronics: Trends and Challenges, Convergence 2000, Detroit, October 2000"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB30","unstructured":"Schiele, P., 2000. Transition Methodology from Specifications to a Network of ECU\u2019s: Exemplarity with Ascet-SD and VCC SAE Technical Paper Series NR. 2000-01-0720, 2000"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB31","unstructured":"Translating Models of Computation for Design Exploration of Real-Time Distributed Automotive Applications, Submitted for publication"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB32","unstructured":"TTP Forum, 1998. TTP\/C specification V0. 5. Available from: http:\/\/www.ttpforum.org\/, 1998"},{"key":"10.1016\/S0164-1212(03)00072-4_BIB33","unstructured":"Vector Informatik, 2000. Calibration of Electronic Control Units via CAN. Available from: http:\/\/www.vector-informatik.de\/english\/products\/index.html, 2000"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000724?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000724?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T03:40:00Z","timestamp":1585194000000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121203000724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["S0164121203000724"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(03)00072-4","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}