A Model-Based Framework for System-Wide Plug-and-Play with Flexible Timing Verification for Automotive Systems

The integration of further functionality into vehicles is hindered by the increasing system complexity. This work combines model-driven engineering with the event-based and data-centric communication paradigms to implement an automatic timing verification framework for changeable systems. This enables the flexible configuration of vehicles and other real-time critical systems in the sense of hardware and software – during the design and run-time with a selectable degree of approximation.

[1]  Robert W G Anderson,et al.  The Real-World Safety Potential of Connected Vehicle Technology , 2015, Traffic injury prevention.

[2]  Lothar Thiele,et al.  A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[3]  Vejlupek Josef,et al.  Hardware-In-the-Loop simulation for automotive parking assistant control units , 2014, Proceedings of the 16th International Conference on Mechatronics - Mechatronika 2014.

[4]  Gang Chen,et al.  Adaptive dynamic power management for hard real-time pipelined Multiprocessor Systems , 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.

[5]  Edward A. Lee,et al.  07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[6]  Lothar Thiele,et al.  Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems , 2010, Des. Autom. Embed. Syst..

[7]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[8]  Marek Jersak,et al.  Compositional performance analysis for complex embedded applications , 2004 .

[9]  Ernesto Wandeler,et al.  Modular performance analysis and interface based design for embedded real time systems , 2006 .

[10]  Alois Knoll,et al.  A Safety Aware Run-Time Environment for Adaptive Automotive Control Systems , 2014 .

[11]  Andre N. Fredette,et al.  Heterogeneous Networks for Audio and Video: Using IEEE 802.1 Audio Video Bridging , 2013, Proceedings of the IEEE.

[12]  Arquimedes Canedo,et al.  Functional modeling compiler for system-level design of automotive cyber-physical systems , 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[13]  Anders Hammer Strømman,et al.  Environmental impacts of hybrid and electric vehicles—a review , 2012, The International Journal of Life Cycle Assessment.

[14]  Liam Kilmartin,et al.  Next generation wired intra-vehicle networks, a review , 2013, 2013 IEEE Intelligent Vehicles Symposium (IV).

[15]  Samarjit Chakraborty,et al.  Lightweight Modeling of Complex State Dependencies in Stream Processing Systems , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[16]  Lothar Thiele,et al.  Embedded Software in Network Processors - Models and Algorithms , 2001, EMSOFT.

[17]  Lothar Thiele,et al.  Complex task activation schemes in system level performance analysis , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[18]  Alexander Kraas.  Realizing Model Simplifications with QVT Operational Mappings , 2014, OCL@MoDELS.

[19]  Ernesto Wandeler,et al.  Optimal TDMA time slot and cycle length allocation for hard real-time systems , 2006, Asia and South Pacific Conference on Design Automation, 2006..

[20]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[21]  Matthieu Moy,et al.  Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions , 2010, TACAS.

[22]  Henrik Schiøler,et al.  Worst-Case Traversal Time Modelling of Ethernet Based In-Car Networks Using Real Time Calculus , 2011, NEW2AN.

[23]  Franck Fleurey,et al.  A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems , 2009, MoDELS.

[24]  Marc Boyer,et al.  The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus , 2010, ISoLA.

[25]  Simon Perathoner,et al.  Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy , 2011 .

[26]  Luciano Lenzini,et al.  DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems , 2010, ISoLA.

[27]  Bernhard Schätz,et al.  Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität , 2011 .

[28]  Yoram Koren,et al.  The Global Manufacturing Revolution: Product-Process-Business Integration and Reconfigurable Systems , 2010 .

[29]  Liam Kilmartin,et al.  Intra-Vehicle Networks: A Review , 2015, IEEE Transactions on Intelligent Transportation Systems.

[30]  A. Knoll,et al.  The software car: Building ICT architectures for future electric vehicles , 2012, 2012 IEEE International Electric Vehicle Conference.

[31]  Matthias Traub,et al.  Durchgängige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug , 2010 .

[32]  Mukesh Singhal,et al.  Logical Time: Capturing Causality in Distributed Systems , 1996, Computer.

[33]  Achim Rettberg,et al.  Towards a Dynamically Reconfigurable Automotive Control System Architecture , 2007, IESS.

[34]  Hardi Hungar,et al.  Using contract-based component specifications for virtual integration testing and architecture design , 2011, 2011 Design, Automation & Test in Europe.

