Modeling and verification of distributed real-time systems using periodic finite state machines.
Roman ObermaisserChristian El SalloumBernhard HuberHermann KopetzPublished in: Comput. Syst. Sci. Eng. (2007)
Keyphrases
- real time systems
- finite state machines
- distributed systems
- model checking
- real time embedded
- mission critical
- real time
- finite state automata
- embedded systems
- cooperative
- embedded real time systems
- timing constraints
- real time database systems
- distributed environment
- database
- modeling language
- distributed database systems
- regular expressions
- architectural model
- multi agent