Measurement-based Online Verification of Timing Properties in Distributed Systems.
Günter EhmenBjörn KoopmannYosab BebawyPhilipp IttershagenPublished in: COINS (2020)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- message passing
- fault tolerance
- online learning
- geographically distributed
- distributed computing
- distributed database systems
- data replication
- load balancing
- security policies
- loosely coupled
- real time systems
- asynchronous circuits
- high assurance
- mobile agents
- operating system
- case study
- service oriented architecture
- agent based systems