research-article

Scenarios in the loop: integrated requirements analysis and automotive system validation

Authors:

Carsten Wiecher,

Roman Dumitrescu,

Carsten WolffAuthors Info & Claims

MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

Article No.: 35, Pages 1 - 10

https://doi.org/10.1145/3417990.3421264

Published: 26 October 2020 Publication History

Abstract

The development of safety-relevant systems in the automotive industry requires the definition of high-quality requirements and tests for the coordination and monitoring of development activities in an agile development environment. In this paper we describe a Scenarios in the Loop (SCIL) approach. SCIL combines (1) natural language requirements specification based on Behavior-Driven Development (BDD) with (2) formal and test-driven requirements modeling and analysis, and (3) integrates discipline-specific tools for software and system validation during development. A central element of SCIL is a flexible and executable scenario-based modeling language, the Scenario Modeling Language for Kotlin (SMLK). SMLK allows for an intuitive requirements formalization, and supports engineers to move iteratively, and continuously aided by automated checks, from stakeholder requirements to the validation of the implemented system. We evaluated the approach using a real example from the field of e-mobility.

References

[1]

Albert Albers, Armin Kurrle, and Georg Moeser. 2014. Modellbasiertes Anforderungsmanagement von Systems-of-Systems am Beispiel des vernetzten Fahrzeugs. Tag des Systems Engineering (2014), 371--382.

[2]

AUTOSAR. 2019. AUTOSAR - Enabling Innovation. https://www.autosar.org/

[3]

Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, and Matthias Tichy. 2014. {ScenarioTools} Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In Electronic Communications of the EASST, Vol. 67. EASST.

[4]

Hans Buwalda. 2004. Soap Opera Testing. In Testing & Analysis. 30--37.

[5]

Werner Damm and David Harel. 2001. {LSCs}: Breathing Life into Message Sequence Charts. In Formal Methods in System Design, Vol. 19. 45--80.

Digital Library

[6]

DassaultSystems. 2020. STIMULUS - Requirement simulation - CATIA - Dassault Systèmes®. https://www.3ds.com/products-services/catia/products/stimulus/

[7]

Imke Drave, Steffen Hillemacher, Timo Greifenberg, Stefan Kriebel, Evgeny Kusmenko, Matthias Markthaler, Philipp Orth, Karin Samira Salman, Johannes Richenhagen, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, and Andreas Wortmann. 2019. SMArDT modeling for automotive software testing. Software - Practice and Experience 49, 2 (2019), 301--328.

[8]

Aline Dresch, Daniel Pacheco Lacerda, and José Antônio Valle Antunes. 2015. Design science research: A method for science and technology advancement. 1--161 pages.

[9]

Tobias Düser. 2010. X-in-the-Loop - an integrated validation framework for vehicle development using powertrain functions. Ph.D. Dissertation.

[10]

A Dyck, R Penners, and H Lichter. 2015. Towards Definitions for Release Engineering and DevOps. In 2015 IEEE/ACM 3rd International Workshop on Release Engineering. 3.

[11]

Dorothee Feldmüller. 2018. Usage of agile practices in Mechatronics System Desing - Potentials, Challenges and Actual Surveys. In 2018 19th International Conference on Research and Education in Mechatronics (REM). IEEE, 30--35.

[12]

Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, and Guy Katz. 2017. ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. Science of Computer Programming 149, Supplement C (2017), 15--27.

Digital Library

[13]

Joel Greenyer, Maximilian Haase, Jörg Marhenke, and Rene Bellmer. 2015. Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering. 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings (2015), 1002--1005.

Digital Library

[14]

David Harel, Assaf Marron, and Gera Weiss. 2012. Behavioral programming. Comm. ACM 55, 7 (2012), 90--100.

Digital Library

[15]

Jürgen Häring, Joachim Löchner, and Thomas Schöpfner. 2018. Die Zukunft im Griff, Virtualisierte Tests und XiL für automatisiertes Fahren Fahrerassistenzsysteme. Automobil Elektronik (2018).

[16]

Jörg Holtmann, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. 2016. Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software: Evolution and Process 28, 9 (2016), 722--743.

Digital Library

[17]

John Hutchinson, Jon Whittle, and Mark Rouncefield. 2014. Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure. Science of Computer Programming 89 (2014), 144--161.

Digital Library

[18]

IBM. 2020. IBM Engineering Requirements Management DOORS Family. https://www.ibm.com/ca-en/marketplace/requirements-management

[19]

IEEE Standards Board. 1990. IEEE Standard Glossary of Software Engineering Terminology. Technical Report. 84 pages.

[20]

International Organization for Standardization (ISO). [n.d.]. Road vehicles - Functional safety - Part 6: Product development at the software level, ISO 262626:2018.

[21]

ISystem. 2020. winIDEA - IDE, Debug and Trace Tool - iSYSTEM - Enabling Safer Embedded Systems. https://www.isystem.com/products/winidea-ide-debug-and-trace-tool.html

[22]

