TIMESTOOL

Times - A Tool for Modeling and Implementation of Embedded Systems. It is a tool set for modelling, schedulability analysis, synthesis of (optimal) schedules and executable code. It is appropriate for systems that can be described as a set of tasks which are triggered periodically or sporadically by time or external events... Currently Times supports system specification, system analysis and code generation for LegoOS platform. A system specification in Times consists of three parts: the control automata modelled as a network of timed automata extended with tasks, a task table with information about the processes triggered (released) when the control automata changes location, and a scheduling policy.

Primary location: Uppsala Sweden