Formalization and correctness of the PALS architectural pattern for distributed real-time systems.
José MeseguerPeter Csaba ÖlveczkyPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- real time systems
- distributed systems
- real time embedded
- mission critical
- pedagogical agents
- real time
- software architecture
- real time operating system rtos
- distributed environment
- real time database systems
- embedded systems
- cooperative
- timing constraints
- mobile agents
- open source
- multi agent
- object oriented programming language
- machine learning
- knowledge representation