More Web Proxy on the site http://driver.im/

research-article

Specification, Verification and Design of Evolving Automotive Software: Invited

Authors:

Birgit Vogel-Heuser,

Samarjit ChakrabortyAuthors Info & Claims

DAC '17: Proceedings of the 54th Annual Design Automation Conference 2017

Article No.: 83, Pages 1 - 6

https://doi.org/10.1145/3061639.3072946

Published: 18 June 2017 Publication History

Abstract

Modern automotive systems consist of hundreds of functionalities implemented in software. Moreover, these functionalities are constantly evolving with increasing demand for automation, industry competition and changing sensor and actuator capabilities. Correspondingly, it is important to adapt the engineering and software development processes for such systems to consider fast management of this evolution at minimum cost. Towards this, in this paper, we outline three different problems in the context of evolving automotive software and discuss potential solutions for each of them. First, we outline a framework that can accommodate variability in specifications while developing software for automotive product lines. Secondly, a technique is illustrated to addresses after-sales addition of new features in existing systems by studying corresponding acceptable performance degradation of existing functionalities. Finally, we discuss how an inconsistency management framework and regression verification can ensure consistent evolution of engineering processes for automotive mechatronic systems.

References

[1]

2017. Inchron GmbH. https://www.inchron.de/. (2017).

[2]

2017. Symtavision GmbH. https://www.symtavision.com/. (2017).

[3]

2017. Timing Architects. http://www.timing-architects.com/. (2017).

[4]

B. Beckert, M. Ulbrich, B. Vogel-Heuser, and A. Weigl. 2015. Regression Verification for Programmable Logic Controller Software. Springer International Publishing, Cham, 234--251.

[5]

M. Broy and K. Stølen. 2001. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer-Verlag New York, Inc., Secaucus, NJ, USA.

Digital Library

[6]

W. Chang and S. Chakraborty. 2016. Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach. Foundations and Trends® in Electronic Design Automation 10, 4 (2016), 249--369.

Digital Library

[7]

AUTOSAR Consortium. 2015. AUTOSAR Specification R4.2.2. (2015). http://www.autosar.org/standards/classic-platform/release-42/

[8]

OSEK/VDX Consortium. 2005. OSEK/VDX operating system specification Version 2.2.3. (2005).

[9]

S. Feldmann, S. J. I. Herzig, K. Kernschmidt, T. Wolfenstetter, D. Kammerl, A. Qamar, U. Lindemann, H. Krcmar, C. J. J. Paredis, and B. Vogel-Heuser. 2015. Towards Effective Management of Inconsistencies in Model-Based Engineering of Automated Production Systems. IFAC-PapersOnLine 48, 3 (2015), 916--923.

[10]

S. Feldmann, M. Wimmer, K. Kernschmidt, and B. Vogel-Heuser. 2016. A comprehensive approach for managing inter-model inconsistencies in automated production systems engineering. In Proc. of 2016 IEEE International Conference on Automation Science and Engineering (CASE). Fort Worth, TX.

[11]

International Organization for Standardization (ISO). 2011. ISO 26262 Standard Specification. (2011). http://www.iso.org/iso/catalogue_detail?csnumber=43464

[12]

J. Fox, R. Roberts, C. Baier-Welt, L. Ho, L. Lacraru, and B. Gombert. 2007. Modeling and Control of a Single Motor Electronic Wedge Brake. Technical Report. SAE.

[13]

A. Kohn, J. Reif, T. Wolfenstetter, K. Kernschmidt, S. Goswami, H. Krcmar, F. Brodbeck, B. Vogel-Heuser, U. Lindemann, and M. Maurer. 2013. Improving Common Model Understanding Within Collaborative Engineering Design Research Projects. Springer India, India, 643--654.

[14]

S. N. Krishna, G. K. Narwane, S. Ramesh, and A. Trivedi. 2015. Compositional Modeling and Analysis of Automotive Feature Product Lines. In Proc. of 2015 52nd ACM/EDAC/IEEE Design Automation Conference. San Francisco, CA.

Digital Library

[15]

C. Legat, J. Mund, A. Campetelli, G. Hackenberg, J. Folmer, D. Schütz, M. Broy, and B. Vogel-Heuser. 2014. Interface behavior modeling for automatic verification of industrial automation systems' functional conformance. Automatisierungstechnik 62, 11 (2014), 815--825.

[16]

J.-V. Millo, S. Ramesh, S. N. Krishna, and G. K. Narwane. 2013. Compositional Verification of Software Product Lines. In Proc. of 10th Inernational Conf. Integrated Formal Methods. Turku, Finland.

[17]

