A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets

Authors:
Laura Carnevali;Leonardo Grassi;Enrico Vicario
Affiliations:
Dipartimento di Sistemi e Informatica, Università di Firenze,;Dipartimento di Sistemi e Informatica, Università di Firenze,;Dipartimento di Sistemi e Informatica, Università di Firenze,
Venue:
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Year:
2008

Citing 8
Cited 1

Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Static Analysis and Dynamic Steering of Time-Dependent Systems

IEEE Transactions on Software Engineering
The Impressive Power of Stopwatches

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
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)

Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Analysis of Real Time Systems through the ORIS Tool

QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software

ECRTS '07 Proceedings of the 19th Euromicro Conference on Real-Time Systems

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a methodology that embeds the theory of preemptive Time Petri Nets (pTPN) along development and verification activities of a V-Model lifecycle to support the construction of concurrent real time SW components. Design activities leverage on a pTPN specification of the set of concurrent timed tasks. This supports design validation through simulation and state space analysis, and drives disciplined coding based on conventional primitives of a real-time operating system. In verification activities, the pTPN model comprises an Oracle for unit and integration testing and its symbolic state space supports test case selection, test sensitization and coverage evaluation.