Essays about: "Timed Automata"

Showing result 16 - 16 of 16 essays containing the words Timed Automata.

  1. 16. Verifying transformations between timed automata specifications and ECA rules

    University essay from Institutionen för datavetenskap

    Author : Ann-Marie Ericsson; [2003]
    Keywords : Active rules; Timed automata; Realtime systems; Transformations;

    Abstract : Event-triggered real-time systems are desirable to use in environments where the arrival of events are hard to predict. The semantics of an event-triggered system is well mapped to the behaviour of an active database management system (ADBMS), specified using event-condition-action (ECA) rules. READ MORE