Reference : Optimizing verification of structurally evolving algebraic petri nets
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
Optimizing verification of structurally evolving algebraic petri nets
Khan, Yasir Imtiaz mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Lecture Notes in Computer Science
Springer Berlin Heidelberg
5th International Workshop, SERENE 2013
from October 3-4, 2013
[en] Evolution ; Model checking ; Slicing
[en] System models are subject to evolve during the development life cycle, along which an initial version goes through a series of evolutions, generally aimed at progressively reaching all the requested qualities (completeness, correctness etc.). Among the existing development methodologies the iterative and incremental one has been proved to be efficient for system development but lacks of support for an adequate verification process. When considering Algebraic Petri nets (APNs) for modeling and model checking for verification, all the proofs must be redone after each iteration which is impractical both in terms of time and space. In this work, we introduce an Algebraic Petri net slicing technique that optimizes the model checking of static or structurally evolving APN models. Furthermore, our approach is proposing a classification of evolutions dedicated to the improvement of model checking.
Fonds National de la Recherche - FnR
F1R-CSC-PFN-09IS02 > Model-Driven Valid and Verif of Resilient Software Systems > > GUELFI Nicolas
Researchers ; Professionals ; Students

File(s) associated to this reference

Fulltext file(s):

Open access
Optimizeevo.pdfPublisher postprint1.75 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.