DocumentCode
2157562
Title
Validation of real-time systems: from “soft” to “hard”
Author
Thomé, Bernhard ; Glas, Brigitte ; Nahm, Robert
Author_Institution
Siemens AG, Munich, Germany
fYear
1994
fDate
24-27 May 1994
Firstpage
152
Lastpage
158
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems Engineering of Computer-Based Systems, 1994., Proceedings., 1994 Tutorial and Workshop on
Conference_Location
Stockholm
Print_ISBN
0-8186-5715-4
Type
conf
DOI
10.1109/ECBS.1994.331672
Filename
331672
Link To Document