A feature-oriented approach: from usage scenarios to automated system of systems validation in the automotive domain

C Wiecher - Proceedings of the 23rd ACM/IEEE International …, 2020 - dl.acm.org
New mobility solutions can be characterized as a System of Systems (SoS). SoS
characteristics such as emergent system behavior and the operational and managerial …

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

C Wiecher, S Japs, L Kaiser, J Greenyer… - Proceedings of the 23rd …, 2020 - dl.acm.org
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 …

[PDF][PDF] BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems.

C Wiecher, J Greenyer, FB Aydemir, C Gralha… - REFSQ …, 2021 - ceur-ws.org
Abstract Systems of Systems (SoS), like connected vehicle systems, provide their
functionality by the interaction of several constituent systems (CSs).[Problem] Due to the …

Rigorous model-based design & verification flow for in-vehicle software

S Ramesh, A Gadkari - Proceedings of the 48th Design Automation …, 2011 - dl.acm.org
The development of in-vehicle software, often controlling safety-critical functions related to
braking, steering and transmission systems, requires rigorous techniques to ensure high …

Model‐based analysis and specification of functional requirements and tests for complex automotive systems

C Wiecher, C Mandel, M Günther… - Systems …, 2024 - Wiley Online Library
The specification of requirements and tests are crucial activities in automotive development
projects. However, due to the increasing complexity of automotive systems, practitioners fail …

Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering

J Greenyer, M Haase, J Marhenke… - Proceedings of the 2015 …, 2015 - dl.acm.org
Automotive software systems often consist of multiple reactive components that must satisfy
complex and safety-critical requirements. In automotive projects, the requirements are …

Model-based systems engineering of automotive systems

GH Fisher - 17th DASC. AIAA/IEEE/SAE. Digital Avionics …, 1998 - ieeexplore.ieee.org
The primary products of systems engineers all seem to be documents such, as specifications
and trade-off studies. Communicating the requirements to hardware and software designers …

Test-driven scenario specification of automotive software components

C Wiecher, J Greenyer, J Korte - 2019 ACM/IEEE 22nd …, 2019 - ieeexplore.ieee.org
The rising complexity of automotive software makes it increasingly difficult to develop the
software with high quality in short time. Especially the late detection of early errors, such as …

Scenario-and model-based systems engineering procedure for the sotif-compliant design of automated driving functions

MA Meyer, S Silberg, C Granrath… - 2022 IEEE Intelligent …, 2022 - ieeexplore.ieee.org
Advances in automated driving are creating new challenges for product development in the
automotive industry and continuously driving up the cost of product verification and …

A modeling language for vehicle motion control behavioral specification

S Wang, SK Birla, S Neema - … of the 2006 international workshop on …, 2006 - dl.acm.org
Error-free engineering of high integrity applications such as vehicle motion control (VMC)
requires unambiguous behavioral specification. As system engineering progresses from …