{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T00:36:16Z","timestamp":1790901376470,"version":"4.1.0"},"reference-count":37,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iwrsp.2003.1207024","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"9-15","source":"Crossref","is-referenced-by-count":10,"title":["A component-based methodology for embedded system prototyping"],"prefix":"10.1109","author":[{"given":"P.","family":"Tessier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Gerard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"Mraidha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Terrier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.-M.","family":"Geib","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","year":"0","journal-title":"Webraska Global Navigation Server"},{"key":"ref32","article-title":"SPEM specification","year":"2002","journal-title":"OMG formal\/2002–11–14"},{"key":"ref31","article-title":"The ACCORD\/UML profile","author":"g\u00e9rard","year":"2002","journal-title":"CEA-LIST Gif sur Yvette Internal report"},{"key":"ref30","article-title":"EUDEMES: Component-Based Development Methods for Small-Size Embedded Systems","volume":"n\ufffd52","author":"guelfi","year":"2003","journal-title":"ERCIM News"},{"key":"ref37","year":"0","journal-title":"AIT - WOODDES"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1033224"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.1999.779052"},{"key":"ref34","article-title":"Reducing the Time to Market Through Rapid Prototyping","volume":"28","author":"dollas","year":"1995","journal-title":"IEEE Computer"},{"key":"ref10","article-title":"The ESTEREL synchronous programming language: Design, semantics, implementation","author":"berry","year":"1988","journal-title":"INRIA Tech Rep"},{"key":"ref11","first-page":"1321","article-title":"Programming real time application with Signal","author":"guemic","year":"1991","journal-title":"Proceedings of the IEEE 79"},{"key":"ref12","article-title":"UML 1.4 with Action Semantics","year":"2002","journal-title":"OMG"},{"key":"ref13","article-title":"Using UML for Modeling Complex Real-Time Systems","author":"selic","year":"1998","journal-title":"Rational software corporation"},{"key":"ref14","article-title":"Real-time Perspective - Over-View","author":"moore","year":"1998","journal-title":"Version 1 0 ARTISAN Software"},{"key":"ref15","article-title":"Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns","author":"douglass","year":"1999"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"ref17","article-title":"An Object-Based Executable Model for Simulation of Real-Time Hw\/Sw Systems","author":"pasquier","year":"1999","journal-title":"De-sign Automation and Test in Europe"},{"key":"ref18","article-title":"Executable UML: A Case Study","author":"starr","year":"2001","journal-title":"Paperback"},{"key":"ref19","article-title":"Model Checking of an Executable Subset of UML","author":"xie","year":"2001","journal-title":"presented at ASE2001 Automated Software Engineering"},{"key":"ref28","article-title":"Using the Model Paradigm for Real-Time Systems Develoment: ACCORD\/UML","author":"gerard","year":"2002","journal-title":"OOIS'02-MDSD"},{"key":"ref4","article-title":"Temporal Verification of Reactive Systems","author":"pnueli","year":"1995"},{"key":"ref27","article-title":"Component-Based Software Engineering: Technologies, Quality Assurance Schemes, and Risk Analysis Tools","author":"xia","year":"2000","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"ref3","article-title":"Information processing systems – Open Systems Interconnection –LOTOS","year":"1989","journal-title":"International Organization for Standardization"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref29","article-title":"Effi-cient System Modeling of Complex Real-Time Industrial Networks using the ACCORD\/UML Methodology","author":"g\u00e9rard","year":"2000","journal-title":"Architecture and Design of Distributed Embedded Systems Paderborn University"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1994.401984"},{"key":"ref8","article-title":"Evolutive Prototyping of Heteroge-Neous Distributed Systems using Hierarchical Algebraic Petri Nets","author":"didier","year":"1996","journal-title":"IEEE International Conference on Systems Man and Cybernetics"},{"key":"ref7","article-title":"Recommendation Z.100: Specification and Description Language (SDL)","year":"1996","journal-title":"ITU-T"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref9","first-page":"91","article-title":"Framekit and Prototyping of CASE environment","author":"kordon","year":"1997","journal-title":"8th International Workshop on Rapid System Prototyping Research Triangle Park Institute"},{"key":"ref1","article-title":"Ariane 5 - Inquiry Board report - Flight 501 Failure","author":"lions","year":"1996","journal-title":"ESA"},{"key":"ref20","article-title":"Component Software: Beyond Object-Oriented Programming","author":"szyperski","year":"1998"},{"key":"ref22","article-title":"Enterprise JavaBeans Specification","year":"2001","journal-title":"Sun Microsystems Inc"},{"key":"ref21","article-title":"CORBA Component Model Tutorial","year":"2002","journal-title":"OMG ccm\/02–06–01"},{"key":"ref24","article-title":"Real-Time components","author":"isovi\u00e9","year":"2000","journal-title":"Component Based Software Engineering Course Mälardalen University Department of Software Engineering"},{"key":"ref23","article-title":"The Component Object Model Specification","year":"1995","journal-title":"Microsoft Corporation and Digital Equipment Corporation"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46020-9_34","article-title":"Component-based Product Line Engineering with Uml","author":"atkinson","year":"2002"},{"key":"ref25","article-title":"Catalysis: Objects, Framework and Components in UML","author":"d'souza","year":"1998"}],"event":{"name":"14th IEEE International Workshop on Rapid Systems Prototyping","location":"San Diego, CA, USA","acronym":"IWRSP-03"},"container-title":["14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8579\/27166\/01207024.pdf?arnumber=1207024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:17Z","timestamp":1497568697000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207024\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/iwrsp.2003.1207024","relation":{},"subject":[]}}