{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:17:05Z","timestamp":1749010625999,"version":"3.41.0"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319393445"},{"type":"electronic","value":"9783319393452"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39345-2_30","type":"book-chapter","created":{"date-parts":[[2016,6,3]],"date-time":"2016-06-03T01:40:26Z","timestamp":1464918026000},"page":"347-359","source":"Crossref","is-referenced-by-count":1,"title":["From Automotive to Autonomous: Time-Triggered Operating Systems"],"prefix":"10.1007","author":[{"given":"Maria","family":"Spichkova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milan","family":"Simic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,4]]},"reference":[{"unstructured":"aiT WCET Analyzer: Worst-Case Execution Time Analyzers. http:\/\/www.absint.com","key":"30_CR1"},{"unstructured":"Bauer, V.,\u00a0Broy, M.,\u00a0Irlbeck, M.,\u00a0Leuxner, C.,\u00a0Spichkova, M.,\u00a0Dahlweid, M.,\u00a0Santen, T.: Survey of modeling and engineering aspects of self-adapting and self-optimizing systems. Technical Report TUM-I130307, TU M\u00fcnchen (2013)","key":"30_CR2"},{"unstructured":"Blech, J.O.,\u00a0Spichkova, M.,\u00a0Peake, I.,\u00a0Schmidt, H.: Cyber-virtual systems: Simulation, validation and visualization. In: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014) (2014)","key":"30_CR3"},{"doi-asserted-by":"crossref","unstructured":"Blech, J.O.,\u00a0Spichkova, M.,\u00a0Peake, I.,\u00a0Schmidt, H.: Visualization, simulation and validation for cyber-virtual systems. In: Evaluation of Novel Approaches to Software Engineering, pp. 140\u2013154. Springer International Publishing (2015)","key":"30_CR4","DOI":"10.1007\/978-3-319-27218-4_10"},{"issue":"6","key":"30_CR5","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/s00165-008-0097-0","volume":"20","author":"J Botaschanjan","year":"2008","unstructured":"Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Knapp, S., Kof, L., Paul, W., Spichkova, M.: On the correctness of upper layers of automotive systems. Formal Aspects Comput. 20(6), 637\u2013662 (2008)","journal-title":"Formal Aspects Comput."},{"doi-asserted-by":"crossref","unstructured":"Botaschanjan, J.,\u00a0Gruler, A.,\u00a0Harhurin, A.,\u00a0Kof, L.,\u00a0Spichkova, M.,\u00a0Trachtenherz, D.: Towards modularized verification of distributed time-triggered systems. In: FM 2006: Formal Methods, pp. 163\u2013178. Springer (2006)","key":"30_CR6","DOI":"10.1007\/11813040_12"},{"issue":"4","key":"30_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1082983.1083199","volume":"30","author":"J Botaschanjan","year":"2005","unstructured":"Botaschanjan, J., Kof, L., K\u00fchnel, C., Spichkova, M.: Towards verified automotive software. SIGSOFT Softw. Eng. Notes 30(4), 1\u20136 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"doi-asserted-by":"crossref","unstructured":"Broy, M.,\u00a0St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)","key":"30_CR8","DOI":"10.1007\/978-1-4613-0091-5"},{"doi-asserted-by":"crossref","unstructured":"Elbanhawi, M., Simic, M.: Examining the use of B-splines in parking assist systems. Appl. Mech. Mater. 490491 (2014)","key":"30_CR9","DOI":"10.4028\/www.scientific.net\/AMM.490-491.1025"},{"doi-asserted-by":"crossref","unstructured":"Elbanhawi, M.,\u00a0Simic, M.: Sampling-based robot motion planning: a review. IEEE Access, 30(99) (2014)","key":"30_CR10","DOI":"10.1109\/ACCESS.2014.2302442"},{"doi-asserted-by":"crossref","unstructured":"Elbanhawi, M.,\u00a0Simic, M.,\u00a0Jazar, R.: Improved manoeuvring of autonomous passenger vehicles: Simulations and field results. J. Vib. Control (2015)","key":"30_CR11","DOI":"10.1177\/1077546315605666"},{"issue":"3","key":"30_CR12","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/MITS.2015.2405571","volume":"7","author":"M Elbanhawi","year":"2015","unstructured":"Elbanhawi, M., Simic, M., Jazar, R.: In the passenger seat: investigating ride comfort measures in autonomous cars. IEEE Intell. Transp. Syst. Mag. 7(3), 4\u201317 (2015)","journal-title":"IEEE Intell. Transp. Syst. Mag."},{"issue":"2","key":"30_CR13","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/TITS.2015.2477355","volume":"17","author":"M Elbanhawi","year":"2016","unstructured":"Elbanhawi, M., Simic, M., Jazar, R.: Randomized bidirectional b-spline parameterization motion planning. IEEE Trans. Intell. Transp. Syst. 17(2), 406\u2013419 (2016)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"unstructured":"Feilkas, M.,\u00a0Fleischmann, A.,\u00a0H\u00f6lzl, F.,\u00a0Pfaller, C.,\u00a0Scheidemann, K.,\u00a0Spichkova, M.,\u00a0Trachtenherz, D.: A top-down methodology for the development of automotive software. Technical Report TUM-I0902, TU M\u00fcnchen (2009)","key":"30_CR14"},{"unstructured":"Feilkas, M.,\u00a0H\u00f6lzl, F.,\u00a0Pfaller, C.,\u00a0Rittmann, S.,\u00a0Sch\u00e4tz, B.,\u00a0Schwitzer, W.,\u00a0Sitou, W.,\u00a0Spichkova, M.,\u00a0Trachtenherz, D.: A refined top-down methodology for the development of automotive software systems\u2014the KeylessEntry system case study. Technical Report TUM-I1103, TU M\u00fcnchen (2011)","key":"30_CR15"},{"doi-asserted-by":"crossref","unstructured":"Fredriksson, J.,\u00a0Nolte, T.,\u00a0Nolin, M.,\u00a0Schmidt, H.: Contract-based reusableworst-case execution time estimate. In: Embedded and Real-Time Computing Systems and Applications, pp. 39\u201346. IEEE (2007)","key":"30_CR16","DOI":"10.1109\/RTCSA.2007.32"},{"unstructured":"H\u00f6lzl, F.,\u00a0Spichkova, M.,\u00a0Trachtenherz, D.: Autofocus tool chain. Technical Report TUM-I1021, TU M\u00fcnchen (2010)","key":"30_CR17"},{"unstructured":"Kopetz, H.: A comparison of TTP\/C and FlexRay. Technical Report, TU Wien (2001)","key":"30_CR18"},{"unstructured":"K\u00fchnel, C.,\u00a0Spichkova, M.: FlexRay und FTCom: Formale Spezifikation in FOCUS. Technical Report TUM-I0601, TU M\u00fcnchen (2006)","key":"30_CR19"},{"unstructured":"K\u00fchnel, C.,\u00a0Spichkova, M.: Upcoming automotive standards for fault-tolerant communication: FlexRay and OSEKtime FTCom. In: EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems (2006)","key":"30_CR20"},{"doi-asserted-by":"crossref","unstructured":"K\u00fchnel, C.,\u00a0Spichkova, M.: Fault-tolerant communication for distributed embedded systems. In: Software Engineering of Fault Tolerance Systems, vol.\u00a019, p. 175. World Scientific Publishing (2007)","key":"30_CR21","DOI":"10.1142\/9789812778864_0007"},{"doi-asserted-by":"crossref","unstructured":"Lu, K.,\u00a0Li, Q.,\u00a0Cheng, N.: An autonomous carrier landing system design and simulation for unmanned aerial vehicle. In: Guidance, Navigation and Control Conference (CGNCC), IEEE Chinese, pp. 1352\u20131356 (2014)","key":"30_CR22","DOI":"10.1109\/CGNCC.2014.7007393"},{"unstructured":"Nolte, T.,\u00a0Hansson, H., Bello, L.L.: Wireless automotive communications. In: Proceedings of the 4th International Workshop on Real-Time Networks (RTN?05), pp. 35\u201338 (2005)","key":"30_CR23"},{"unstructured":"OSEK\/VDX: Fault-Tolerant Communication. Specification 1.0. http:\/\/portal.osek-vdx.org (2001)","key":"30_CR24"},{"unstructured":"OSEK\/VDX: Time-Triggered Operating System. Specification 1.0. http:\/\/portal.osek-vdx.org (2001)","key":"30_CR25"},{"unstructured":"Rushby, J.: Systematic formal verification for fault-tolerant time-triggered algorithms. In: Dependable Computing for Critical Applications, vol.\u00a011. IEEE (1997)","key":"30_CR26"},{"doi-asserted-by":"crossref","unstructured":"Simic, M.: Vehicle and public safety through driver assistance applications. In: Proceedings of the 2nd International Conference Sustainable Automotive Technologies (ICSAT 2010), vol. 490491, pp. 281\u2013288 (2010)","key":"30_CR27","DOI":"10.1007\/978-3-642-10798-6_34"},{"unstructured":"Spichkova, M.: FlexRay: verification of the FOCUS specification in Isabelle\/HOL. A case study. Technical Report TUM-I0602, TU M\u00fcnchen (2006)","key":"30_CR28"},{"unstructured":"Spichkova, M.: Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. Ph.D. thesis, TU M\u00fcnchen (2007)","key":"30_CR29"},{"unstructured":"Spichkova, M.: Human factors of formal methods. In: In IADIS Interfaces and Human Computer Interaction 2012. IHCI 2012 (2012)","key":"30_CR30"},{"doi-asserted-by":"crossref","unstructured":"Spichkova, M.: Design of formal languages and interfaces: \u201cformal\u201d does not mean \u201cunreadable\u201d. In:\u00a0Blashki, K.,\u00a0Isaias, P. (eds.) Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global (2014)","key":"30_CR31","DOI":"10.4018\/978-1-4666-4623-0.ch015"},{"unstructured":"Spichkova, M., Blech, J.O.,\u00a0Herrmann, P.,\u00a0Schmidt, H.: Modeling spatial aspects of safety-critical systems with FocusST. In: 11th Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2014 (2014)","key":"30_CR32"},{"unstructured":"Spichkova, M.,\u00a0Campetelli, A.: Towards system development methodologies: from software to cyber-physical domain. In: First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS\u201912) (2012)","key":"30_CR33"},{"doi-asserted-by":"crossref","unstructured":"Spichkova, M.,\u00a0H\u00f6lzl, F.,\u00a0Trachtenherz, D.: Verified system development with the AutoFocus tool chain. In: 2nd Workshop on Formal Methods in the Development of Software, pp. 17\u201324. EPTCS (2012)","key":"30_CR34","DOI":"10.4204\/EPTCS.86.3"},{"unstructured":"Spichkova, M.,\u00a0Liu, H.,\u00a0Laali, M.,\u00a0Schmidt, H.: Human factors in software reliability engineering. In: Workshop on Applications of Human Error Research to Improve Software Engineering. WAHESE\u201915 (2015)","key":"30_CR35"},{"doi-asserted-by":"crossref","unstructured":"Spichkova, M.,\u00a0Simic, M.: Towards formal modelling of autonomous systems. In: Intelligent Interactive Multimedia Systems and Services: 2015, KES-IIMSS, pp. 279\u2013288. Springer (2015)","key":"30_CR36","DOI":"10.1007\/978-3-319-19830-9_25"},{"unstructured":"Spichkova, M.,\u00a0Zhu, X.,\u00a0Mou, D.: Do we really need to write documentation for a system? In: Model-Driven Engineering and Software Development (2013)","key":"30_CR37"},{"unstructured":"Verisoft XT Project. http:\/\/www.verisoftxt.de","key":"30_CR38"}],"container-title":["Smart Innovation, Systems and Technologies","Intelligent Interactive Multimedia Systems and Services 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39345-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T20:29:38Z","timestamp":1748982578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39345-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319393445","9783319393452"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39345-2_30","relation":{},"ISSN":["2190-3018","2190-3026"],"issn-type":[{"type":"print","value":"2190-3018"},{"type":"electronic","value":"2190-3026"}],"subject":[],"published":{"date-parts":[[2016]]}}}