Assure-It: A Runtime Synchronization Tool of Assurance Cases
Résumé
More recently, the idea of runtime synchronization of GSN has been proposed, where evidences are being collected from logs that are produced by monitors and other software components. By introducing the runtime synchronization, GSN can be regarded as a program where its validity is checked by applying runtime contexts. In this fast abstract, we introduce Assure-It, a novel tool that enforces administration scripts with assurance cases guidance and runtime synchronization.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...