TY - GEN
T1 - PNPEq
T2 - 28th Asia-Pacific Software Engineering Conference, APSEC 2021
AU - Mittal, Rakshit
AU - Blouin, Dominique
AU - Bandyopadhyay, Soumyadip
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - Software for embedded systems goes through a scheduling phase where it is subjected to optimizing transformations. In such a scenario, validating the preservation of semantics across the transformation is essential. In this paper, we present PNPEq (Petri Net Program Equivalence), an ongoing work on a novel translation validation technique to handle various schedule-time conditional optimizations among others. The method makes use of a reduced size Petri net model integrating SMT solvers for validating arithmetic transformations. The approach is illustrated with a simple program and its translation, and further validated with a preliminary example suite.
AB - Software for embedded systems goes through a scheduling phase where it is subjected to optimizing transformations. In such a scenario, validating the preservation of semantics across the transformation is essential. In this paper, we present PNPEq (Petri Net Program Equivalence), an ongoing work on a novel translation validation technique to handle various schedule-time conditional optimizations among others. The method makes use of a reduced size Petri net model integrating SMT solvers for validating arithmetic transformations. The approach is illustrated with a simple program and its translation, and further validated with a preliminary example suite.
KW - Conditional optimization
KW - Path-based analysis
KW - Petri net
KW - Program equivalence
KW - Translation validation
UR - https://www.scopus.com/pages/publications/85126187179
U2 - 10.1109/APSEC53868.2021.00059
DO - 10.1109/APSEC53868.2021.00059
M3 - Conference contribution
AN - SCOPUS:85126187179
T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC
SP - 509
EP - 514
BT - Proceedings - 2021 28th Asia-Pacific Software Engineering Conference, APSEC 2021
PB - IEEE Computer Society
Y2 - 6 December 2021 through 9 December 2021
ER -