Guiding requirements engineering for software-intensive embedded systems in the automotive industry

2010 ◽  
Vol 29 (1) ◽  
pp. 21-43 ◽  
Author(s):  
Peter Braun ◽  
Manfred Broy ◽  
Frank Houdek ◽  
Matthias Kirchmayr ◽  
Mark Müller ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering ◽  
Automotive Industry ◽  
Software Intensive

scholarly journals Industrial Examples of Formal Specifications for Test Case Generation

10.29007/z9ph ◽  
2018 ◽  
Author(s):  
Hendrik Roehm ◽  
Rainer Gmehlich ◽  
Thomas Heinz ◽  
Jens Oehlerking ◽  
Matthias Woehrle
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering ◽  
Automotive Industry ◽  
Test Case Generation ◽  
Test Case ◽  
Formal Specifications ◽  
Discrete Events ◽  
The Past ◽  
Formal Representations

While requirements engineering has received considerable attention inacademia over the past years, formalization of requirements for physicallyinfluenced systems is still a difficult task in practice. In this paper, we giveformal representations of some typical requirement classes arising in theautomotive industry. We divide these patterns into three main classes:those mostly referring to properties of continuous signals, those mostlyreferring to discrete events and those referring to similarity to a referencesignal. We discuss these patterns on concrete examples from automotiveembedded systems, where specifications are used for test case generation.

scholarly journals A STUDY INVESTIGATING CHALLENGES IN THE INTERFACE BETWEEN PRODUCT DEVELOPMENT AND MANUFACTURING IN THE DEVELOPMENT OF SOFTWARE-INTENSIVE AUTOMOTIVE SYSTEMS

2012 ◽  
Vol 22 (07) ◽  
pp. 965-1004 ◽  
Author(s):  
J. PERNSTÅL ◽  
A. MAGAZINIUS ◽  
T. GORSCHEK
Keyword(s):  
Product Development ◽  
Automotive Industry ◽  
State Of The Art ◽  
Future Research ◽  
Manufacturing Processes ◽  
Process Assessment ◽  
Automotive Systems ◽  
Extensive Analysis ◽  
Key Issues ◽  
Software Intensive

The automotive industry is facing a tremendous growth in the engineering of software-intensive systems, giving rise to various challenges. To prevent problems related to the fit of new software technologies in vehicles and the manufacturing processes, a well functioning interaction between the functions for product development and manufacturing is crucial. This is complicated by the fact that the changeable nature of software development causes unprecedented needs for collaboration and coordination between these two functions. This paper reports on a process assessment that focuses on the interface between the functions for product development and manufacturing in the development and design of software-intensive automotive systems. The main purpose of the study was to identify the key issues for improvement in the area assessed. The assessment was performed at two Swedish automotive companies where data were collected from documents and in interviews with practitioners. Nine key improvement issues were established ranging from challenges in requirements engineering to the need for knowledge transfer between manufacturing and product development. In addition, to increase the understandability of the results and map possible avenues for solution and future research, the paper provides an extensive analysis of each improvement issue in relation to the state-of-the-art.

scholarly journals Using S-TaLiRo on Industrial Size Automotive Models

10.29007/kwp3 ◽  
2018 ◽  
Author(s):  
Bardh Hoxha ◽  
Houssam Abbas ◽  
Georgios Fainekos
Keyword(s):  
Embedded Systems ◽  
Automotive Industry ◽  
Industrial Scale ◽  
High Fidelity ◽  
Formal Specifications ◽  
Engine Model ◽  
Model Based

In Model Based Development (MBD) of embedded systems, it is often desirable to verify or falsify certain formal specifications. In some cases it is also desirable to find the range of specification parameters for which the specification does not hold on the system. We illustrate these methods on a challenge problem from the automotive industry on a high-fidelity, industrial scale engine model.

Sign in / Sign up

Export Citation Format

Share Document