J. Rawlings and D. Mayne. 2009. Model Predictive Control: Theory and Design. Nob Hill Publishing.

[18]

P. Sampath, S. Arora, and S. Ramesh. 2011. Evolving Specifications Formally. In Proc. of 2011 IEEE 19th Conf. on Requirement Engineering. Trento, Italy.

Digital Library

[19]

O. Strichman and B. Godlin. 2008. Regression Verification - A Practical Way to Verify Programs. Springer Berlin Heidelberg, Berlin, Heidelberg, 496--501.

[20]

S. Ulewicz, M. Ulbrich, A. Weigl, M. Kirsten, F. Wiebe, B. Beckert, and B. Vogel-Heuser. 2016. A verification-supported evolution approach to assist software application engineers in industrial factory automation. In Proc. of 2016 IEEE International Symposium on Assembly and Manufacturing (ISAM). Fort Worth, TX.

[21]

S. Ulewicz, B. Vogel-Heuser, M. Ulbrich, A. Weigl, and B. Beckert. 2015. Proving equivalence between control software variants for Programmable Logic Controllers. In Proc. of 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA). Luxembourg.

[22]

B. Vogel-Heuser, A. Fay, I. Schaefer, and M. Tichy. 2015. Evolution of software in automated production systems: Challenges and research directions. Journal of Systems and Software 110 (2015), 54--84.

Digital Library

[23]

B. Vogel-Heuser, J. Folmer, T. Aicher, J. Mund, and S. Rehberger. 2015. Coupling simulation and model checking to examine selected mechanical constraints of automated production systems. In Proc. of 2015 IEEE International Conference on Industrial Informatics (INDIN). Cambridge.

Cited By

Xu SHobbs CGhosh BDuggirala PChakraborty S(2024)Certifiable and Efficient Autonomous Cyber-Physical Systems Design2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID)10.1109/VLSID60093.2024.00049(259-263)Online publication date: 6-Jan-2024
https://doi.org/10.1109/VLSID60093.2024.00049
Ribeiro QRibeiro MCastro JHong JBures MPark JCerny T(2022)Requirements engineering for autonomous vehiclesProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3507004(1299-1308)Online publication date: 25-Apr-2022
https://dl.acm.org/doi/10.1145/3477314.3507004
Schwab SHohmann S(2019)Verification of hybrid systems using Kaucher arithmeticat - Automatisierungstechnik10.1515/auto-2018-009567:4(316-325)Online publication date: 28-Mar-2019
https://doi.org/10.1515/auto-2018-0095

Recommendations

Managing inconsistencies in an evolving specification
RE '95: Proceedings of the Second IEEE International Symposium on Requirements Engineering

In an evolving specification, considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem: a resolved inconsistency might not stay resolved. Frameworks in which inconsistency is ...
Formal Specification and Verification of the MISSI Sender and Local Cache Using SPIN
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering Methods

We constructed a formal specification for sending secure Internet e-mail using Multilevel Information System Security Initiative (MISSI). We used formal language PROMELA, based on Hoare's CSP. We verified the model using AT&T's automated model checker ...
Formal Specification of Evolving Distributed Software Architectures
DEXA '98: Proceedings of the 9th International Workshop on Database and Expert Systems Applications

As the complexity of software increases, there is a need to describe and evaluate the system structure or software architecture. The software architecture of a distributed system is particularly important when a system is allowed to evolve or be ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '17: Proceedings of the 54th Annual Design Automation Conference 2017

June 2017

533 pages

ISBN:9781450349277

DOI:10.1145/3061639

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CEDA

In-Cooperation

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 June 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

DAC '17

Sponsor:

EDAC
SIGDA

DAC '17: The 54th Annual Design Automation Conference 2017

June 18 - 22, 2017

TX, Austin, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
180
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)2

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Xu SHobbs CGhosh BDuggirala PChakraborty S(2024)Certifiable and Efficient Autonomous Cyber-Physical Systems Design2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID)10.1109/VLSID60093.2024.00049(259-263)Online publication date: 6-Jan-2024
https://doi.org/10.1109/VLSID60093.2024.00049
Ribeiro QRibeiro MCastro JHong JBures MPark JCerny T(2022)Requirements engineering for autonomous vehiclesProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3507004(1299-1308)Online publication date: 25-Apr-2022
https://dl.acm.org/doi/10.1145/3477314.3507004
Schwab SHohmann S(2019)Verification of hybrid systems using Kaucher arithmeticat - Automatisierungstechnik10.1515/auto-2018-009567:4(316-325)Online publication date: 28-Mar-2019
https://doi.org/10.1515/auto-2018-0095

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents