Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems.
José MeseguerPeter Csaba ÖlveczkyPublished in: ICFEM (2010)
Keyphrases
- real time systems
- distributed systems
- real time embedded
- mission critical
- software architecture
- distributed environment
- real time
- pedagogical agents
- real time operating system rtos
- real time database systems
- embedded systems
- cooperative
- timing constraints
- object oriented programming language
- distributed database systems
- architectural model
- multi agent
- learning experience
- mobile agents