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.

A tailored V-Model exploiting the theory of preemptive Time Petri Nets / L.Carnevali; L.Grassi; E.Vicario. - STAMPA. - (2008), pp. 87-100. ((Intervento presentato al convegno ADA EUROPE 2008 tenutosi a VENEZIA - ITALIA nel GIUGNO 2008.

A tailored V-Model exploiting the theory of preemptive Time Petri Nets

CARNEVALI, LAURA;VICARIO, ENRICO
2008

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.
Int. Conf. on Reliable Software Technologies - Ada-Europe
ADA EUROPE 2008
VENEZIA - ITALIA
GIUGNO 2008
L.Carnevali; L.Grassi; E.Vicario
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2158/388811
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 4
social impact