Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.
Alexandre DavidKim G. LarsenAxel LegayUlrik NymanAndrzej WasowskiPublished in: FMCO (2009)
Keyphrases
- real time systems
- timed automata
- reactive systems
- real time
- distributed systems
- input output
- real time database systems
- embedded systems
- timing constraints
- finite state machines
- high level
- mission critical
- object oriented programming language
- formal specification
- anytime algorithms
- architectural model
- artificial intelligence
- main memory
- conceptual model
- model checking
- cellular automata
- data structure
- real time embedded