Title :
Validation of real-time systems: from “soft” to “hard”
Author :
Thomé, Bernhard ; Glas, Brigitte ; Nahm, Robert
Author_Institution :
Siemens AG, Munich, Germany
Abstract :
The specification languages SDL and MSC are used for the development of soft real-time systems. We report on the development of two corresponding validation approaches: validation of designs by simulation and validation of implementations by conformance testing. The specification languages as well as these validation approaches are now being extended to apply to hard real-time systems. An account of results achieved and the direction of future work is given
Keywords :
conformance testing; real-time systems; specification languages; MSC; SDL; conformance testing; designs by simulation; real-time systems validation; specification languages; Application software; Automata; Power system modeling; Real time systems; Specification languages; Spine; System testing; Telecommunications; Timing;
Conference_Titel :
Systems Engineering of Computer-Based Systems, 1994., Proceedings., 1994 Tutorial and Workshop on
Conference_Location :
Stockholm
Print_ISBN :
0-8186-5715-4
DOI :
10.1109/ECBS.1994.331672
