@InProceedings{Schieferdecker2006e,
  author    = {Ina Kathrin Schieferdecker and J{\"u}rgen Gro{\ss}mann},
  booktitle = {Proceedings of 1st Test and Diagnosis of Hard- and Software in Automotive Development, AutoTest, Stuttgart, Oct. 2006.},
  title     = {Specification-Based Testing of Embedded Control Systems},
  abstract  = {Embedded systems play an ever increasing role for the realisation of complex control functions in many industrial domains - resulting in a big variety of requirements with respect to their dependability and reliability. Assuring dependability and reliability requires however different methods for hardware and software components. While the hardware reliability has to be guaranteed in particular for extreme operating conditions (temperature, mechanical influences, radiations etc.) and for possible material-dependent corrosion phenomena, the reliability of software components depend mostly on the correct implementation of the required functionality.
Software-based control systems have specific characteristics, which - at least in their combination - are unique: they are typically embedded, interact with sensors and actuators with continuous signal characteristics, supervise discrete control flows, obtain and process simple and complex structured data, communicate over different bus systems and have to meet high safety and real time requirements. While different, also model-based development processes and methods for embedded systems exist, a generally recognized test technology for the analysis and evaluation of these systems, which lead to qualitatively high-quality, safe and reliable systems, is missing.
Such a test technology has to address the different aspects of embedded systems and to enable the testing of discrete behaviours for communication and control sequences, of continuous behaviours for the regulation sequences and of hybrid behaviours for the control sequence in interaction with sensors/actuators and with other system components and the user. This paper presents a design of such a test technology for embedded systems, which is based on the standardized test technology TTCN-3.},
  file      = {:2006/Schieferdecker2006e - Specification Based Testing of Embedded Control Systems.pdf:PDF},
  type      = {conference},
  year      = {2006}
}