{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:08:43Z","timestamp":1725530923478},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642016479"},{"type":"electronic","value":"9783642016486"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01648-6_3","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T11:50:52Z","timestamp":1240833052000},"page":"20-34","source":"Crossref","is-referenced-by-count":9,"title":["Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Porter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e1bor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u00e9ter","family":"V\u00f6lgyesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harmon","family":"Nine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Humke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Hemingway","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Thibodeaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e1nos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11813040_1","volume-title":"FM 2006: Formal Methods","author":"T. Henzinger","year":"2006","unstructured":"Henzinger, T., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"3_CR2","unstructured":"Sangiovanni-Vincentelli, A.: Defining Platform-based Design. EEDesign of EETimes (February 2002)"},{"key":"3_CR3","unstructured":"Kopetz, H., Bauer, G.: The time-triggered architecture. In: Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software (October 2001)"},{"key":"3_CR4","unstructured":"AS-2 Embedded Computing Systems Committee: Architecture analysis and design language (AADL). Technical Report AS5506, Society of Automotive Engineers (November 2004)"},{"key":"3_CR5","unstructured":"RTCA, Inc. 1828 L St. NW, Ste. 805, Washington, D.C. 20036: DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Prepared by: RTCA SC-167 (December 1992)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"T.A. Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 166\u2013184. Springer, Heidelberg (2001)"},{"key":"3_CR7","unstructured":"Neema, S., Karsai, G.: Embedded control systems language for distributed processing (ECSL-DP). Technical Report ISIS-04-505, Institute for Software Integrated Systems, Vanderbilt University (2004)"},{"issue":"3","key":"3_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10270-006-0027-7","volume":"5","author":"A. Agrawal","year":"2006","unstructured":"Agrawal, A., Karsai, G., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Journal on Software and System Modeling\u00a05(3), 261\u2013288 (2006)","journal-title":"Journal on Software and System Modeling"},{"key":"3_CR9","unstructured":"ISIS, V.U.: Generic Modeling Environment, http:\/\/repo.isis.vanderbilt.edu\/"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE\u00a091(1) (2003)","DOI":"10.1109\/JPROC.2002.805824"},{"key":"3_CR11","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.L.: A denotational framework for comparing models of computation. Technical Report UCB\/ERL M97\/11, EECS Department, University of California, Berkeley (1997)"},{"key":"3_CR12","unstructured":"Ohlin, M., Henriksson, D., Cervin, A.: TrueTime 1.5 Reference Manual. Dept. of Automatic Control, Lund University, Sweden (January 2007), http:\/\/www.control.lth.se\/truetime\/"},{"key":"3_CR13","unstructured":"Thibodeaux, R.: The specification and implementation of a model of computation. Master\u2019s thesis, Vanderbilt University (May 2008)"},{"key":"3_CR14","unstructured":"Schulte, C., Lagerkvist, M., Tack, G.: Gecode: Generic Constraint Development Environment, http:\/\/www.gecode.org\/"},{"issue":"4","key":"3_CR15","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1009804226473","volume":"5","author":"K. Schild","year":"2000","unstructured":"Schild, K., W\u00fcrtz, J.: Scheduling of time-triggered real-time systems. Constraints\u00a05(4), 335\u2013357 (2000)","journal-title":"Constraints"},{"key":"3_CR16","unstructured":"Magyari, E., Bakay, A., Lang, A., et al.: Udm: An infrastructure for implementing domain-specific modeling languages. In: The 3rd OOPSLA Workshop on Domain-Specific Modeling (October 2003)"},{"key":"3_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"3_CR18","unstructured":"ISO\/IEC: Information Technology \u2013 Z Formal Specification Notation \u2013 Syntax, Type System and Semantics. 13568:2002 (July 2002)"},{"key":"3_CR19","unstructured":"UCB: Ptolemy II, http:\/\/ptolemy.berkeley.edu\/ptolemyII\/"},{"key":"3_CR20","unstructured":"Hwang, M.H.: DEVS++: C++ Open Source Library of DEVS Formalism (May 2007), http:\/\/odevspp.sourceforge.net\/"},{"key":"3_CR21","unstructured":"Basic Research in Computer Science (Aalborg Univ.) Dept. of Information Technology (Uppsala Univ.): Uppaal. Integrated tool environment for modeling, validation and verification of real-time systems, http:\/\/www.uppaal.com\/"},{"key":"3_CR22","unstructured":"Ouimet, M., Lundqvist, K.: The timed abstract state machine language: An executable specification language for reactive real-time systems. In: Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS 2007), Nancy, France (March 2007)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Skaf, J., Boyd, S.: Controller coefficient truncation using lyapunov performance certificate. IEEE Transactions on Automatic Control (in review) (December 2006)","DOI":"10.23919\/ECC.2007.7068551"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Bhave, A., Krogh, B.H.: Performance bounds on state-feedback controllers with network delay. In: IEEE Conference on Decision and Control 2008 (submitted) (December 2008)","DOI":"10.1109\/CDC.2008.4739330"},{"key":"3_CR25","first-page":"3","volume-title":"SEFM 2006: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM 2006: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, pp. 3\u201312. IEEE Computer Society Press, Washington (2006)"},{"key":"3_CR26","unstructured":"Chen, K., Sztipanovits, J., Abdelwahed, S.: A semantic unit for timed automata based modeling languages. In: Proceedings of RTAS 2006, pp. 347\u2013360 (2006)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-36498-6_15","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"A. Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E., Rinzivillo, S.: Using spin to generate testsfrom ASM specifications. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 263\u2013277. Springer, Heidelberg (2003)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Ouimet, M., Lundqvist, K.: Automated verification of completeness and consistency of abstract state machine specifications using a sat solver. In: 3rd International Workshop on Model-Based Testing (MBT 2007), Satellite of ETAPS 2007, Braga, Portugal (April 2007)","DOI":"10.1016\/j.entcs.2007.08.008"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering Journal\u00a010(2) (April 2003)","DOI":"10.1023\/A:1022920129859"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Xie, Y., Aiken, A.: Saturn: A sat-based tool for bug detection. In: Proceedings of the 17th International Conference on Computer Aided Verification, pp. 139\u2013143 (January 2005)","DOI":"10.1007\/11513988_13"},{"key":"3_CR32","unstructured":"Narayanan, A., Karsai, G.: Towards verifying model transformations. In: Bruni, R., Varr\u00f3, D. (eds.) 5th International Workshop on Graph Transformation and Visual Modeling Techniques, 2006, Vienna, Austria, pp. 185\u2013194 (April 2006)"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01648-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:30:10Z","timestamp":1558276210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01648-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642016479","9783642016486"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01648-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}