TY - GEN
T1 - YASSi
T2 - 11th International Workshop on Biological Knowledge Discovery from Data, BIOKDD 2020, the 4th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, IWCFS 2020, the 2nd International Workshop on Machine Learning and Knowledge Graphs, MLKgraphs2019, held at the 31st International Conference on Database and Expert Systems Applications, DEXA 2020
AU - Pointner, Sebastian
AU - Gonzalez-de-Aledo, Pablo
AU - Wille, Robert
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
KW - Assertion checking
KW - Stimuli generation
KW - Symbolic simulation
UR - http://www.scopus.com/inward/record.url?scp=85092110617&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-59028-4_3
DO - 10.1007/978-3-030-59028-4_3
M3 - Conference contribution
AN - SCOPUS:85092110617
SN - 9783030590277
T3 - Communications in Computer and Information Science
SP - 25
EP - 31
BT - Database and Expert Systems Applications - DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Proceedings
A2 - Kotsis, Gabriele
A2 - Khalil, Ismail
A2 - Sametinger, Johannes
A2 - Tjoa, A Min
A2 - Fischer, Lukas
A2 - Moser, Bernhard
A2 - Martinez-Gil, Jorge
A2 - Mashkoor, Atif
A2 - Fensel, Anna
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 14 September 2020 through 17 September 2020
ER -