A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems.
Wei-Tsun SunAlain GiraultGwenaël DelavalPublished in: SIES (2015)
Keyphrases
- fault tolerant
- embedded systems
- safety critical
- fault tolerance
- embedded software
- distributed systems
- computing power
- low cost
- resource limited
- embedded devices
- real time systems
- software systems
- load balancing
- real time embedded
- state machine
- instruction set
- consumer electronics
- multi agent systems
- flash memory
- efficient implementation
- case study
- random access
- computer architecture
- formal methods
- formal specification
- embedded real time systems