{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T05:16:05Z","timestamp":1767849365642,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,4]],"date-time":"2017-10-04T00:00:00Z","timestamp":1507075200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,4]]},"DOI":"10.1145\/3139258.3139279","type":"proceedings-article","created":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T13:20:39Z","timestamp":1510147239000},"page":"98-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Temporal properties in automotive control software"],"prefix":"10.1145","author":[{"given":"Tobias","family":"Sehnke","sequence":"first","affiliation":[{"name":"IAV GmbH, Gifhorn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieter","family":"Schwarzmann","sequence":"additional","affiliation":[{"name":"IAV GmbH, Gifhorn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Schultalbers","sequence":"additional","affiliation":[{"name":"IAV GmbH, Gifhorn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AUTOSAR. 2014. Specification of Timing Extensions V2.1.1 (R4.1).  AUTOSAR. 2014. Specification of Timing Extensions V2.1.1 (R4.1)."},{"key":"e_1_3_2_1_2_1","volume-title":"International Symposium on Formal Methods for Components and Objects. Springer, 200--225","author":"Benveniste Albert","year":"2007","unstructured":"Albert Benveniste , Beno\u00eet Caillaud , Alberto Ferrari , Leonardo Mangeruca , Roberto Passerone , and Christos Sofronis . 2007 . Multiple viewpoint contract-based specification and design . In International Symposium on Formal Methods for Components and Objects. Springer, 200--225 . Albert Benveniste, Beno\u00eet Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, and Christos Sofronis. 2007. Multiple viewpoint contract-based specification and design. In International Symposium on Formal Methods for Components and Objects. Springer, 200--225."},{"key":"e_1_3_2_1_5_1","volume-title":"Martin T\u00f6rngren, and others.","author":"Cuenot Philippe","year":"2010","unstructured":"Philippe Cuenot , Patrick Frey , Rolf Johansson , Henrik L\u00f6nn , Yiannis Papadopoulos , Mark-Oliver Reiser , Anders Sandberg , David Servat , Ramin Tavakoli Kolagari , Martin T\u00f6rngren, and others. 2010 . 11 the east-adl architecture description language for automotive embedded software. In Model-based engineering of embedded real-time systems. Springer , 297--307. Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik L\u00f6nn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin T\u00f6rngren, and others. 2010. 11 the east-adl architecture description language for automotive embedded software. In Model-based engineering of embedded real-time systems. Springer, 297--307."},{"key":"e_1_3_2_1_7_1","volume-title":"3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems","author":"Diemer Jonas","year":"2012","unstructured":"Jonas Diemer , Philip Axer , and Rolf Ernst . 2012 . Compositional Performance Analysis in Python with pyCPA . 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (2012). Jonas Diemer, Philip Axer, and Rolf Ernst. 2012. Compositional Performance Analysis in Python with pyCPA. 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (2012)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.29"},{"key":"e_1_3_2_1_9_1","volume-title":"Workshop on Compositional Theory and Technology for Real-Time Embedded Systems.","author":"Feiertag Nico","year":"2008","unstructured":"Nico Feiertag , Kai Richter , Johan Nordlander , and Jan Jonsson . 2008 . A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics . In Workshop on Compositional Theory and Technology for Real-Time Embedded Systems. Nico Feiertag, Kai Richter, Johan Nordlander, and Jan Jonsson. 2008. A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In Workshop on Compositional Theory and Technology for Real-Time Embedded Systems."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2035462"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 7th Python in Science Conference (SciPy2008)","author":"Hagberg Aric A.","unstructured":"Aric A. Hagberg , Daniel A. Schult , and Pieter J. Swart . 2008. Exploring network structure, dynamics, and function using NetworkX . In Proceedings of the 7th Python in Science Conference (SciPy2008) . Pasadena, CA USA, 11--15. Aric A. Hagberg, Daniel A. Schult, and Pieter J. Swart. 2008. Exploring network structure, dynamics, and function using NetworkX. In Proceedings of the 7th Python in Science Conference (SciPy2008). Pasadena, CA USA, 11--15."},{"key":"e_1_3_2_1_12_1","volume-title":"IEE Proceedings -","author":"Henia R.","year":"2005","unstructured":"R. Henia , A. Hamann , M. Jersak , R. Racu , K. Richter , and R. Ernst . 2005. System level performance analysis - the SymTA\/S approach. Computers and Digital Techniques , IEE Proceedings - ( 2005 ), 148--166. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. 2005. System level performance analysis - the SymTA\/S approach. Computers and Digital Techniques, IEE Proceedings - (2005), 148--166."},{"key":"e_1_3_2_1_13_1","unstructured":"The Mathworks Inc. 2017. MATLAB and SIMULINK. (2017). http:\/\/mathworks.com\/products\/simulink\/ Natick United States.  The Mathworks Inc. 2017. MATLAB and SIMULINK. (2017). http:\/\/mathworks.com\/products\/simulink\/ Natick United States."},{"key":"e_1_3_2_1_14_1","first-page":"6","article-title":"Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques","volume":"36","author":"Kapinski J.","year":"2016","unstructured":"J. Kapinski , J. V. Deshmukh , X. Jin , H. Ito , and K. Butts . 2016 . Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques . IEEE Control Systems 36 , 6 (Dec 2016), 45--64. J. Kapinski, J. V. Deshmukh, X. Jin, H. Ito, and K. Butts. 2016. Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques. IEEE Control Systems 36, 6 (Dec 2016), 45--64.","journal-title":"IEEE Control Systems"},{"key":"e_1_3_2_1_15_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Klobedanz Kay","year":"2010","unstructured":"Kay Klobedanz , Christoph Kuznik , Andreas Thuy , and Wolfgang Mueller . 2010 . Timing modeling and analysis for AUTOSAR-based software development-a case study. In Design , Automation & Test in Europe Conference & Exhibition (DATE) , 2010. IEEE, 642--645. Kay Klobedanz, Christoph Kuznik, Andreas Thuy, and Wolfgang Mueller. 2010. Timing modeling and analysis for AUTOSAR-based software development-a case study. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010. IEEE, 642--645."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4271\/2015-01-0168"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_18_1","volume-title":"Nonuniform sampling: theory and practice","author":"Marvasti Farokh","unstructured":"Farokh Marvasti . 2012. Nonuniform sampling: theory and practice . Springer Science & Business Media . Farokh Marvasti. 2012. Nonuniform sampling: theory and practice. Springer Science & Business Media."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Ljiljana Milic. 2009. Multirate Filtering for Digital Signal Processing: MATLAB Applications: MATLAB Applications. IGI Global.   Ljiljana Milic. 2009. Multirate Filtering for Digital Signal Processing: MATLAB Applications: MATLAB Applications. IGI Global.","DOI":"10.4018\/978-1-60566-178-0"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2015.24"},{"key":"e_1_3_2_1_21_1","volume-title":"ERTS2012 International Congres on Embedded Real Time Software and Systems.","author":"Peraldi-Frati Marie-Agn\u00e8s","year":"2012","unstructured":"Marie-Agn\u00e8s Peraldi-Frati , Daniel Karlsson , Arne Hamann , Stefan Kuntz , and Johan Nordlander . 2012 . The TIMMO-2-USE project: Time modeling and analysis to use . In ERTS2012 International Congres on Embedded Real Time Software and Systems. Marie-Agn\u00e8s Peraldi-Frati, Daniel Karlsson, Arne Hamann, Stefan Kuntz, and Johan Nordlander. 2012. The TIMMO-2-USE project: Time modeling and analysis to use. In ERTS2012 International Congres on Embedded Real Time Software and Systems."},{"key":"e_1_3_2_1_22_1","volume-title":"Contracts for Schedulability Analysis. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 270--287","author":"Reinkemeier Philipp","year":"2015","unstructured":"Philipp Reinkemeier , Albert Benveniste , Werner Damm , and Ingo Stierand . 2015 . Contracts for Schedulability Analysis. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 270--287 . Philipp Reinkemeier, Albert Benveniste, Werner Damm, and Ingo Stierand. 2015. Contracts for Schedulability Analysis. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 270--287."},{"key":"e_1_3_2_1_23_1","volume-title":"Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European journal of control 18, 3","author":"Sangiovanni-Vincentelli Alberto","year":"2012","unstructured":"Alberto Sangiovanni-Vincentelli , Werner Damm , and Roberto Passerone . 2012. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European journal of control 18, 3 ( 2012 ), 217--238. Alberto Sangiovanni-Vincentelli, Werner Damm, and Roberto Passerone. 2012. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European journal of control 18, 3 (2012), 217--238."},{"key":"e_1_3_2_1_24_1","volume-title":"How timing interfaces in autosar can improve distributed development of real-time software. GI Jahrestagung (2)","author":"Scheickl Oliver","year":"2008","unstructured":"Oliver Scheickl , Michael Rudorfer , Christoph Ainhauser , Nico Feiertag , Kai Richter , and others. 2008. How timing interfaces in autosar can improve distributed development of real-time software. GI Jahrestagung (2) ( 2008 ), 662--667. Oliver Scheickl, Michael Rudorfer, Christoph Ainhauser, Nico Feiertag, Kai Richter, and others. 2008. How timing interfaces in autosar can improve distributed development of real-time software. GI Jahrestagung (2) (2008), 662--667."},{"key":"e_1_3_2_1_25_1","volume-title":"Automation Test in Europe Conference (DATE).","author":"Sehnke Tobias","year":"2017","unstructured":"Tobias Sehnke , Matthias Schultalbers , and Rolf Ernst . 2017 . Contract-Based Integration of Automotive Control Software. In 2017 Design , Automation Test in Europe Conference (DATE). Tobias Sehnke, Matthias Schultalbers, and Rolf Ernst. 2017. Contract-Based Integration of Automotive Control Software. In 2017 Design, Automation Test in Europe Conference (DATE)."},{"key":"e_1_3_2_1_26_1","volume-title":"ISCAS 2000 Geneva","volume":"4","author":"Thiele Lothar","year":"2000","unstructured":"Lothar Thiele , Samarjit Chakraborty , and Martin Naedele . 2000 . Realtime calculus for scheduling hard real-time systems . In ISCAS 2000 Geneva , Vol. 4 . IEEE, 101--104. Lothar Thiele, Samarjit Chakraborty, and Martin Naedele. 2000. Realtime calculus for scheduling hard real-time systems. In ISCAS 2000 Geneva, Vol. 4. IEEE, 101--104."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2013.6636728"},{"key":"e_1_3_2_1_28_1","volume-title":"IDAACS'2015","author":"Wolff C.","unstructured":"C. Wolff , L. Krawczyk , R. Hottger , C. Brink , U. Lauschner , D. Fruhner , E. Kamsties , and B. Igel . 2015. AMALTHEA Tailoring tools to projects in automotive software development . In IDAACS'2015 . 515--520. C. Wolff, L. Krawczyk, R. Hottger, C. Brink, U. Lauschner, D. Fruhner, E. Kamsties, and B. Igel. 2015. AMALTHEA Tailoring tools to projects in automotive software development. In IDAACS'2015. 515--520."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2219540"}],"event":{"name":"RTNS '17: 25th International Conference on Real-Time Networks and Systems","location":"Grenoble France","acronym":"RTNS '17"},"container-title":["Proceedings of the 25th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139258.3139279","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3139258.3139279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:17Z","timestamp":1750212677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139258.3139279"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,4]]},"references-count":26,"alternative-id":["10.1145\/3139258.3139279","10.1145\/3139258"],"URL":"https:\/\/doi.org\/10.1145\/3139258.3139279","relation":{},"subject":[],"published":{"date-parts":[[2017,10,4]]},"assertion":[{"value":"2017-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}