Search For:

Displaying 1-7 out of 7 total
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
Found in: IEEE Transactions on Software Engineering
By Laura Carnevali,Lorenzo Ridi,Enrico Vicario
Issue Date:March 2013
pp. 292-304
In the process of testing of concurrent timed systems, input generation identifies values of temporal parameters that let the Implementation Under Test (IUT) execute selected cases. However, when some parameters are not under control of the driver, test ex...
 
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm
Found in: IEEE Software
By Lorenzo Ridi,Jacopo Torrini,Enrico Vicario
Issue Date:January 2012
pp. 76-83
A study of difference-bound matrices and the Floyd-Warshall algorithm in the development of an online scheduler provides the backdrop for a comparison of software practice and algorithmic theory.
 
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers
Found in: Quantitative Evaluation of Systems, International Conference on
By Andr´s Horv´th,Marco Paolieri,Lorenzo Ridi,Enrico Vicario
Issue Date:September 2011
pp. 131-140
In the analysis of stochastic concurrent timed models, probabilistic model checking combines qualitative identification of feasible behaviors with quantitative evaluation of their probability. If the stochastic process underlying the model is a Continuous ...
 
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models
Found in: Quantitative Evaluation of Systems, International Conference on
By Laura Carnevali,Lorenzo Ridi,Enrico Vicario
Issue Date:September 2011
pp. 153-154
Sirio is a framework for simulation and symbolic analysis of preemptive and stochastic extensions of Time Petri Nets (TPNs), enabling an integrated approach to correctness verification and quantitative evaluation of timed concurrent systems. In particular,...
 
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle
Found in: IEEE Transactions on Software Engineering
By Laura Carnevali,Lorenzo Ridi,Enrico Vicario
Issue Date:November 2011
pp. 826-844
Preemptive Time Petri Nets (pTPNs) support modeling and analysis of concurrent timed SW components running under fixed priority preemptive scheduling. The model is supported by a well-established theory based on symbolic state space analysis through Differ...
 
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes
Found in: Quantitative Evaluation of Systems, International Conference on
By András Horváth, Lorenzo Ridi, Enrico Vicario
Issue Date:September 2010
pp. 231-240
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Difference Bounds Matrix (DBM) zones. This makes viable steady state analysis in bo...
 
Automatic Code Generation from Real-Time Systems Specifications
Found in: Rapid System Prototyping, IEEE International Workshop on
By Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario
Issue Date:June 2009
pp. 102-105
We address the problem of rapid development of complex real-timetask-sets through a Model Driven Development (MDD) approach.%The task-set is specified according to the graphic formalism of timelineschemas and it is translated into C-code that implements th...
 
 1