{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:11:22Z","timestamp":1737349882884,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540436751"},{"type":"electronic","value":"9783540478539"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47853-1_6","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:12:38Z","timestamp":1186423958000},"page":"72-85","source":"Crossref","is-referenced-by-count":0,"title":["Specification, Implementation, and Validation of Object-Oriented Embedded Systems"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Gerard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"David","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Terrier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"6_CR1","unstructured":"J.-P. Babau, A. Alkhodre, A development method for PROtotyping embedded SystEms by using UML and SDL (PROSEUS)-L3I, INSA Lyon-FRANCE SubmittedPapers\/A development method for PROtotyping embedded SystEms by using UML and SDL.doc"},{"key":"6_CR2","unstructured":"R. Hamouche, B. Miramond, B. Djafri, Model J: Component-Based Modeling for Embedded Systems-LaMI \/ Univ Evry Val d\u2019Essonne-FRANCE SubmittedPapers\/ModelJ-Component-based Modeling for Embedded Systems.doc"},{"key":"6_CR3","unstructured":"V. del Bianco, L. Lavazza, M. Mauri, A classification of real-time specifications complexity-CEFRIEL and Politecnico di Milano (DESS-ITEA project)-ITALY SubmittedPapers\/A Classification of RT specification complexity.pdf"},{"key":"6_CR4","unstructured":"V. del Bianco, L. Lavazza, M. Mauri, An application of the DESS modeling approach: The Car Speed Regulator-CEFRIEL and Politecnico di Milano (DESS-ITEA project)-ITALY SubmittedPapers\/AnApplicationOfDESS.pdf"},{"key":"6_CR5","unstructured":"G. Vidal-Naquet and H.G. Mendelbaum, Validation of Temporal-Component Based Embedded Systems-SupElec; Jerusalem College of Technology (Israel) & IUT Versailles \/ Univ Paris V-FRANCE SubmittedPapers\/Validation of Tempo ral-Component based Embedded Systems.doc"},{"key":"6_CR6","unstructured":"M.-A. PERALDI-FRATI, C. ANDRE, J.-P. RIGAULT, Modeling a Speed Regulator System with \u201cSynchronous\u201d UML: A case Study-Laboratoire d\u2019Informatique, Signaux et Syst\u00e8mes (I3S) University of Nice Sophia Antipolis, and CNRS UMR 6070, France SubmittedPapers\/Modeling a Speed Regulator System with Synchronous UML.doc"},{"key":"6_CR7","unstructured":"O. Aldawoud, A. Bader, Aspect-Oriented Modeling to Automate the Implementation and Validation of Concurrent Software Systems-Lucent Technologies and Dr. Elrad Tzila-IIT Concurrent Systems Group SubmittedPapers\/AOMtoAutomateImplementationAndValidationOfCOnurrent SoftwareSystems.doc"},{"key":"6_CR8","unstructured":"Y Barbaix, S. Van Baelen and K. De Vlaminck, Handling Time Constraints with Virtual Timers-Dept. of Computer Science, K.U.Leuven, Belgium SubmittedPapers\/Handling TimingConstraints With Virtual Timers.pdf"},{"key":"6_CR9","unstructured":"D. Urting, S. Van Baelen and Y Berbers, Embedded Software using Components and Contracts-Dept. Of Computer Science, K.U. Leuven, Belgium SubmittedPapers\/Embedded Software using Components and Contracts.doc"},{"key":"6_CR10","unstructured":"I. Oliver, An Example of Validation of Embedded System Models Described in UML using Rate Monotonic Analysis-Nokia Research Center It\u00e4merenkatu 11-13 Helsinki, Finland SubmittedPapers\/AnExampleOfValidationOfEmbeddedSystemModelsDescribedIn UMLLusingRMA.ps"},{"key":"6_CR11","unstructured":"T. Amnell, A. David, E. Fersman, P. Pettersson, W. Yi and M. O. M\u00f6ller, Tools for Real-Time UML: Formal Verification and Code Synthesis-Dpt of Information Technology from Uppsala Univ. and Dpt of Computer Science-Aarhus Univ...\/ReceiptPaper\/ToolsForRTUML-FormalVerificationAndCodeSynthesis.pdf"},{"key":"6_CR12","unstructured":"U. Brockmeyer, B. Josko, I. Schinz, J. Klse and B. Westphal, Towards Formal Verification Of Rhapsody UML Designs-OSC, OFFIS, Uni. Oldenburg. SubmittedPapers\/TowardsFormalVerificationOfRhaspodyUML_Design.pdf"},{"key":"6_CR13","unstructured":"A. Alhodre, J-P Babau, J. Schwarz, \u201cModeling of real-time embedded systems by using SDL\u201d internal search rapport, L3i laboratory, INSA Lyon, April 2001."},{"key":"6_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"R. Alur and T.A. Henzinger. \u201cLogics and models of real time: a survey\u201d, J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, LNCS vol. 600, pages 74\u2013106. Springer-Verlag, 1992"},{"key":"6_CR15","unstructured":"C. Andr\u00e9. \u201cRepresentation and Analysis of Reactive Behaviors: A Synchronous Approach\u201d IEEE-SMC Computational Engineering in Systems Applications (CESA), Lille (F), July 1996, pp 19\u201329."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"C. Andr\u00e9, M.A. Peraldi-Frati, J.P. Rigault \u201cScenario and properties checking of real-time systems using synchronous approach\u201d IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2001, Magdeburg, Germany, May, 2\u20134, 2001, pp 438\u2013444.","DOI":"10.1109\/ISORC.2001.922869"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"J.-P. Babau, J. L. Sourrouille \u201cExpressing Real-time Constraints in aReflective Object Model\u201d Control Engineering Practice Vol 6, pp 421\u2013430.","DOI":"10.1016\/S0967-0661(98)00029-X"},{"key":"6_CR18","unstructured":"B.P. Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns. Addison Wesley, 1999."},{"key":"6_CR19","unstructured":"S. G\u00e9rard, \u201cMod\u00e9lisation UML ex\u00e9cutable pour les syst\u00e8mes de l\u2019automobile\u201d, PhD. Report, University of Evry-Val-d\u2019Essonne, October 2000."},{"key":"6_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"Proceedings of ECOOP\u2019 97","author":"G. Kiczales","year":"1997","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin, Aspect-Oriented Programming. In Proceedings of ECOOP\u2019 97. LNCS 1241. Springer-Verlag, pp. 220\u2013242."},{"key":"6_CR21","unstructured":"A. Lanusse, S. G\u00e9rard, and F. Terrier, \u201cReal-Time Modeling with UML: The ACCORD Approach\u201d, UML\u201d98, Mulhouse, France."},{"key":"6_CR22","unstructured":"P. Lanch\u00e8s et al.: Client\/Server Architecture-Managing New Technologies for Automotive Embedded Systems-A Joint Project of Daimler-Benz & IBM; In Proc. of the 1998 International Congress on Transportation Electronics, No 98C015, pp. 111\u2013120, Warrendale, USA. Society of Automotive Engineers, 1998."},{"key":"6_CR23","unstructured":"L. Lavazza, \u201cAn introduction to the DESS approach to the specification of real-time software\u201d, CEFRIEL report, April 2001."},{"key":"6_CR24","unstructured":"H.G. Mendelbaum, Introduction to a CAD object-oriented method for the development of real-time embedded system. 1st Israeli-IEEE conf. On software engineering, Herzlya (1986)"},{"key":"6_CR25","unstructured":"B. Selic et al., \u201cReal-time Object-Oriented Modeling\u201d, John Wiley & Sons, Inc., ISBN: 0471599174, Feb. 1994."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"B. Selic, J. Rumbaugh \u201cUsing UML for Modeling Complex Real-Time Systems\u201d, Mars 1998 http:\/\/www.objectime.com\/otl\/technical\/umlrt.html","DOI":"10.1007\/BFb0057795"},{"key":"6_CR27","unstructured":"F Terrier and al., \u201cA Real-Time Object Model\u201d, TOOLS EUROPE\u2019 96, Paris, France, pp. 127\u2013141, 1996."},{"key":"6_CR28","unstructured":"OMG UML v.1.3 specification, available as http:\/\/www.omg.org\/cgi-bin\/doc?ad\/99-0 6-08.pdf"},{"key":"6_CR29","unstructured":"UML\u2122Profile for Action Semantics for the UML\u201d, Object Management Group document ad\/98-11-01. See answers at: http:\/\/www.kc.com\/as_site\/"},{"key":"6_CR30","unstructured":"UML\u2122Profile for Scheduling, Performance, and Time-ad\/2001-06-14."},{"key":"6_CR31","unstructured":"J. Rumbaugh and B. Selic, \u201cUsing UML for Modeling Complex Real-Time Systems\u201d, \u201cWhite paper\u201d available at http:\/\/www.objectime.com\/otl\/technical\/umlrt.pdf"},{"key":"6_CR32","unstructured":"B. Djafri, R. Hamouche, J. Benzakki: \u201cObject Oriented Modeling for System Design\u201d, Proc. of Information Systems Analysis and Synthesis (ISAS\u201999), pp. 307\u2013313, Orlando, Fl, July 1999."},{"key":"6_CR33","unstructured":"R. Hamouche, B. Miramond, B. Djafri, J. Benzakki, \u201cModelJ: An Embedded Design Methodology \u201d, Research Report RR 60-2001, University of Evry, March 2001."},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"C. Szyperski. \u201cComponent Software: Beyond Object-Oriented Programming\u201d, Addison-Wesley, 1999.","DOI":"10.1007\/3-540-46589-8_10"},{"key":"6_CR35","unstructured":"SEESCOA, \u201cWorking Definition of Components\u201d, Deliverable D 1.4, March 2000"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47853-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:41:56Z","timestamp":1737348116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47853-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540436751","9783540478539"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-47853-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}