Timed Automata with Data Structures for Distributed Systems Design and Analysis.
Ruggero LanotteAndrea Maggiolo-SchettiniAngelo TroinaPublished in: SEFM (2005)
Keyphrases
- response time
- distributed systems
- fault tolerance
- data replication
- data structure
- fault tolerant
- timed automata
- software architecture
- real time systems
- distributed environment
- emergent behavior
- message passing
- case study
- geographically distributed
- security policies
- operating system
- machine learning
- distributed database systems
- model checking
- multiagent systems
- data availability
- object oriented
- high assurance