A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems.
Yi DengShengkai LuMichael EvangelistPublished in: HICSS (1) (1997)
Keyphrases
- real time systems
- distributed systems
- real time embedded
- mission critical
- real time
- software architecture
- reactive systems
- real time database systems
- embedded systems
- distributed environment
- object oriented programming language
- embedded real time systems
- real time operating system rtos
- timing constraints
- cooperative