The increased use of soft- and hardware components for safety-critical train control systems demands a defined development process, which takes into account that precise (formal) requirement specifications are needed and which allows the detection of errors as early as possible in order to avoid deep and costly iteration cycles. A model based development process caters for these needs by providing phases, where a model of the system is constructed, which can be analysed, tested and simulated. This paper presents a sequence chart-based design methodology for the formal verification of a system under design. Since standard Message Sequence Charts are neither expressive enough nor do they have a sufficient formal semantics the authors introduce Live Sequence Charts (LSCs) in order to overcome these deficiencies. Using a radio-based crossing control system as an example they outline how to embed LSCs into a model-based development process. This entails a transition from scenario-like Sequence Charts used early in the design process to the graphical specification of system properties to be verified in later stages.
Verification of a radio-based signaling system using scenarios
2003
14 Seiten, 10 Bilder, 11 Quellen
Aufsatz (Konferenz)
Englisch
Validation and Verification of a Radio-based Signaling System Using Scenarios
British Library Conference Proceedings | 2003
|Verification Approaches for Equipment Radiated Susceptibility on Satellite Scenarios
British Library Conference Proceedings | 2012
|Configuration of radio communication in radio-assisted road traffic management scenarios
Europäisches Patentamt | 2020
|CONFIGURATION OF RADIO COMMUNICATION IN RADIO-ASSISTED ROAD TRAFFIC MANAGEMENT SCENARIOS
Europäisches Patentamt | 2018
|