The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML (bibtex)
by ,
Abstract:
The future generation of networked, technical applications demands support for the development of high quality software for the proper real-time coordination of safety-critical systems. In this paper, we present the SceBaSy plugin for the Fujaba Real-Time Tool Suite which supports the scenario-based synthesis of the real-time coordination patterns. Extending our approach for the compositional formal verification of Mechatronic UML models described by components and patterns [5], the plugin enables the designer to specify the required real-time coordination using multiple parameterized scenarios described by a subset of the UML 2.0 sequence diagram notation. In addition to the synthesis, comfortable analysis capabilities have been realized to guide the designer when conflicts between the different scenarios exist.
Reference:
The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML (Holger Giese, Sergej Tissen), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005.
Bibtex Entry:
@InProceedings{GT05_ag,
AUTHOR = {Giese, Holger and Tissen, Sergej},
TITLE = {{The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML}},
YEAR = {2005},
BOOKTITLE = {Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany},
PAGES = {67-70},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2005/FDays_GT05.pdf},
ABSTRACT = {The future generation of networked, technical applications demands support for the development of high quality software for the proper real-time coordination of safety-critical systems. In this paper, we present the SceBaSy plugin for the Fujaba Real-Time Tool Suite which supports the scenario-based synthesis of the real-time coordination patterns. Extending our approach for the compositional formal verification of Mechatronic UML models described by components and patterns [5], the plugin enables the designer to specify the required real-time coordination using multiple parameterized scenarios described by a subset of the UML 2.0 sequence diagram notation. In addition to the synthesis, comfortable analysis capabilities have been realized to guide the designer when conflicts between the different scenarios exist.}
}
Powered by bibtexbrowser