Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Early Validation Framework for Critical and Complex Process-Centric Systems

Fahad Rafique Golra 1 Joël Champeau 2 Ciprian Teodorov 2
1 PASS - Process for Adaptative Software Systems
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Télécom Bretagne
2 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Guaranteeing the correctness of the future system is of vital importance for the development of critical and complex systems. Rigorous software development methodologies are used for such systems, where formal methods for the verification of properties guarantee the required level of correctness. For process-centric, critical and complex systems, one needs continuous observation of the process (through simulation and visualization) both during the development for correctness and afterwards for process improvement. We present a framework with associated methodology and tools, for the development of process-centric critical and complex systems. This early validation methodology promotes formal verification of the process model alongside agent-oriented simulation and visualization of the process models in a distributed context. Moreover, the process simulation technique proposed in the methodology allows step-wise replacement of the simulated components with the actual system services. We explain the proposed methodology using an adaptation of a real-life case-study from the military sector.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02149584
Contributeur : Marie Briec <>
Soumis le : mardi 21 avril 2020 - 18:17:50
Dernière modification le : lundi 30 novembre 2020 - 17:12:03

Fichier

Golra2019.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems. 20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩. ⟨hal-02149584⟩

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

75