[35]  Lothar Thiele,et al.  Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications , 2012, TECS.

[36]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

[37]  Alberto L. Sangiovanni-Vincentelli,et al.  Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools , 2010, Proceedings of the IEEE.

[38]  Eric Thierry,et al.  An Algorithmic Toolbox for Network Calculus , 2008, Discret. Event Dyn. Syst..

[39]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[40]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[41]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[42]  Sébastien Gérard,et al.  chronVAL/chronSIM: A Tool Suite for Timing Verification of Auto-motive Applications , 2012 .

[43]  Julio Ortega Lopera,et al.  Comparing Real-Time Calculus with the existing analytical approaches for the performance evaluation of network interfaces , 2011, CONIELECOMP 2011, 21st International Conference on Electrical Communications and Computers.

[44]  Wei Chen,et al.  On computing the upper envelope of segments in parallel , 1998, Proceedings. 1998 International Conference on Parallel Processing (Cat. No.98EX205).

[45]  Ljubo Mercep,et al.  The Innotruck Case Study on A Holistic Approach to Electric Mobility , 2013 .

[46]  R. Siegwart,et al.  Robots go automotive - the SPARC approach , 2005, IEEE Proceedings. Intelligent Vehicles Symposium, 2005..

[47]  Marcel Verhoef,et al.  Timed automata based analysis of embedded system architectures , 2006, IPDPS.

[48]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[49]  Simon Künzli,et al.  Efficient design space exploration for embedded systems , 2006 .

[50]  Jean Bézivin,et al.  In Search of a Basic Principle for Model Driven Engineering , 2004 .

[51]  Frank Slomka,et al.  Comparative Application of Real-Time Verification Methods to an Automotive Architecture , 2010 .

[52]  Arda Goknil,et al.  Analysis Support for TADL2 Timing Constraints on EAST-ADL Models , 2013, ECSA.

[53]  Lothar Thiele,et al.  Chapter 4 – Design Space Exploration of Network Processor Architectures , 2003 .

[54]  Nico Feiertag,et al.  A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics , 2008, RTSS 2009.

[55]  Devesh B. Chokshi,et al.  Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus , 2008, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[56]  Alois Knoll,et al.  CHROMOSOME: a run-time environment for plug & play-capable embedded real-time systems , 2014, SIGBED.

[57]  Frank Slomka,et al.  Advanced hierarchical event-stream model and the real-time calculus , 2008 .

[58]  Lothar Thiele,et al.  Influence of different abstractions on the performance analysis of distributed hard real-time systems , 2009, Des. Autom. Embed. Syst..

[59]  Lothar Thiele,et al.  Workload characterization model for tasks with variable execution demand , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[60]  Karsten Albers,et al.  Approximative real-time analysis , 2011 .

[61]  Alois Zoitl,et al.  Increasing the adaptability of manufacturing systems by using data-centric communication , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[62]  A. B. Kahn,et al.  Topological sorting of large networks , 1962, CACM.

[63]  J. Loeser,et al.  Low-latency hard real-time communication over switched Ethernet , 2004 .

[64]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[65]  Rene Queck.  Analysis of Ethernet AVB for automotive networks using Network Calculus , 2012, 2012 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2012).

[66]  Miroslaw Staron,et al.  Evolution of Long-Term Industrial Meta-Models -- An Automotive Case Study of AUTOSAR , 2014, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications.

[67]  Wang Dafang,et al.  Basic Concepts on AUTOSAR Development , 2010, 2010 International Conference on Intelligent Computation Technology and Automation.

[68]  Magnus Persson.  Adaptive Middleware for Self-Configurable Embedded Real-Time Systems : Experiences from the DySCAS Project and Remaining Challenges , 2009 .

[69]  Frédéric Boniol,et al.  New Challenges for Future Avionic Architectures , 2013, Modeling Approaches and Algorithms for Advanced Computer Applications.

[70]  Lothar Thiele,et al.  A simple approximation method for reducing the complexity of Modular Performance Analysis , 2010 .

[71]  Jean Bézivin,et al.  A Canonical Scheme for Model Composition , 2006, ECMDA-FA.

[72]  Gernot Spiegelberg,et al.  Early safety evaluation of design decisions in E/E architecture according to ISO 26262 , 2012, ISARCS '12.

[73]  Ljubo Mercep,et al.  Electric Mobility: Chances and Technical Challenges , 2013 .

