TY - GEN
T1 - Abstract simulation
T2 - 2009 International Conference on Embedded Software and Systems, ICESS 2009
AU - Chapoutot, Alexandre
AU - Martel, Matthieu
PY - 2009/10/12
Y1 - 2009/10/12
N2 - Simulink is one of the most widely used industrial tools to design embedded systems. Applying formal methods sooner in the cycle of development is an important industrial challenge in order to reduce the cost of bug fixing. In this article, we introduce a new method, called Abstract Simulation and based on abstract interpretation of Simulink models. Abstract Simulation uses several numerical domains such as a domain for Taylor forms or floating-point numbers with errors. These domains allow us to estimate errors introduced by numerical algorithms and by computations during simulations. As a result, our method makes it possible to validate numerical behaviors of embedded systems modeled in Simulink. A prototype has been implemented and experimental results are commented.
AB - Simulink is one of the most widely used industrial tools to design embedded systems. Applying formal methods sooner in the cycle of development is an important industrial challenge in order to reduce the cost of bug fixing. In this article, we introduce a new method, called Abstract Simulation and based on abstract interpretation of Simulink models. Abstract Simulation uses several numerical domains such as a domain for Taylor forms or floating-point numbers with errors. These domains allow us to estimate errors introduced by numerical algorithms and by computations during simulations. As a result, our method makes it possible to validate numerical behaviors of embedded systems modeled in Simulink. A prototype has been implemented and experimental results are commented.
U2 - 10.1109/ICESS.2009.80
DO - 10.1109/ICESS.2009.80
M3 - Conference contribution
AN - SCOPUS:70349671589
SN - 9780769536781
T3 - Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009
SP - 83
EP - 92
BT - Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009
Y2 - 25 May 2009 through 27 May 2009
ER -