--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on January 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Value Analysis plugin versus Simulation Tool



Hello,


We applied the Value Analysis plugin in a case study based on an embedded
aerospace control software.



The case study considered two scenarios where the sensors measurements are
treated in different ways.



The first scenario considered the maximum range of values accepted by the
sensors (Frama C float interval and Frama C interval functions). The
analysis was performed smoothly and gave valid ranges of values for the
variables.



In the second scenario it was adopted a different approach. It was used all
the values of sensors measurements obtained from a flight simulation record
(ascii file) as input to the Value Analysis/Frama-, i. e., the Frama C
interval functions do not were used. As a result, the analysis gave
variables profiles very similar to the simulation ones.



Is valid the second scenario? Can the Value Analysis/Frama-C be used as a
tool for simulation?


Best regards
Nanci, Rovedy and Luciana
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130125/04da5a21/attachment.html>