Abstract:
Today, an increasing demand for high quality real-time software for complex, safety-critical systems results from the fact that more ambitious and complex technical systems are built. In the development of such systems, a crucial step is the design and formal verification of the real-time interaction of the components to ensure the correctness and safe operation of the overall system. We propose to ease this cumbersome design step by supporting the analysis of conflicts between timed scenarios and the scenario-based synthesis of the required component behavior. Such a synthesis procedure, which requires as its input a set of timed scenarios, results in a set of Statecharts that realize the given scenarios. By supporting even parameterized timed scenarios, the approach permits to avoid too early decisions on specific values for the time constraints while still being able to check them. The paper describes the application of the approach and the available prototypical tool support by means of a running example.
BibTeX file
title = { Analysis and Synthesis for Parameterized Timed Sequence Diagrams },
year = { 2004 },
pages = { 43-50 },
abstract = { Today, an increasing demand for high quality real-time software for complex, safety-critical systems results from the fact that more ambitious and complex technical systems are built. In the development of such systems, a crucial step is the design and formal verification of the real-time interaction of the components to ensure the correctness and safe operation of the overall system. We propose to ease this cumbersome design step by supporting the analysis of conflicts between timed scenarios and the scenario-based synthesis of the required component behavior. Such a synthesis procedure, which requires as its input a set of timed scenarios, results in a set of Statecharts that realize the given scenarios. By supporting even parameterized timed scenarios, the approach permits to avoid too early decisions on specific values for the time constraints while still being able to check them. The paper describes the application of the approach and the available prototypical tool support by means of a running example. },
month = { 5 },
editor = { Holger Giese and Ingolf Krüger },
publisher = { IEEE },
booktitle = { Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland },
language = { english }
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
last change: Fri, 18 Feb 2011 11:08:40 +0100