{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:44:36Z","timestamp":1759938276932},"publisher-location":"Boston","reference-count":19,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402075286"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-306-48709-8_2","type":"book-chapter","created":{"date-parts":[[2005,12,30]],"date-time":"2005-12-30T11:21:38Z","timestamp":1135941698000},"page":"11-24","source":"Crossref","is-referenced-by-count":2,"title":["Formal Methods for Integration of Automotive Software"],"prefix":"10.1007","author":[{"given":"Marek","family":"Jersak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Richter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Razvan","family":"Racu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Staschulat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rn-Christian","family":"Braam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabian","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"G. Buttazzo. Real-Time Computing Systems-Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, 2002."},{"key":"2_CR2","unstructured":"ETAS. ERCOSEK Automotive Real-Time Operating System. http:\/\/www.etas.info\/html\/products\/ec\/ercosek\/en_products_ec_ercosek_index.php ."},{"key":"2_CR3","unstructured":"ETAS. ESCAPE Reference Guide. http:\/\/www.etas.info\/download\/ec_ercosek_rg_escape_en.pdf ."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"C. Ferdinand and R. Wilhelm. \u201cEfficient and Precise Cache Behavior Prediction for Real-Time Systems.\u201d Journal of Real-Time Systems, Special Issue on Timing Analysis and Validation for Real-Time Systems, pp. 131\u2013181, November 1999.","DOI":"10.1023\/A:1008186323068"},{"key":"2_CR5","unstructured":"M. Hill. DINERO III Cache Simulator: Source Code, Libraries and Documentation. www.ece.cmu.edu\/ece548\/tools\/dinero\/src\/, 1998."},{"key":"2_CR6","unstructured":"ISO. \u201cTR 15504 Information Technology-Software Process Assessment\u2019 spice\u2019.\u201d Technical Report, ISO IEC, 1998."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"M. Jersak, K. Richter, R. Henia, R. Ernst, and F. Slomka. \u201cTransformation of SDL Specifications for System-level Timing Analysis.\u201d In Tenth International Symposium on Hardware\/Software Codesign (CODES\u201902), Estes Park, Colorado, USA, May 2002.","DOI":"10.1145\/774789.774815"},{"key":"2_CR8","unstructured":"J. Lemieux. Programming in the OSEK\/VDX Environment. CMP Books, 2001."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Y. S. Li and S. Malik. Performance Analysis of Real-Time Embedded Software. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-1-4615-5131-7"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"C. L. Liu and J. W. Layland. \u201cScheduling Algorithm for Multiprogramming in a Hard-Real-Time Environment.\u201d Journal of the ACM, Vol. 20, 1973.","DOI":"10.1145\/321738.321743"},{"key":"2_CR11","unstructured":"LiveDevices Inc. Realogy Real-Time Architect Overview. http:\/\/www.livedevices.com\/realtime.shtml ."},{"key":"2_CR12","unstructured":"OSEK\/VXD. OIL: OSEK Implementation Language, version 2.3 edition, September 2001."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"T. Pop, P. Eles, and Z. Peng. \u201cHolistic Scheduling and Analysis of Mixed Time\/Event-Triggered Distributed Embedded Systems.\u201d In Tenth International Symposium on Hardware\/Software Codesign (CODES\u201902), Estes Park, Colorado, USA, May 2002.","DOI":"10.1145\/774789.774828"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"K. Richter and R. Ernst. \u201cEvent Model Interfaces for Heterogeneous System Analysis.\u201d In Proceedings of Design, Automation and Test in Europe Conference (DATE\u201902), Paris, France, March 2002.","DOI":"10.1109\/DATE.2002.998348"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"K. Richter, D. Ziegenbein, M. Jersak, and R. Ernst. \u201cModel Composition for Scheduling Analysis in Platform Design.\u201d In Proceedings of 39th Design Automation Conference, New Orleans, USA, June 2002.","DOI":"10.1145\/513918.513993"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"L. Sha, R. Rajkumar, and J. P. Lehoczky. \u201cPriority Inheritance Protocols: An Approach to Real-Time Synchronization.\u201d IEEE Transactions on Computers, Vol. 39, No. 9, September 1990.","DOI":"10.1109\/12.57058"},{"key":"2_CR17","unstructured":"K. Tindell, H. Kopetz, F. Wolf, and R. Ernst. \u201cSafe automotive Software Development.\u201d In Proceedings of Design, Automation and Test in Europe (DATE\u201903), Munich, Germany, March 2003."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"F. Wolf. Behavioral Intervals in Embedded Software. Kluwer Academic Publishers, 2002.","DOI":"10.1007\/978-1-4757-3649-6"},{"key":"2_CR19","unstructured":"F. Wolf, J. Kruse, and R. Ernst. \u201cSegment-Wise Timing and Power Measurement in Software Emulation.\u201d In Proceedings of IEEE\/ACM Design, Automation and Test in Europe Conference (DATE\u201901), Designers\u2019 Forum, Munich, Germany, March 2001."}],"container-title":["Embedded Software for SoC"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-306-48709-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:06Z","timestamp":1605642726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-306-48709-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402075286"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/0-306-48709-8_2","relation":{},"subject":[]}}