UPPAAL Times Tool

Submitted by akarns on Mon, 05/08/2017 - 10:11am

UPPAAL Times Tool

Description: Times (Tool for Modeling and Implementation of Embedded Systems) 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.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://www.timestool.com/

Download: Releases and installation instructions.

Documentation: Documentation page and publications.

Contact: Contact page and email (times@timestool.com)

Excerpt from: http://www.timestool.com/