@(Autosar43/IPDUM, author = {{AUTomotive Open System ARchitecture}}, year = {2017}, title = {Specification of I-PDU Multiplexer}, url = {https://www.autosar.org/fileadmin/user_upload/standards/classic/4-3/AUTOSAR_SWS_IPDUMultiplexer.pdf}, ) @(Autosar43/RTE, author = {{AUTomotive Open System ARchitecture}}, year = {2017}, title = {Specification of RTE Software}, url = {https://www.autosar.org/fileadmin/user_upload/standards/classic/4-3/AUTOSAR_SWS_RTE.pdf}, ) @inproceedings(DBLP:conf/rtcsa/BeckerDMBN16, author = {Matthias Becker and Dakshina Dasari and Saad Mubeen and Moris Behnam and Thomas Nolte}, year = {2016}, title = {Synthesizing Job-Level Dependencies for Automotive Multi-rate Effect Chains}, booktitle = {22nd {IEEE} International Conference on Embedded and Real-Time Computing Systems and Applications, {RTCSA} 2016, Daegu, South Korea, August 17-19, 2016}, publisher = {{IEEE} Computer Society}, pages = {159--169}, doi = {10.1109/RTCSA.2016.41}, ) @article(DBLP:journals/jsa/BeckerDMBN17, author = {Matthias Becker and Dakshina Dasari and Saad Mubeen and Moris Behnam and Thomas Nolte}, year = {2017}, title = {End-to-end timing analysis of cause-effect chains in automotive embedded systems}, journal = {J. Syst. Archit.}, volume = {80}, pages = {104--113}, doi = {10.1016/j.sysarc.2017.09.004}, ) @inproceedings(DBLP:conf/nfm/BoniolLPE13, author = {Fr{\'{e}}d{\'{e}}ric Boniol and Micha{\"{e}}l Lauer and Claire Pagetti and J{\'{e}}r{\^{o}}me Ermont}, year = {2013}, title = {Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems}, editor = {Guillaume Brat and Neha Rungta and Arnaud Venet}, booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7871}, publisher = {Springer}, pages = {93--107}, doi = {10.1007/978-3-642-38088-4\_7}, ) @book(DBLP:books/sp/BoudecT01, author = {Jean{-}Yves Le Boudec and Patrick Thiran}, year = {2001}, title = {Network Calculus: {A} Theory of Deterministic Queuing Systems for the Internet}, series = {Lecture Notes in Computer Science}, volume = {2050}, publisher = {Springer}, doi = {10.1007/3-540-45318-0}, ) @article(DBLP:journals/tit/Cruz91, author = {Rene L. Cruz}, year = {1991}, title = {A calculus for network delay, Part {I:} Network elements in isolation}, journal = {{IEEE} Trans. Information Theory}, volume = {37}, number = {1}, pages = {114--131}, doi = {10.1109/18.61109}, ) @article(DBLP:journals/rts/DavisBBL07, author = {Robert I. Davis and Alan Burns and Reinder J. Bril and Johan J. Lukkien}, year = {2007}, title = {Controller Area Network {(CAN)} schedulability analysis: Refuted, revisited and revised}, journal = {Real-Time Systems}, volume = {35}, number = {3}, pages = {239--272}, doi = {10.1007/s11241-007-9012-7}, ) @inproceedings(DBLP:conf/cpaior/EhlersS16, author = {Thorsten Ehlers and Peter J. Stuckey}, year = {2016}, title = {Parallelizing Constraint Programming with Learning}, editor = {Claude{-}Guy Quimper}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9676}, publisher = {Springer}, pages = {142--158}, doi = {10.1007/978-3-319-33954-2\_11}, ) @inproceedings(DBLP:conf/iecon/ErnstAG18, author = {Rolf Ernst and Leonie Ahrendts and Kai Bj{\"o}rn Gemlau}, year = {2018}, title = {System Level {LET:} Mastering Cause-Effect Chains in Distributed Systems}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, publisher = {{IEEE}}, pages = {4084--4089}, doi = {10.1109/IECON.2018.8591550}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8560606}, ) @inproceedings(Feiertag2008, author = {Nico Feiertag and Kai Richter and Johan Nordlander and Jan Jonsson}, year = {2008}, title = {A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics}, booktitle = {Proceedings of the IEEE Real-Time System Symposium - Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Barcelona, Spain, November 30, 2008}, url = {http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-30306}, ) @inproceedings(DBLP:conf/sies/FrieseEN18, author = {Max J. Friese and Thorsten Ehlers and Dirk Nowotka}, year = {2018}, title = {Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs}, booktitle = {13th {IEEE} International Symposium on Industrial Embedded Systems, {SIES} 2018, Graz, Austria, June 6-8, 2018}, publisher = {{IEEE}}, pages = {1--10}, doi = {10.1109/SIES.2018.8442095}, ) @inproceedings(gemlau2017compositional, author = {Kai-Bj{\"o}rn Gemlau and Johannes Schlatow and Mischa M{\"o}stl and Rolf Ernst}, year = {2017}, title = {Compositional Analysis for the WATERS Industrial Challenge 2017}, booktitle = {International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)}, address = {Dubrovnik, Croatia}, ) @article(DBLP:journals/tcad/GiraultPQHS18, author = {Alain Girault and Christophe Pr{\'{e}}vot and Sophie Quinton and Rafik Henia and Nicolas Sordon}, year = {2018}, title = {Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains}, journal = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems}, volume = {37}, number = {11}, pages = {2578--2589}, doi = {10.1109/TCAD.2018.2861016}, ) @inproceedings(DBLP:conf/ecrts/HamannD0PW17, author = {Arne Hamann and Dakshina Dasari and Simon Kramer and Michael Pressler and Falk Wurst}, year = {2017}, title = {Communication Centric Design in Complex Automotive Embedded Systems}, editor = {Marko Bertogna}, booktitle = {29th Euromicro Conference on Real-Time Systems, {ECRTS} 2017, June 27-30, 2017, Dubrovnik, Croatia}, series = {LIPIcs}, volume = {76}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, pages = {10:1--10:20}, doi = {10.4230/LIPIcs.ECRTS.2017.10}, ) @inproceedings(DBLP:conf/emsoft/HenzingerHK01, author = {Thomas A. Henzinger and Benjamin Horowitz and Christoph M. Kirsch}, year = {2001}, title = {Giotto: {A} Time-Triggered Language for Embedded Programming}, editor = {Thomas A. Henzinger and Christoph M. Kirsch}, booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2211}, publisher = {Springer}, pages = {166--184}, doi = {10.1007/3-540-45449-7\_12}, ) @inproceedings(Jiang2019, author = {Shugang Jiang}, year = {2019}, title = {Vehicle E/E Architecture and Its Adaptation to New Technical Trends}, booktitle = {WCX SAE World Congress Experience}, publisher = {SAE International}, doi = {10.4271/2019-01-0862}, ) @inproceedings(DBLP:conf/date/KohlerNEB19, author = {Leonie K{\"{o}}hler and Borislav Nikolic and Rolf Ernst and Marc Boyer}, year = {2019}, title = {Increasing Accuracy of Timing Models: From {CPA} to {CPA+}}, editor = {J{\"{u}}rgen Teich and Franco Fummi}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2019, Florence, Italy, March 25-29, 2019}, publisher = {{IEEE}}, pages = {1210--1215}, doi = {10.23919/DATE.2019.8714770}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8704855}, ) @inproceedings(DBLP:conf/iecon/LangeBVO16, author = {Rodrigo Lange and Alexsandro C. Bonatto and Francisco Vasques and R{\^{o}}mulo Silva de Oliveira}, year = {2016}, title = {Timing Analysis of hybrid FlexRay, {CAN-FD} and {CAN} vehicular networks}, booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics Society, Florence, Italy, October 23-26, 2016}, publisher = {{IEEE}}, pages = {4725--4730}, doi = {10.1109/IECON.2016.7793791}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7782522}, ) @article(DBLP:journals/csi/LangeOV16, author = {Rodrigo Lange and R{\^{o}}mulo Silva de Oliveira and Francisco Vasques}, year = {2016}, title = {A reference model for the timing analysis of heterogeneous automotive networks}, journal = {Computer Standards {\&} Interfaces}, volume = {45}, pages = {13--25}, doi = {10.1016/j.csi.2015.10.004}, ) @article(DBLP:journals/ijccbs/LauerBPE14, author = {Micha{\"{e}}l Lauer and Fr{\'{e}}d{\'{e}}ric Boniol and Claire Pagetti and J{\'{e}}r{\^{o}}me Ermont}, year = {2014}, title = {End-to-end latency and temporal consistency analysis in networked real-time systems}, journal = {{IJCCBS}}, volume = {5}, number = {3/4}, pages = {172--196}, doi = {10.1504/IJCCBS.2014.064667}, ) @article(EALee06, author = {Edward A. Lee}, year = {2006}, title = {Cyber-Physical Systems - Are Computing Foundations Adequate?}, journal = {Proc. Workshop CyberPhysical Syst. Res. Motiv. Tech. Roadmap}, url = {http://ptolemy.eecs.berkeley.edu/publications/papers/06/CPSPositionPaper/}, ) @article(DBLP:journals/tcad/MartinezOB18, author = {Jorge Martinez and Ignacio Sanudo Olmedo and Marko Bertogna}, year = {2018}, title = {Analytical Characterization of End-to-End Communication Delays With Logical Execution Time}, journal = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems}, volume = {37}, number = {11}, pages = {2244--2254}, doi = {10.1109/TCAD.2018.2857398}, ) @inproceedings(DBLP:conf/sies/NeukirchnerNEB12, author = {Moritz Neukirchner and Mircea Negrean and Rolf Ernst and Torsten T. Bone}, year = {2012}, title = {Response-time analysis of the flexray dynamic segment under consideration of slot-multiplexing}, booktitle = {7th {IEEE} International Symposium on Industrial Embedded Systems, {SIES} 2012, Karlsruhe, Germany, June 20-22, 2012}, publisher = {{IEEE}}, pages = {21--30}, doi = {10.1109/SIES.2012.6356566}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6339458}, ) @inproceedings(DBLP:conf/dac/RichterZJE02, author = {Kai Richter and Dirk Ziegenbein and Marek Jersak and Rolf Ernst}, year = {2002}, title = {Model composition for scheduling analysis in platform design}, booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002, New Orleans, LA, USA, June 10-14, 2002}, publisher = {{ACM}}, pages = {287--292}, doi = {10.1145/513918.513993}, ) @inproceedings(DBLP:conf/rtas/SchlatowE16, author = {Johannes Schlatow and Rolf Ernst}, year = {2016}, title = {Response-Time Analysis for Task Chains in Communicating Threads}, booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016}, publisher = {{IEEE} Computer Society}, pages = {245--254}, doi = {10.1109/RTAS.2016.7461359}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7460013}, ) @article(DBLP:journals/tcad/SchlieckerRNRJE09, author = {Simon Schliecker and Jonas Rox and Mircea Negrean and Kai Richter and Marek Jersak and Rolf Ernst}, year = {2009}, title = {System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures}, journal = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems}, volume = {28}, number = {7}, pages = {979--992}, doi = {10.1109/TCAD.2009.2013286}, ) @article(DBLP:journals/rts/ThieleSAE16, author = {Daniel Thiele and Johannes Schlatow and Philip Axer and Rolf Ernst}, year = {2016}, title = {Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks}, journal = {Real-Time Systems}, volume = {52}, number = {1}, pages = {88--112}, doi = {10.1007/s11241-015-9243-y}, ) @inproceedings(DBLP:conf/iscas/ThieleCN00, author = {Lothar Thiele and S. Chakraborty and M. Naedele}, year = {2000}, title = {Real-time calculus for scheduling hard real-time systems}, booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2000, Emerging Technologies for the 21st Century, Geneva, Switzerland, 28-31 May 2000, Proceedings}, publisher = {{IEEE}}, pages = {101--104}, doi = {10.1109/ISCAS.2000.858698}, url = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=18601}, )