Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems.
Ramla SaddemArmand ToguyéniMoncef TaginaPublished in: CASE (2011)
Keyphrases
- embedded systems
- low cost
- computing power
- real time systems
- embedded real time systems
- resource limited
- embedded software
- safety critical
- embedded devices
- real time
- cyber physical systems
- processing power
- data acquisition
- real time image processing
- control system
- software systems
- consumer electronics
- computing systems
- flash memory
- response time
- formal methods
- computer systems
- real world
- hw sw
- control strategy
- protocol stack
- building blocks