Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.
Boris MadzarJalil BoudjadarJuergen DingelThomas E. FuhrmanS. RameshPublished in: FACS (2016)
Keyphrases
- fault tolerant
- data flow
- formal analysis
- distributed systems
- fault tolerance
- safety critical
- formal methods
- database machine
- state machine
- control flow
- management system
- load balancing
- high assurance
- software engineering
- expert systems
- message passing
- data streams
- case study
- artificial intelligence
- interconnection networks
- databases
- database