ITPowerSolutions. 2020. ContinoProva | ITPS DE. https://itpower.de/de/produkt/continoprova/

[23]

Andrej Janzen, Axel Hoffmann, and Holger Hoffmann. 2013. Working Paper Series Chair for Information Systems Anforderungsmuster im Requirements Engineering. (2013).

[24]

Cem Kaner. 2003. An Introduction to Scenario Testing., 10 pages.

[25]

G Liebel. 2016. Model-Based Requirements Engineering in the Automotive Industry: Challenges and Opportunities. Technical Report. Chalmers University of Technology and Goeteborg University, Goeteborg.

[26]

Grischa Liebel, Matthias Tichy, and Eric Knauss. 2019. Use, potential, and show-stoppers of models in automotive requirements engineering. Software and Systems Modeling 18, 4 (2019), 2587--2607.

Digital Library

[27]

Grischa Liebel, Matthias Tichy, Eric Knauss, Oscar Ljungkrantz, and Gerald Stieglbauer. 2018. Organisation and communication problems in automotive requirements engineering. Requirements Engineering 23, 1 (2018), 145--167.

[28]

Udo Lindemann, Albert Albers, Matthias Behrendt, Simon Klingler, and Kevin Matros. 2016. Verifikation und Validierung im Produktentstehungsprozess. Handbuch Produktentwicklung (2016), 541--569.

[29]

