@InProceedings{Grossmann2009,
  author    = {Juergen Gro{\ss}mann and Diana Alina Serbanescu and Ina Kathrin Schieferdecker},
  booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
  title     = {Testing Embedded Real Time Systems with {TTCN-3}},
  doi       = {10.1109/ICST.2009.37},
  pages     = {81--90},
  abstract  = {The problems of testing software based systems that, like automobiles, steadily increase in complexity are still not solved. To cope with the requirements and complexities of today's systems, adequate test solutions are needed, which at least feature a minimum of flexibility, reusability and abstraction. The Testing and Test Control Notation TTCN-3 is a test specification language, which was originally developed to meet the requirements of testing telecommunication systems. The language is modular, well-structured, standardized and supports testing of communicating systems. However, the correctness of a large number of embedded systems can not be assessed by checking functional requirements only. In addition to that non-functional requirements, especially time related input-output behavior, have to be considered. The current version of TTCN-3 has only limited capabilities for testing such non-functional properties. To overcome these limitations we will extend TTCN-3 with a small set of specific language means that are dedicated to check real-time properties of embedded system. We will explain the syntax and semantics of the new constructs, compare our solution with the expressiveness of standard TTCN-3 and, as a proof of concept, provide a small example from the automotive domain that particularly motivate the use of TTCN-3 in the context of AUTOSAR.},
  file      = {:2009/Grossmann2009 - Testing Embedded Real Time Systems with TTCN 3.pdf:PDF},
  keywords  = {embedded systems;formal specification;program testing;specification languages;embedded real time systems testing;functional requirements checking;software testing;specific language set;test specification language;Automobiles;Automotive engineering;Control systems;Embedded system;Real time systems;Software systems;Software testing;Specification languages;System testing;Telecommunication control;automotive;real-time;testing},
  type      = {conference},
  year      = {2009},
  award={Most Influential Paper Award, Category Practical Impact, awarded at the 12th IEEE International Conference in Software Testing, Verification and Validation ({ICST} 2019)}
}