Validation of real-time systems: from "soft" to "hard"

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.<>