Sciweavers

Share
DAGSTUHL
2003

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models

8 years 10 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Designing and verifying the coordination between the components of such a system in order to ensure its overall correctness and safe operation are crucial and costly steps of the development process. In this paper, we extend our approach for the compositional formal verification of UML-RT models described by components and patterns [1], which addresses this challenge. We outline how scenario-based synthesis techniques can facilitate the design and verification steps by automatically deriving the required pattern behavior. Starting from a set of timed scenarios, the presented procedure generates a set of statecharts with additional real-time annotations that realize these scenarios. As parameterized timed scenarios are supported, different system configurations can be specified as required by adjusting the be...
Holger Giese, Florian Klein, Sven Burmester
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where DAGSTUHL
Authors Holger Giese, Florian Klein, Sven Burmester
Comments (0)
books