[74]  D. O’Neill,et al.  Demographic Change and Transport , 2013 .

[75]  Cheng-Shang Chang,et al.  Performance guarantees in communication networks , 2000, Eur. Trans. Telecommun..

[76]  Hosam K. Fathy,et al.  Review of hardware-in-the-loop simulation and its prospects in the automotive area , 2006, SPIE Defense + Commercial Sensing.

[77]  Roman Obermaisser,et al.  From a Federated to an Integrated Automotive Architecture , 2008 .

[78]  Lothar Thiele,et al.  Modeling structured event streams in system level performance analysis , 2010, LCTES '10.

[79]  Hauke Stahle,et al.  Drive-by-wireless with the eCar demonstrator , 2014, CyPhy '14.

[80]  Insup Lee,et al.  Modeling buffers with data refresh semantics in automotive architectures , 2010, EMSOFT '10.

[81]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[82]  Michael Glaß,et al.  Timing analysis of Ethernet AVB-based automotive E/E architectures , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[83]  Kristina Lundqvist,et al.  Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL , 2011, Ada-Europe.

[84]  Lothar Thiele,et al.  Performance Analysis of Multimedia Applications using Correlated Streams , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[85]  Eric Thierry,et al.  Service curves in Network Calculus: dos and don'ts , 2009 .

[86]  Wang Yi,et al.  Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[87]  Tullio Vardanega,et al.  A component-based process with separation of concerns for the development of embedded real-time software systems , 2014, J. Syst. Softw..

[88]  Jens B. Schmitt,et al.  The DiscoDNC v2 - A Comprehensive Tool for Deterministic Network Calculus , 2014, VALUETOOLS.

[89]  Ivica Crnkovic,et al.  Software Components beyond Programming: From Routines to Services , 2011, IEEE Software.

[90]  Sebastien Lagrange,et al.  COINC library: a toolbox for the network calculus: invited presentation, extended abstract , 2009, VALUETOOLS.

[91]  Jörgen Hansson,et al.  Flow Latency Analysis with the Architecture Analysis and Design Language (AADL) , 2007 .

[92]  Ljubo Mercep,et al.  Context-Centric Design of Automotive Human-Machine Interfaces , 2014 .

[93]  Lothar Thiele,et al.  Worst case delay analysis for memory interference in multicore systems , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[94]  John Håkansson,et al.  SaveCCM: An Analysable Component Model for Real-Time Systems , 2006, FACS.

[95]  Eric Rondeau,et al.  Comparison of switched Ethernet architectures models , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[96]  Marcel Verhoef,et al.  System architecture evaluation using modular performance analysis: a case study , 2006, International Journal on Software Tools for Technology Transfer.

[97]  Samarjit Chakraborty,et al.  Timing challenges in automotive software architectures , 2014, ICSE Companion.

[98]  Andreas Schranzhofer,et al.  Efficiency and predictability in resource sharing multicore systems , 2011 .

[99]  Samarjit Chakraborty,et al.  System-level timing analysis and scheduling for embedded packet processors , 2003 .

[100]  Matthieu Moy,et al.  ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[101]  Lothar Thiele,et al.  Characterizing workload correlations in multi processor hard real-time systems , 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[102]  Insup Lee,et al.  Compositional real-time scheduling framework with periodic model , 2008, TECS.

[103]  Lothar Thiele,et al.  Combining computational and analytic model descriptions for evaluating embedded real-time systems , 2008 .

[104]  Michael Armbruster,et al.  RACE: A Centralized Platform Computer Based Architecture for Automotive Applications , 2013, 2013 IEEE International Electric Vehicle Conference (IEVC).

[105]  Ljubo Mercep,et al.  Towards the deployment of a centralized ICT architecture in the automotive domain , 2013, 2013 2nd Mediterranean Conference on Embedded Computing (MECO).

[106]  Wolfgang Rosenstiel,et al.  Virtual prototyping evaluation framework for automotive embedded systems engineering , 2014, SimuTools.

[107]  Paul Pettersson,et al.  Formal Semantics of the ProCom Real-Time Component Model , 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.

[108]  Pratyush Kumar,et al.  Hard real-time guarantees in cyber-physical systems , 2014 .

[109]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[110]  Jakob Axelsson,et al.  On the conceptual design of a dynamic component model for reconfigurable AUTOSAR systems , 2013, SIGBED.

