The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems

Authors:
Sven Burmester;Holger Giese;Martin Hirsch;Daniela Schilling;Matthias Tichy
Affiliations:
University of Paderborn, Paderborn, Germany;University of Paderborn, Paderborn, Germany;University of Paderborn, Paderborn, Germany;University of Paderborn, Paderborn, Germany;University of Paderborn, Paderborn, Germany
Venue:
Proceedings of the 27th international conference on Software engineering
Year:
2005

Citing 3
Cited 20

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
Tool integration at the meta-model level: the Fujaba approach

International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML

MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications

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
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Controversy Corner: A new research agenda for tool integration

Journal of Systems and Software
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems

Software Engineering for Self-Adaptive Systems
A classification and comparison of model checking software architecture techniques

Journal of Systems and Software
An UML-based approach for validation of software architecture descriptions

TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems

ACM Transactions on Embedded Computing Systems (TECS)
Model-based integration

MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Fujaba4eclipse real-time tool suite

MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
On the behavioral semantics of real-time domain specific visual languages

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Software engineering of component-based systems-of-systems: a reference framework

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Lightweight testing of communication networks with e-motions

TAP'11 Proceedings of the 5th international conference on Tests and proofs
Temporal graph queries to support software evolution

ICGT'06 Proceedings of the Third international conference on Graph Transformations
Towards the UML-based formal verification of timed systems

FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Systematic evolution of model-based spreadsheet applications

Journal of Visual Languages and Computing
Model-driven performance analysis of rule-based domain specific visual models

Information and Software Technology
Software architecture-based analysis and testing: a look into achievements and future challenges

Computing
Graph and model transformation tools for model migration

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

No abstract available