Software for modelling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly erroneous) finite precision arithmetic and does not take into account uncertainty in the input data. The program SmartMOBILE enhances the existing MSSMOBILE with verified techniques to provide a guarantee that the obtained results are correct and measure the influence of data uncertainty.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Auer, E.: Toward verified modelling and simulation of closed loop systems in SMARTMOBILE (2010)