Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Multivariate Bernstein polynomials and convexity
Computer Aided Geometric Design
Theoretical Computer Science
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
International Workshop on Timed Petri Nets
The Impressive Power of Stopwatches
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Timing Assumptions and Verification of Finite-State Concurrent Systems
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Galileo: A Tool for Dynamic Fault Tree Analysis
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
Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
IEEE Transactions on Software Engineering
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models
IEEE Transactions on Software Engineering
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems
IEEE Transactions on Software Engineering
Testing real-time systems using UPPAAL
Formal methods and testing
Oris: a tool for modeling, verification and evaluation of real-time systems
International Journal on Software Tools for Technology Transfer (STTT)
A framework for simulation and symbolic state space analysis of non-markovian models
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models
QEST '11 Proceedings of the 2011 Eighth International Conference on 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
Transient analysis of non-Markovian models using stochastic state classes
Performance Evaluation
| Hi-index | 0.00 |
Quantitative evaluation of models with stochastic timings can decisively support schedulability analysis and performance engineering of real-time concurrent systems. These tasks require modeling formalisms and solution techniques that can encompass stochastic temporal parameters firmly constrained within a bounded support, thus breaking the limits of Markovian approaches. The problem is further exacerbated by the need to represent suspension of timers, which results from common patterns of real-time programming. This poses relevant challenges both in the theoretical development of non-Markovian solution techniques and in their practical integration within a viable tailoring of industrial processes. We address both issues by extending a method for transient analysis of non-Markovian models to encompass suspension of timers. The solution technique addresses models that include timers with bounded and deterministic support, which are essential to represent synchronous task releases, timeouts, offsets, jitters, and computations constrained by a Best Case Execution Time (BCET) and a Worst Case Execution Time (WCET). As a notable trait, the theory of analysis is amenable to the integration within a Model Driven Development (MDD) approach, providing specific evaluation capabilities in support of performance engineering without disrupting the flow of design and documentation of the consolidated practice.