Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS.
Ahmed KhoumsiPublished in: ISSS (2001)
Keyphrases
- real time systems
- distributed systems
- real time embedded
- mission critical
- timed automata
- real time
- embedded systems
- distributed environment
- real time database systems
- petri net
- timing constraints
- embedded real time systems
- architectural model
- mobile agents
- object oriented programming language
- temporal ordering
- anytime algorithms
- computational intelligence