Searching for authors named "Matthias Tichy" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Visualization of the execution of Real-Time Statecharts
- …Embedded software systems are used in nearly all of today's industrial products. Statecharts are used for the specification of the reactive behavior of those embedded systems. Since embedded systems have typically no rich user interface to display the current status of the system or even to display …
- Add To MetaCart
-
An Architecture for Configurable Dependability of Application Services
- …Many human activities today depend critically on systems where substantial functionality has been realized using complex software. Therefore, appropriate means to achieve a sufficient degree for dependability are required, which use the available information about the software components and the sys…
- Add To MetaCart
-
Component Templates for Dependable Real-Time Systems
- …A general trend towards more complex technical systems can be observed which results in an increasing demand for methods and tools to develop dependable, high quality software for embedded systems. The UML in principle provides the essential concepts which are required to model such complex, safety-…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards the Compositional Verification of Real-Time UML Designs
- …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…
- Cited by 8 (5 self) – Add To MetaCart
-
Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML
- …One of the concepts proposed for controlling and optimizing the complex mechatronic systems that will emerge when mechatronic components formerly operating in isolation become interconnected is agent-oriented software.…
- Cited by 1 (1 self) – Add To MetaCart
-
Tool Integration at the Meta-Model Level within the FUJABA Tool Suite
- …Current initiatives in the field of integrated development environment (IDE) and CASE tool integration such as Eclipse as well as the lately happened acquisitions of Rational and Together by major IDE vendors indicate that tool integration has become an important issue for the IT industry. However, …
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 6.
