International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems (IWCFS)
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
Safety critical systems have finally made their way into our
daily life. While recent industrial and academic research could already
improve the design cycle for such systems, ensuring the functionality
of such systems still remains an open question. Such systems which are
composed of hardware as well as software components have to be checked
since any wrong behavior of the system could end up in harming human
life. To this end, program analysis techniques can be applied in order to
ensure that the program works as intended and that no unwanted behavior is executed. However, approaches like static or dynamic program
analysis which are widely applied for this purpose still lead a large number of fault positive results. To overcome such limitations an alternative
approach called symbolic execution has been proposed. In this work, we
present a tool called YASSi which implements this approach. Applying
YASSi allows to symbolically execute programs written in the C/C++
language. By this, YASSi can be applied for several applications needed
for the checking program for safety critical properties like (1) assertion
checking, (2) reachability analysis, or (3) stimuli generation for digital
circuits.
Forschungs-