Assure-It: A Runtime Synchronization Tool of Assurance Cases - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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.
Fichier principal
Vignette du fichier
FA6.pdf (244.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00926410 , version 1 (09-01-2014)

Identifiants

  • HAL Id : hal-00926410 , version 1

Citer

Shunsuke Shida, Atsushi Uchida, Masaki Ishii, Masahiro Ide, Kimio Kuramitsu. Assure-It: A Runtime Synchronization Tool of Assurance Cases. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00926410⟩
120 Consultations
254 Téléchargements

Partager

Gmail Facebook X LinkedIn More