Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite

Authors:
Stefan Henkler;Joel Greenyer;Martin Hirsch;Wilhelm Schäfer;Kahtan Alhawash;Tobias Eckardt;Christian Heinzemann;Renate Loffler;Andreas Seibel;Holger Giese
Affiliations:
Software Engineering Group, University of Paderborn, Germany;Software Engineering Group, University of Paderborn, Germany;Software Engineering Group, University of Paderborn, Germany;Software Engineering Group, University of Paderborn, Germany;Software Engineering Group, University of Paderborn, Germany;Software Engineering Group, University of Paderborn, Germany;Software Engineering Group, University of Paderborn, Germany;Software Engineering Group, University of Paderborn, Germany;System Analysis and Modeling Group, Hasso Plattner Insitute, University of Potsdam, Germany;System Analysis and Modeling Group, Hasso Plattner Insitute, University of Potsdam, Germany
Venue:
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Year:
2009

Citing 13
Cited 6

Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
Triggered message sequence charts

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
From Scenarios to Timed Automata: Building Specifications from Users Requirements

APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Playing with Time: On the Specification and Execution of Time-Enriched LSCs

MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Towards the compositional verification of real-time UML designs

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modular design and verification of component-based mechatronic systems with online-reconfiguration

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems

Proceedings of the 27th international conference on Software engineering
Live sequence charts applied to hardware requirements specification and verification: A VCI bus interface model

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Nobody's perfect: interactive synthesis from parametrized real-time scenarios

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View

ICSE '07 Proceedings of the 29th international conference on Software Engineering
The Challenges of Building Advanced Mechatronic Systems

FOSE '07 2007 Future of Software Engineering
Check it out: on the efficient formal verification of live sequence charts

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Pattern synthesis from multiple scenarios for parameterized real-time UML models

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools

Software engineering for health education and care delivery systems: The Smart Condo project

SEHC '09 Proceedings of the 2009 ICSE Workshop on Software Engineering in Health Care
A classification and comparison of model checking software architecture techniques

Journal of Systems and Software
Model-driven development with Mechatronic UML

Graph transformations and model-driven engineering
Component behavior synthesis for critical systems

ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Modeling and verifying dynamic communication structures based on graph transformations

Computer Science - Research and Development
Component-based modeling of dynamic systems using heterogeneous composition

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process addresses the existing scalability problems by a proper decomposition and allows the user to define particular restrictions on the resulting statecharts.