Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Concurrent object-oriented programming
Communications of the ACM
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Compiling Real-Time Specifications into Extended Automata
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Real-time object-oriented modeling
Real-time object-oriented modeling
An operational semantics for timed CSP
Information and Computation
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Middleware: a model for distributed system services
Communications of the ACM
A modular approach to programming distributed real-time systems
Journal of Parallel and Distributed Computing - Special issue on object-oriented real-time systems
Coordinating distributed objects: an actor-based approach to synchronization
Coordinating distributed objects: an actor-based approach to synchronization
Object-oriented application frameworks
Communications of the ACM
Lessons learned building reusable OO frameworks for distributed software
Communications of the ACM
Using Real Time Constraints for Modularisation
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
A Language Framework for Multi-Object Coordination
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Real-Time Specification Inheritance Anomalies and Real-Time Filters
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A Modular Approach for Programming Embedded Systems
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
An actor-based framework for real-time coordination
An actor-based framework for real-time coordination
A foundation for actor computation
Journal of Functional Programming
Temporal abstract classes and virtual temporal specifications for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Time weaver: a software-through-models framework for embedded real-time systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
A Hierarchical Framework for Component-based Real-time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Large and complex real‐time systems can benefit significantly from a component‐based development approach where new systems are constructed by composing reusable, documented and previously tested concurrent objects. However, reusing objects which execute under real‐time constraints is problematic because application specific time and synchronization constraints are often embedded in the internals of these objects. The tight coupling of functionality and real‐time constraints makes objects interdependent, and as a result difficult to reuse in another system. We propose a model which facilitates separate and modular specification of real‐time constraints, and show how separation of real‐time constraints and functional behavior is possible. We present our ideas using the Actor model to represent untimed objects, and the Real‐time Synchronizers language to express real‐time and synchronization constraints. We discuss specific mechanisms by which Real‐time Synchronizers can govern the interaction and execution of untimed objects. We treat our model formally, and succinctly define what effect real‐time constraints have on a set of concurrent objects. We briefly discuss how a middleware scheduling and event‐dispatching service can use the synchronizers to execute the system.