Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Modeling and analysis of stochastic systems
Modeling and analysis of stochastic systems
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Task automata: Schedulability, decidability and undecidability
Information and Computation
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models
IEEE Transactions on Software Engineering
SHARPE at the age of twenty two
ACM SIGMETRICS Performance Evaluation Review
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems
IEEE Transactions on Software Engineering
Dependability evaluation of complex systems with TimeNET
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Oris: a tool for modeling, verification and evaluation of real-time systems
International Journal on Software Tools for Technology Transfer (STTT)
Element Based Semantics in Multi Formalism Performance Models
MASCOTS '10 Proceedings of the 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes
QEST '10 Proceedings of the 2010 Seventh International Conference on the Quantitative Evaluation of Systems
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle
IEEE Transactions on Software Engineering
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Romeo: a tool for analyzing time petri nets
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Transient analysis of non-Markovian models using stochastic state classes
Performance Evaluation
Non-markovian analysis for model driven engineering of real-time software
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Transient analysis of networks of stochastic timed automata using stochastic state classes
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Hi-index | 0.00 |
Formal methods supporting development of safety-critical systems require tools that can be integrated within composed environments. Sirio is a framework for simulation and analysis of various timed extensions of Petri Nets, supporting correctness verification and quantitative evaluation of timed concurrent systems. As a characterizing trait, Sirio is expressly designed to support reuse and to facilitate extensions such as the definition of new reward measures, new variants of the analysis, and new models with a different semantics. We describe here the functional responsibilities and the SW architecture of the framework.