Download PDFOpen PDF in browser

Industrial Examples of Formal Specifications for Test Case Generation

9 pagesPublished: December 17, 2015

Abstract

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

Keyphrases: formal specifications, hybrid automata, Industrial, temporal logic, test case generation

In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 80--88

Links:
BibTeX entry
@inproceedings{ARCH15:Industrial_Examples_of_Formal,
  author    = {Hendrik Roehm and Rainer Gmehlich and Thomas Heinz and Jens Oehlerking and Matthias Woehrle},
  title     = {Industrial Examples of Formal Specifications for Test Case Generation},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {80--88},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4Xd},
  doi       = {10.29007/z9ph}}
Download PDFOpen PDF in browser