{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:37:55Z","timestamp":1777901875419,"version":"3.51.4"},"reference-count":14,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[1999,4]]},"abstract":"<jats:p>The ability for the embedded system designer model and simulate proposed designs prior to implementation is increasingly valuable in today's competitive market place. Simulation- based design is a methodology that uses the vir tual prototype as a means of producing consis tent and reduced design time. This paper presents this approach in the context of an auto motive embedded system application. Struc tural models are used to capture design knowl edge and define the space of possible design alternatives. The Discrete Event Specification (DEVS) formalism is used to develop behavioral models which can be simulated. Results are ob tained through experimental frames which are used to define the scope of simulation. These re sults allow the designers to confirm that the proposed design solution meets the system re quirements and constraints.<\/jats:p>","DOI":"10.1177\/003754979907200403","type":"journal-article","created":{"date-parts":[[2007,3,18]],"date-time":"2007-03-18T03:46:49Z","timestamp":1174189609000},"page":"238-249","source":"Crossref","is-referenced-by-count":4,"title":["An Embedded System's Design Verification Using Object-Oriented Simulation"],"prefix":"10.1177","volume":"72","author":[{"given":"Steve J.","family":"Cunning","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering The University of Arizona Tucson, Arizona, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Schulz","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering The University of Arizona Tucson, Arizona, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerzy W.","family":"Rozenblit","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering The University of Arizona Tucson, Arizona, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[1999,4,1]]},"reference":[{"key":"atypb1","volume-title":"Multifacetted Modeling and Discrete Event Simulation","author":"Zeigler, B.P.","year":"1984"},{"key":"atypb2","author":"Schulz, S.","year":"1998","journal-title":"IEEE Computer"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470172445.ch10"},{"key":"atypb4","volume-title":"Object-Oriented Modeling and Design","author":"Rumbaugh, J.","year":"1991"},{"key":"atypb5","volume-title":"Proceedings of the 1997 IEEE Conference and Workshop on Engineering of Computer Based Systems","author":"Schulz, S."},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1109\/25.260745"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1109\/40.210522"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"issue":"2","key":"atypb9","first-page":"55","volume":"13","author":"Chow, A.","year":"1996","journal-title":"TRANSACTIONS of the Society for Computer Simulation"},{"key":"atypb10","volume-title":"Objects and Systems: Principled Design with Implementations in C++ and Java","author":"Zeigler, B.P.","year":"1996"},{"key":"atypb11","volume-title":"Object-Oriented DEVS.\" Enabling Technology for Simulation Science, SPIE, AeoroSense","author":"Zeigler, B.P.","year":"1997"},{"key":"atypb12","volume-title":"Object-Oriented Simulation with Hierarchical, Modular Models","author":"Zeigler, B.P.","year":"1990"},{"key":"atypb13","volume-title":"A Model-Based Codesign Application: The Design of an Autonomous Intelligent Cruise Controller.\" Master's Thesis for the Department of Electrical and Computer Engineering","author":"Schulz, S.","year":"1997"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1080\/03081079108935180"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/003754979907200403","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/003754979907200403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:12:48Z","timestamp":1777633968000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/003754979907200403"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["10.1177\/003754979907200403"],"URL":"https:\/\/doi.org\/10.1177\/003754979907200403","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}