Analysis of Real Time Systems through the ORIS Tool

This paper gives an overview of the Oris tool. Oris comprises a rich set of modules for building, simulating, analyzing and validating real-time systems described through various TPN formalisms. After an introduction of the Oris framework, we describe a number of Oris plug-ins that have been implemented to support some recently-developed analysis techniques.