- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
ARTiMon - verification of temp-logic properties over flow of events
AdaCore Internal Seminar - March 22, 2011
ARTiMon - verification of temp-logic properties over flow of events. ARTiMon is a tool which analyzes on-the-fly a flow of dated observations in order to detect hazards expressed in its formal entry language (a temporized logic). A flow may stem from the instrumentation of a natural object, from the simulation of a model, the execution of a code or a system.
ARTiMon can then be used in the design process of complex systems, for model validation, system testing or as an embedded controller. ARTiMon works in variable-step or in fixed-step mode and has no limitation about the length of flow. This is the only tool gathering all those features.
Presenter: Nicolas Rapin - CEA/list researcher.
AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to email@example.com.