Il presente deliverable costituisce il report dell'Attività 3.3, avente come scopo quello di identificare soluzioni qualitative per la V&V e l'analisi della sicurezza nell'ambito del progetto SISTER. Nello specifico la presente attività è stata condotta facendo riferimento alla metodologia innovativa di V&V, identificata nell'Attività A3.1 descritta nel Deliverable R3.1.1 [1], ed in riferimento ai toolset identificati nel contesto dell'attività A3.2 descritti nel deliverable R3.2.1 [2]. In questo deliverable vengono presentati nell'ordine prima i risultati dell'analisi qualitativa dei pericoli basata sugli scenari (Sezioni 2 e 3), e poi i risultati dell'analisi qualitativa tramite strumenti di model checking (Sezioni 4, 5 e 6).
POR FESR SISTER R3.3.1 Report di analisi qualitativa del sistema SISTER
2019
Abstract
Il presente deliverable costituisce il report dell'Attività 3.3, avente come scopo quello di identificare soluzioni qualitative per la V&V e l'analisi della sicurezza nell'ambito del progetto SISTER. Nello specifico la presente attività è stata condotta facendo riferimento alla metodologia innovativa di V&V, identificata nell'Attività A3.1 descritta nel Deliverable R3.1.1 [1], ed in riferimento ai toolset identificati nel contesto dell'attività A3.2 descritti nel deliverable R3.2.1 [2]. In questo deliverable vengono presentati nell'ordine prima i risultati dell'analisi qualitativa dei pericoli basata sugli scenari (Sezioni 2 e 3), e poi i risultati dell'analisi qualitativa tramite strumenti di model checking (Sezioni 4, 5 e 6).I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
