Development Log

  • GNAT Pro | Ada Compiler
    Jan 17th, 2011

    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 events@adacore.com.