This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a system is the same no matter where a component is executed, (2) the developer does not have to care about the differences of local versus distributed execution of components, and (3) the components can be developed independently. We present the design and implementation of a component model for real time systems that is well suited for transparent distribution. The component model is based on logical execution time, which abstracts from physical execution time and thereby from both the execution platform and the communication topology. 1
A real-time component may be developed under the assumption that it has the entire platform at its d...
Component technology has become a central focus of software engineering in research and development....
Run-time verification checks whether the active execution traces of an application fulfills its spec...
In recent years, many component-based real-time systems have been proposed as a solution to modular ...
Distributed computing systems are increasingly pervading all aspects Of daily life. This rapid growt...
: Large distributed real-time systems can be built effectively by integrating a set of nearly autono...
Our main focus in this thesis is on providing guidelines, methods, and tools for design, configurati...
CRAFTERS (Constraint and Application Driven Framework for Tailoring Embedded Real-time System) proje...
Although a large number of formal methods have been reported in the literature, most of them are app...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
Existing real-time middlewares require that real-time constraints are specified by the application c...
. In this paper, we describe an approach to the representation, specification and implementation of ...
Large-scale distributed systems, such as telematics systems, are often built using component-middlew...
Component-based development approaches are becoming commonplace in business applications: they must ...
The concepts of transaction and of data consistency are defined for a distributed system. The cases ...
A real-time component may be developed under the assumption that it has the entire platform at its d...
Component technology has become a central focus of software engineering in research and development....
Run-time verification checks whether the active execution traces of an application fulfills its spec...
In recent years, many component-based real-time systems have been proposed as a solution to modular ...
Distributed computing systems are increasingly pervading all aspects Of daily life. This rapid growt...
: Large distributed real-time systems can be built effectively by integrating a set of nearly autono...
Our main focus in this thesis is on providing guidelines, methods, and tools for design, configurati...
CRAFTERS (Constraint and Application Driven Framework for Tailoring Embedded Real-time System) proje...
Although a large number of formal methods have been reported in the literature, most of them are app...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
Existing real-time middlewares require that real-time constraints are specified by the application c...
. In this paper, we describe an approach to the representation, specification and implementation of ...
Large-scale distributed systems, such as telematics systems, are often built using component-middlew...
Component-based development approaches are becoming commonplace in business applications: they must ...
The concepts of transaction and of data consistency are defined for a distributed system. The cases ...
A real-time component may be developed under the assumption that it has the entire platform at its d...
Component technology has become a central focus of software engineering in research and development....
Run-time verification checks whether the active execution traces of an application fulfills its spec...