[111]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[112]  Matthias Traub,et al.  Elektrik/Elektronik-Architekturen im Kraftfahrzeug , 2012 .

[113]  C. Leake.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[114]  Rene L. Cruz,et al.  A calculus for network delay, Part II: Network analysis , 1991, IEEE Trans. Inf. Theory.

[115]  Insup Lee,et al.  CARTS: a tool for compositional analysis of real-time systems , 2011, SIGBED.

[116]  J. Javier Gutiérrez,et al.  MAST: Modeling and analysis suite for real time applications , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[117]  Mario Bellino,et al.  Lane detection algorithm for an onboard camera , 2005, European Workshop on Photonics in the Automobile.

[118]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[119]  Devesh B. Chokshi,et al.  Performance analysis of FlexRay-based systems using real-time calculus, revisited , 2010, SAC '10.

[120]  Kai Richter.  Compositional scheduling analysis using standard event models: the SymTA/S approach , 2005 .

[121]  A. Sangiovanni-Vincentelli,et al.  Frankenstein : Contract-Based Design for Cyber-Physical Systems ∗ g , 2013 .

[122]  Henrik Schiøler,et al.  CyNC: a MATLAB/SimuLink toolbox for network calculus , 2007, VALUETOOLS.

[123]  Jim Kurose,et al.  Computer Networking: A Top-Down Approach , 1999 .

[124]  Sebastian Voss,et al.  Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems , 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing.

[125]  Lothar Thiele,et al.  Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[126]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[127]  Frank Slomka,et al.  Advanced Hierachical Event-Stream Model , 2008, 2008 Euromicro Conference on Real-Time Systems.

[128]  Lothar Thiele,et al.  Modular performance analysis of cyclic dataflow graphs , 2009, EMSOFT '09.

[129]  A. Knoll,et al.  Towards adaptable manufacturing systems , 2013, 2013 IEEE International Conference on Industrial Technology (ICIT).

[130]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[131]  Edward A. Lee,et al.  Model-based specification of timing requirements , 2010, EMSOFT '10.

[132]  Ottmar Gehring,et al.  Using drive-by-wire technology to design integrated powertrain modules ntegration of the evaluation of surrounding variables , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[133]  Lothar Thiele,et al.  Periodic power management schemes for real-time event streams , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[134]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[135]  Daniel Hahn,et al.  Complexity, quality and robustness - the challenges of tomorrow's automotive electronics , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[136]  Jens B. Schmitt,et al.  The DISCO network calculator: a toolbox for worst case analysis , 2006, valuetools '06.

[137]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[138]  Lei Feng,et al.  Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[139]  Marc Boyer.  NC-Maude: A Rewriting Tool to Play with Network Calculus , 2010, ISoLA.

[140]  K. Altisen,et al.  Causality closure for a new class of curves in real-time calculus , 2011, WCTT '11.

[141]  Bernhard Schätz,et al.  The Role of Models in Engineering of Cyber-Physical Systems – Challenges and Possibilities , 2014 .

[142]  Alois Knoll,et al.  Design of an experimental platform for an X-by-wire car with four-wheel steering , 2010, 2010 IEEE International Conference on Automation Science and Engineering.

[143]  Ljubo Mercep,et al.  A case study on implementing future human-machine interfaces , 2013, 2013 IEEE Intelligent Vehicles Symposium (IV).

[144]  Nikolay Nikolaev Stoimenov,et al.  Compositional design and analysis of distributed, cyclic, and adaptive embedded real-time systems , 2011 .

[145]  Lothar Thiele,et al.  Interface-Based Design of Real-Time Systems with Hierarchical Scheduling , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[146]  Wang Yi,et al.  Cyclic dependencies in modular performance analysis , 2008, EMSOFT '08.

[147]  Alexander Serebrenik,et al.  Automotive ADLS: a study on enforcing consistency through multiple architectural levels , 2012, QoSA '12.

[148]  Samarjit Chakraborty,et al.  Performance Analysis of FlexRay-based ECU Networks , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[149]  Roman Obermaisser,et al.  An integrated architecture for future car generations , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[150]  Kim G. Larsen,et al.  Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies , 2005, Computers and Their Applications.

[151]  John Hershberger,et al.  Finding the Upper Envelope of n Line Segments in O(n log n) Time , 1989, Inf. Process. Lett..

[152]  Purnendu Sinha.  Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives , 2011, Reliab. Eng. Syst. Saf..