ORIS

Overview

Entry last updated: 2006/1/9
Entry last validated: 2006/1/9

Tool homepage: http://www.stlab.dsi.unifi.it/oris/index.html

Tool availability: Commercial (free for academic institutions)

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

ORIS comprises a rich set of tools for building, simulating, analyzing and validating Time Petri Net models. In particular, the semantics of Preemptive Time Petri Nets gives Oris the expressive power which permits the treatment of practical schedulability problems. As a result, Oris can be used to model complex tasking sets which include different release policies such as recurring, sporadic and one shot. It permits modelling of inter-task dependencies due to the timing of releases, to mutual exclusion on shared resources and dataflow precedence relations. It also enables modelling of internal sequencing of tasks and nondeterministic computation times. This applies to both the case of single and multiple processors systems.

(http://www.stlab.dsi.unifi.it/oris/index.html)

Contact Information

Dipartimento Sistemi e Informatica, Università di Firenze
3, via santa Marta, 50139, Firenze Italy

Phone:  +39 055 4796 266 / +39 055 4796 526 / +39 055 4796 365 
Fax:    +39 055 4796 363
E-mail: bucci@dsi.unifi.it; vicario@dsi.unifi.it; fbaldini@dsi.unifi.it; poli@dsi.unifi.it; sassoli@dsi.unifi.it;

Other Remarks

[PN Home][*]
The maintainers of this page