Bericht vom Workshop des Arbeitskreises Requirements Engineering für Embedded Systems am 6.3.2013 in München

2013 ◽  
Vol 33 (2) ◽  
pp. 1-1
Author(s):  
Sabine Teufl ◽  
Michael Deynet
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering

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.

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

4.3.2 Requirements Engineering for Trusted Embedded Systems

2010 ◽  
Vol 20 (1) ◽  
pp. 490-502
Author(s):  
José L. Fernández ◽  
Rubén Alonso ◽  
Francisco Gómez ◽  
Christophe Jouvray ◽  
Yann Rouxel ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering

Industry needs and research directions in requirements engineering for embedded systems

2011 ◽  
Vol 17 (1) ◽  
pp. 57-78 ◽  
Author(s):  
Ernst Sikora ◽  
Bastian Tenbergen ◽  
Klaus Pohl
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering ◽  
Research Directions ◽  
Industry Needs
Sign in / Sign up

Export Citation Format

Share Document