Parastoo Mohagheghi and Vegard Dehlen. 2008. Where Is the Proof? - A Review of Experiences from Applying MDE in Industry. In Model Driven Architecture - Foundations and Applications, Ina Schieferdecker and Alan Hartman (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 432--443.

[30]

Eveline Oehrlich. 2020. What is BizDevOps? | The Enterprisers Project. https://enterprisersproject.com/article/2019/9/devops-what-is-bizdevops

[31]

Valerio Panzica La Manna, Itai Segall, and Joel Greenyer. 2015. Synthesizing tests for combinatorial coverage of modal scenario specifications. In 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings. 126--135.

[32]

Christoph Schmittner, Gerhard Griessnig, and Zhendong Ma. 2018. Status of the Development of ISO/SAE 21434. In Systems, Software and Services Process Improvement, Xabier Larrucea, Izaskun Santamaria, Rory V O'Connor, and Richard Messnarz (Eds.). Springer International Publishing, Cham2018, 504--513.

[33]

Sarah A. Sheard. 1996. Twelve Systems Engineering Roles. INCOSE International Symposium 6, 1 (1996), 478--485.

[34]

SmartBearSoftware. 2020. BDD Testing & Collaboration Tools for Teams | Cucumber. https://cucumber.io/

[35]

A. Sutcliffe. 2003. Scenario-based requirements engineering. Proceedings of the IEEE International Conference on Requirements Engineering 2003-Janua, October 2003 (2003), 320--329.

[36]

TexasInstruments. 2020. What is LabVIEW? - NI. https://www.ni.com/en-ca/shop/labview.html

[37]

TheMathworks. 2020. Simulink - Simulation and Model-Based Design - MATLAB & Simulink. https://www.mathworks.com/products/simulink.html

[38]

VDA QMC Working Group 13 / Automotive SIG. 2015. Automotive SPICE Process Assessment: Reference Model. (2015), 132. http://www.automotivespice.com/fileadmin/software-download/Automotive{_}SPICE{_}PAM{_}30.pdf

[39]

VectorInformatik. 2020. CANoe - ECU & Network Testing | Vector. https://www.vector.com/int/en/products/products-a-z/software/canoe/

[40]

Andreas Vogelsang. 2020. Feature dependencies in automotive software systems: Extent, awareness, and refactoring. Journal of Systems and Software 160, 2019 (2020), 1--37.

[41]

Carsten Wiecher, Joel Greenyer, and Jan Korte. 2019. Test-Driven Scenario Specification of Automotive Software Components. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (2019), 12--17.

Cited By

Pratama FAvini TSaputra IPutri MFajri S(2024)Design of an Intelligent Computing-based Information System for Automated Decision MakingJEECS (Journal of Electrical Engineering and Computer Sciences)10.54732/jeecs.v9i2.29:2(103-108)Online publication date: 19-Nov-2024
https://doi.org/10.54732/jeecs.v9i2.2
Wiecher CMandel CGünther MFischbach JGreenyer JGreinert MWolff CDumitrescu RMendez DAlbers A(2024)Model‐based analysis and specification of functional requirements and tests for complex automotive systemsSystems Engineering10.1002/sys.2174827:4(728-744)Online publication date: 8-Feb-2024
https://doi.org/10.1002/sys.21748
Wang BYen YCheng Y(2023)Specifying Internet of Things Behaviors in Behavior-Driven Development: Concurrency Enhancement and Tool SupportApplied Sciences10.3390/app1302078713:2(787)Online publication date: 5-Jan-2023
https://doi.org/10.3390/app13020787
Show More Cited By

Index Terms

Scenarios in the loop: integrated requirements analysis and automotive system validation
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
        Agile software development
  2. Software notations and tools
    1. System description languages
      1. System modeling languages

Recommendations

A feature-oriented approach: from usage scenarios to automated system of systems validation in the automotive domain
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

New mobility solutions can be characterized as a System of Systems (SoS). SoS characteristics such as emergent system behavior and the operational and managerial independence of the constituent systems pose particular challenges for requirements ...
Assessing BizDevOps maturity using international standards: Case studies and lessons learned
Abstract
DevOps has emerged as a practical approach to the interaction between development and operations. This approach has been extended to the interaction with business functions, generating the term BizDevOps. Although many proposals and tools ...

This paper presents two case studies on the assessment of BizDevOps practices using MMBDO (Maturity Model for BizDevOps), a maturity model for BizDevOps based on international ICT standards. The case studies were conducted in two organizations with ...
Analysis of Scenarios with Petri-Net Models
SBES '15: Proceedings of the 2015 29th Brazilian Symposium on Software Engineering

Requirements analysis plays a key role in the software development process. Scenario-based representation is often used for software requirements specification (SRS). Scenarios written in natural language may be ambiguous, and, sometimes, inaccurate. ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

October 2020

713 pages

ISBN:9781450381352

DOI:10.1145/3417990

Conference Chairs:
Esther Guerra
Universidad Autonoma de Madrid, Spain
,
Ludovico Iovino
Gran Sasso Science Institute, Italy

Copyright © 2020 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 the author(s) 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

SIGSOFT: ACM Special Interest Group on Software Engineering

In-Cooperation

IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 October 2020

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

MODELS '20

Sponsor:

SIGSOFT

MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems

October 16 - 23, 2020

Virtual Event, Canada

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
293
Total Downloads

Downloads (Last 12 months)52
Downloads (Last 6 weeks)6

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Pratama FAvini TSaputra IPutri MFajri S(2024)Design of an Intelligent Computing-based Information System for Automated Decision MakingJEECS (Journal of Electrical Engineering and Computer Sciences)10.54732/jeecs.v9i2.29:2(103-108)Online publication date: 19-Nov-2024
https://doi.org/10.54732/jeecs.v9i2.2
Wiecher CMandel CGünther MFischbach JGreenyer JGreinert MWolff CDumitrescu RMendez DAlbers A(2024)Model‐based analysis and specification of functional requirements and tests for complex automotive systemsSystems Engineering10.1002/sys.2174827:4(728-744)Online publication date: 8-Feb-2024
https://doi.org/10.1002/sys.21748
Wang BYen YCheng Y(2023)Specifying Internet of Things Behaviors in Behavior-Driven Development: Concurrency Enhancement and Tool SupportApplied Sciences10.3390/app1302078713:2(787)Online publication date: 5-Jan-2023
https://doi.org/10.3390/app13020787
Baek YCho EShin DBae D(2023)An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific ExtensionInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402350047X34:01(91-162)Online publication date: 21-Sep-2023
https://doi.org/10.1142/S021819402350047X
Arredondo-Reyes VDomínguez-Isidro SSánchez-García ÁOcharán-Hernández J(2023)Benefits and Challenges of the Behavior-Driven Development: A Systematic Literature Review2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT)10.1109/CONISOFT58849.2023.00016(45-54)Online publication date: 6-Nov-2023
https://doi.org/10.1109/CONISOFT58849.2023.00016
Binamungu LMaro S(2023)Behaviour driven development: A systematic mapping studyJournal of Systems and Software10.1016/j.jss.2023.111749203(111749)Online publication date: Sep-2023
https://doi.org/10.1016/j.jss.2023.111749
Wiecher CTendyra PWolff C(2022)Scenario-based Requirements Engineering for Complex Smart City Projects2022 IEEE European Technology and Engineering Management Summit (E-TEMS)10.1109/E-TEMS53558.2022.9944441(97-102)Online publication date: 9-Mar-2022
https://doi.org/10.1109/E-TEMS53558.2022.9944441
Japs SKargl FAnacker HDumitrescu R(2022)Why make it hard? - Usage of aggregated statistical data for risk assessment of damage scenarios in the context of ISO/SAE 21434Procedia CIRP10.1016/j.procir.2022.05.252109(293-298)Online publication date: 2022
https://doi.org/10.1016/j.procir.2022.05.252
Japs SAnacker HKaiser LSE-TRIP JDumitrescu RKargl F(2021)D-REQs: Determination of security & safety requirements in workshops based on the use of model-based systems engineering*2021 IEEE 29th International Requirements Engineering Conference Workshops (REW)10.1109/REW53955.2021.00073(412-414)Online publication date: Sep-2021
https://doi.org/10.1109/REW53955.2021.00073
Wiecher CFischbadh JGreenyer JVogelsang AWolff CDumitrescu R(2021)Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS50736.2021.00020(112-122)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS50736.2021.00020
Show More Cited By

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