Oris: a tool for modeling, verification and evaluation of real-time systems

Oris is a tool for qualitative verification and quantitative evaluation of reactive timed systems, which supports modeling and analysis of various classes of timed extensions of Petri Nets. As most characterizing features, Oris implements symbolic state space analysis of preemptive Time Petri Nets,...

Full description

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer 2010-09, Vol.12 (5), p.391-403
Main Authors: Bucci, Giacomo, Carnevali, Laura, Ridi, Lorenzo, Vicario, Enrico
Format: Article
Language:English
Subjects:
Applied sciences
Computer programs
Computer Science
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Computer systems performance. Reliability
Exact sciences and technology
Integrated approach
Petri nets
Preempting
Program verification (computers)
Quantitative evaluation
Real time
Regular Paper
Running
Scheduling
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Stochastic models
Theory of Computation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Oris is a tool for qualitative verification and quantitative evaluation of reactive timed systems, which supports modeling and analysis of various classes of timed extensions of Petri Nets. As most characterizing features, Oris implements symbolic state space analysis of preemptive Time Petri Nets, which enable schedulability analysis of real-time systems running under priority preemptive scheduling; and stochastic Time Petri Nets, which enable an integrated approach to qualitative verification and quantitative evaluation. In this paper, we present the current version of the tool and we illustrate its application to two different case studies in the areas of qualitative verification and quantitative evaluation, respectively.
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-010-0156-8