Title :
SeBip: A Symbolic Executor for BIP
Author :
Wang Qiang;Simon Bliudze
Author_Institution :
Ecole Polytech. Fed. de Lausanne, Lausanne, Switzerland
Abstract :
This paper presents SeBip, the first symbolic executor for component-based systems modeled in BIP. To tackle the path explosion problem, SeBip combines partial order reduction technique to reduce the number of interactions to be explored during executing the system symbolically. An experimental evaluation has been carried out to demonstrate the scalability of SeBip on detecting bugs.
Keywords :
"Reactive power","Computational modeling","Component architectures","Temperature control","Explosions","System analysis and design"
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2015 20th International Conference on
DOI :
10.1109/ICECCS.2015.26
