skip to main content
10.1145/3139258.3139279acmotherconferencesArticle/Chapter ViewAbstractPublication PagesrtnsConference Proceedingsconference-collections
research-article

Temporal properties in automotive control software

Published: 04 October 2017 Publication History

Abstract

Modern automotive control software consist of a large number of reusable components, often responsible for safety critical functions. The quality and performance of these components is linked to temporal properties, which depend on the real-time behavior of interconnected processing units. Existing approaches consider requirements on temporal properties only in the context of central-architectural decision making based on observable events. This paper presents a novel more distributed approach to document such requirements that also includes abstract properties used in control engineering such as aliasing. We provide a framework in which requirements for these abstract properties are documented as part of the interface specifications based on a lightweight extension of event models. During integration, these requirements are tested with established analysis methods. We demonstrate the usability of our approach by analyzing an existing engine control software in regard to a property that could not be computed automatically before.

References

[1]
AUTOSAR. 2014. Specification of Timing Extensions V2.1.1 (R4.1).
[2]
Albert Benveniste, Benoît 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.
[3]
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, and Kim G Larsen. 2012. Contracts for system design. Technical Report. INRIA.
[4]
Christopher Brooks, Edward A Lee, Xieojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Shuvra S Bhattaccharyya, Elaine Cheong, II Davis, Mudit Goel, and others. 2008. Heterogeneous concurrent modeling and design in java (volume 2: Ptolemy ii software architecture). Technical Report. DTIC Document.
[5]
Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, 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.
[6]
Michael Deubzer. 2011. Robust Scheduling of Real-Time Applications on Efficient Embedded Multicore Systems. Ph.D. Dissertation. Technische Universität München.
[7]
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).
[8]
Madeleine Faugere, Thimothéee Bourbeau, Robert De Simone, and Sebastien Gerard. 2007. Marte: Also an uml profile for modeling aadl applications. In Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on. IEEE, 359--364.
[9]
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.
[10]
Rachana Ashok Gupta and Mo-Yuen Chow. 2010. Networked Control System: Overview and Research Trends. IEEE Transactions on Industrial Electronics 57, 7 (7 2010), 2527--2535.
[11]
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.
[12]
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.
[13]
The Mathworks Inc. 2017. MATLAB and SIMULINK. (2017). http://mathworks.com/products/simulink/ Natick, United States.
[14]
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.
[15]
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.
[16]
Steffen Lampke, Simon Schliecker, Dirk Ziegenbein, and Arne Hamann. 2015. Resource-Aware Control-Model-Based Co-Engineering of Control Algorithms and Real-Time Systems. SAE International Journal of Passenger Cars-Electronic and Electrical Systems 8, 2015-01-0168 (2015), 106--114.
[17]
Kim G Larsen, Paul Pettersson, and Wang Yi. 1997. UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer (STTT) 1, 1 (1997), 134--152.
[18]
Farokh Marvasti. 2012. Nonuniform sampling: theory and practice. Springer Science & Business Media.
[19]
Ljiljana Milic. 2009. Multirate Filtering for Digital Signal Processing: MATLAB Applications: MATLAB Applications. IGI Global.
[20]
Saad Mubeen, Mikael Sjödin, Thomas Nolte, John Lundbáck, Mattias Gålnander, and Kurt-Lennart Lundbäck. 2015. End-to-end timing analysis of black-box models in legacy vehicular distributed embedded systems. In 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, 149--158.
[21]
Marie-Agnès 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.
[22]
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.
[23]
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.
[24]
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.
[25]
Tobias Sehnke, Matthias Schultalbers, and Rolf Ernst. 2017. Contract-Based Integration of Automotive Control Software. In 2017 Design, Automation Test in Europe Conference (DATE).
[26]
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.
[27]
Andreas Vogelsang and Steffen Fuhrmann. 2013. Why feature dependencies challenge the requirements engineering of automotive systems: An empirical study. In 2013 21st IEEE International Requirements Engineering Conference (RE). IEEE, 267--272.
[28]
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.
[29]
Lixian Zhang, Huijun Gao, and Okyay Kaynak. 2013. Network-Induced Constraints in Networked Control Systems - A Survey. IEEE Transactions on Industrial Informatics 9 (2013), 403--416.

Cited By

View all
  • (2022)Safety Analysis of Embedded Controllers Under Implementation Platform Timing UncertaintiesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319890541:11(4016-4027)Online publication date: Nov-2022

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
RTNS '17: Proceedings of the 25th International Conference on Real-Time Networks and Systems
October 2017
318 pages
ISBN:9781450352864
DOI:10.1145/3139258
© 2017 Association for Computing Machinery. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 October 2017

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. automotive control software
  2. component reuse
  3. model-based software development
  4. temporal requirements

Qualifiers

  • Research-article

Conference

RTNS '17

Acceptance Rates

Overall Acceptance Rate 119 of 255 submissions, 47%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)5
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Safety Analysis of Embedded Controllers Under Implementation Platform Timing UncertaintiesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319890541:11(4016-4027)Online publication date: Nov-2022

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media