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.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.