{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T05:28:57Z","timestamp":1738992537271,"version":"3.37.0"},"publisher-location":"Dordrecht","reference-count":21,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402098222"},{"type":"electronic","value":"9781402098239"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-9823-9_11","type":"book-chapter","created":{"date-parts":[[2009,2,17]],"date-time":"2009-02-17T10:58:58Z","timestamp":1234868338000},"page":"145-158","source":"Crossref","is-referenced-by-count":0,"title":["Platform Modeling in Safety-Critical Embedded Systems"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Huber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Obermaisser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"C.J. Murray. Auto group seeks universal software. EE Times, 2003."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"B. Selic. Model-driven development: its essence and opportunities. In Proc. of the 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, page 7, April 2006.","DOI":"10.1109\/ISORC.2006.54"},{"issue":"83","key":"11_CR3","first-page":"95","volume":"3","author":"R. Obermaisser","year":"2006","unstructured":"R. Obermaisser, P. Peti, B. Huber, and C. El Salloum. DECOS: An integrated timetriggered architecture. E&I Journal, 3:83. 95, March 2006.","journal-title":"E&I Journal"},{"key":"11_CR4","unstructured":"OMG. A UML Profile for MARTE, Beta 1. OMG adopted specification. 2007."},{"key":"11_CR5","unstructured":"OMG. Model Driven Architecture (MDA). Technical Report document number ormsc\/2001-07-01, Object Management Group, July 2001."},{"key":"11_CR6","volume-title":"MARTE: A new OMG standard for Modeling and Analysis of Real-Time Embedded Systems","author":"L. Rioux","year":"2007","unstructured":"L. Rioux. MARTE: A new OMG standard for Modeling and Analysis of Real-Time Embedded Systems. Thales Research & Technology, France. September 2007."},{"key":"11_CR7","unstructured":"OMG. Systems Modeling Language (OMG SysML), V1.0 Specification., 2007."},{"key":"11_CR8","unstructured":"SAE. Architecture Analysis & Design Language (AADL). AS5506., 2004."},{"key":"11_CR9","unstructured":"DECOS. Dependable Embedded Components and Systems. Project deliverable D1.1.1. Report about decision on meta-model and tools for PIM specification. December 2004."},{"key":"11_CR10","unstructured":"R. Obermaisser and B. Huber. Model-based design of the communication system in an integrated architecture. In Proc. of the 18th Intern. Conference on Parallel and Distributed Computing and Systems (PDCS 2006), pages 96\u2013107, November 2006."},{"key":"11_CR11","unstructured":"Esterel Technologies. SCADE Suite Technical and User Manuals, Version 5.0.1, 2005."},{"key":"11_CR12","unstructured":"B. Huber, R. Obermaisser, and P. Peti. MDA-Based Development in the DECOS Integrated Architecture \u2013 Modeling the Hardware Platform. Proc.of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC\u201906), April 2006."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"W. Herzner, B. Huber, A. Balogh, and P. Csertan. The DECOS Tool-Chain: Model- Based Development of Distributed Embedded Safety-Critical Real-time Systems. DECOS\/ERCIM Workshop on Dependable Embedded Systems, September 2006.","DOI":"10.4271\/2007-01-3827"},{"key":"11_CR14","unstructured":"DECOS. Dependable Embedded Components and Systems. Project deliverable D2.2.3. Virtual communication links and gateways \u2013 Implementation of design tools and middleware services. December 2005."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"M. Sundaram and S.S.Y. Shim. Infrastructure for B2B exchanges with RosettaNet. In Third Int. Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems, WECWIS 2001, pages 110.119, 2001.","DOI":"10.1109\/WECWIS.2001.933912"},{"key":"11_CR16","unstructured":"A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garret, C. Thomason, G. Nordstrom, J. Sprinkle, and P. Volgyesi. The generic modeling environment. In Proc. of Workshop on Intelligent Signal Processing, May 2001."},{"key":"11_CR17","unstructured":"OMG. UML 2.0 OCL specification, OMG final adopted specification. Technical Report OMG Document No. ptc\/03-10-14, Object Management Group, 2003."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"B. Huber, P. Peti, R. Obermaisser, and C. El Salloum. Using RTAI\/LXRT for partitioning in a prototype implementation of the DECOS architecture. In Proc. of the Third Int. Workshop on Intelligent Solutions in Embedded Systems, May 2005.","DOI":"10.1109\/WISES.2005.1438707"},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/2.248873","volume":"27","author":"H. Kopetz","year":"1994","unstructured":"H. Kopetz and G. Gr\u00fcnsteidl. TTP \u2013 A protocol for fault-tolerant real-time systems. Computer, 27(1):14.23, January 1994.","journal-title":"Computer"},{"key":"11_CR20","unstructured":"Robert Bosch Gmbh, Stuttgart, Germany. CAN Specification, Version 2.0, 1991."},{"key":"11_CR21","unstructured":"LIN Consortium. LIN Specification Package Revision 2.0, September 2003."}],"container-title":["Lecture Notes in Electrical Engineering","Intelligent Technical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-9823-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T19:24:27Z","timestamp":1738956267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-9823-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402098222","9781402098239"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-9823-9_11","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[]}}