DocumentCode :
1970993
Title :
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Author :
Kowshik, Sumant ; Rosu, Grigore ; Sha, Lui
Author_Institution :
Illinois Univ., Urbana, IL
fYear :
2006
fDate :
25-28 June 2006
Firstpage :
23
Lastpage :
34
Abstract :
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system interacts with the passenger entertainment system in providing passengers the distance-to-destination information. It is imperative that failures in the non-critical subsystem should not compromise critical functionality. This architectural principle for robustness can, however, be easily compromised by implementation-level errors. We describe SafeFlow, which statically analyzes core components in the system to ensure that they use non-core values communicated through shared memory only if they are run-time monitored for safety or recoverability. Using simple, local annotations and semantic restrictions on shared memory usage in the core component, SafeFlow precisely identifies accesses to unmonitored non-core values. With a few false positives, it identifies erroneous dependencies of critical data on non-core values that can arise due to programming errors, inadvertent accesses, or wrong assumptions regarding the absence of difficult-to-detect implementation errors such as data races and synchronization. We demonstrate the utility of SafeFlow by applying it to discover critical value flow dependencies in three prototype systems
Keywords :
control system analysis computing; data flow analysis; data structures; embedded systems; shared memory systems; synchronisation; SafeFlow analysis; data flow algorithms; data races; embedded control systems; safe value flow; static analysis; synchronization; Actuators; Aircraft navigation; Condition monitoring; Control systems; Robustness; Runtime; Software prototyping; Software safety; User interfaces; Voltage control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Dependable Systems and Networks, 2006. DSN 2006. International Conference on
Conference_Location :
Philadelphia, PA
Print_ISBN :
0-7695-2607-1
Type :
conf
DOI :
10.1109/DSN.2006.66
Filename :
1633492
Link To Document :
بازگشت