Holger Giese, Matthias TIchy, Sven Burmester, Stephan Flake, Wilhelm Schaefer  Home/Search
Context Related
| clab.de/vis/flake/publica...esec03.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: clab.de/vis/flake/public...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem for the software controlling mechatronic systems, as we provide a domain specific formal semantic definition for a subset of the UML 2.0 component model and an integrated sequence of design steps. These steps prescribe how to compose complex software systems from domain-specific patterns which model a... (Update)
Cited by: More
Towards the Compositional Verification of Real-Time.. - Giese, TIchy.. (2003) (Correct)
Multi-Agent System Design for Safety-Critical.. - Giese, Burmester, .. (2003) (Correct)
Active bibliography (related documents): More All
0.4: Formal Semantics of Static and Temporal State-Oriented OCL.. - Flake, Mueller (2003) (Correct)
0.3: Visualization of the execution of Real-Time Statecharts - Matthias Tichy And (2003) (Correct)
0.3: Tool Integration at the Meta-Model Level within.. - Burmester, Giese, .. (2003) (Correct)
Similar documents based on text: More All
0.2: An Architecture for Configurable Dependability of.. - Matthias Tichy And (2003) (Correct)
0.2: A Jini-supported Distributed Version and Con - Guration Management System (2001) (Correct)
0.2: Seamless UML Support for Service-based Software Architectures - Tichy, Giese (2003) (Correct)
Related documents from co-citation: More All
2: Enriching OCL using observational mu-calculus - Bradfield, Filipe et al. - 2002
2: A Compositional Approach to Statecharts Semantics - Luttgen, von der Beeck et al. - 2000
2: Contract-based Component System Design - Giese - 2000
BibTeX entry: (Update)
Giese, H., Tichy, M., Burmester, S., Schafer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland. (2003) http://citeseer.ist.psu.edu/article/giese03towards.html More
@misc{ giese03towards,
author = "H. Giese and M. Tichy and S. Burmester and W. Schafer and S. Flake",
title = "Towards the Compositional Verification of Real-Time UML Designs",
text = "Giese, H., Tichy, M., Burmester, S., Schafer, W., Flake, S.: Towards the
Compositional Verification of Real-Time UML Designs. In: Proc. of the European
Software Engineering Conference (ESEC), Helsinki, Finland. (2003)",
year = "2003",
url = "citeseer.ist.psu.edu/article/giese03towards.html" }
Citations (may not include all citations):299 Model Checking for Real-Time Systems (context) - Alur, Courcoubetis et al. - 1990
271 Real-Time Object-Oriented Modeling (context) - Selic, Gullekson et al. - 1994
98 Kronos: A verification tool for real-time systems (context) - Yovine - 1997
92 Quantitative Temporal Reasoning (context) - Emerson, Mok et al. - 1992
83 Model Checking Large Software Specifications - Chan, Anderson et al. - 1998
75 IEEE Transactions on Software Engineering (context) - Misra, Chandy et al. - 1981
68 Using UML for Modeling Complex Real-Time Systems (context) - Selic, Rumbaugh - 1998
46 and Doron Peled (context) - Clarke, Grumberg - 2000
40 Real-Time UML: Developing Efficient Objects for Embedded Sys.. (context) - Douglass - 1999
26 Object-Oriented Technology for Real-Time Systems: A Practica.. (context) - Awad, Kuusela et al. - 1996
16 Enriching OCL Using Observational mu-Calculus - Bradfield, Filipe et al. - 2002
13 The Verus Tool: A Quantitative Approach to the Formal Verifi.. - Campos, Clarke et al. - 1997
12 An OCL Extension for Real-Time Constraints - Flake, Mueller - 2002
12 Contract-based Component System Design - Giese - 2000
11 UML Profile for Schedulability (context) - Group - 2002
11 RAVEN: Real-Time Analyzing and Verification Environment (context) - Ruf - 2001
10 Toward OCLRT (context) - Knapp, RT et al. - 2002
10 Integrating UML Diagrams for Production Control Systems (context) - Kohler, Nickel et al. - 2000
5 and Real-Time Applications with UML (context) - Gomaa, Distributed - 2000
5 Analyzing Real-Time Systems - Ruf, Kropf - 2000
5 Real-Time Statechart Semantics (context) - Giese, Burmester - 2003
4 Verifying Cross-Cutting Features as Open Systems - Li, Krishnamurthi et al. - 2002
3 Towards the compositional verification of real-time uml desi.. - Giese, Flake et al. - 2003
3 UPPAAL implementation secrets - Behrmann, Bengtsson et al. - 2002
3 A formal calculus for the compositional pattern-based design.. (context) - Giese - 2003
3 A Compositional Approach to Statecharts Semantics - Luttgen, von der Beeck et al. - 2000
3 UML Superstructure Submission V (context) - Group - 2003
Documents on the same site (http://www.c-lab.de/vis/flake/publications/index.html): More
A UML Profile for Real-Time Constraints with the OCL - Flake, Mueller (2002) (Correct)
Real-Time Constraints with the OCL - Flake (2002) (Correct)
Specification of Real-Time Properties for UML Models - Flake, Mueller (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC