Reference:
Holger Giese and Sergej Tissen, "The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML", in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 67-70, 2005.
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.
Links:
@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},
PDF = {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.}
}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.
Powered by
bibtexbrowser