Ponencia
Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert
Autor/es | Martínez, Jabier
Varela Vaca, Ángel Jesús |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2022 |
Fecha de depósito | 2022-11-22 |
Publicado en |
|
ISBN/ISSN | 978-3-031-14861-3 0302-9743 |
Resumen | The modelling of regulatory frameworks and industry stan dards, including their argumentation and expected evidence, are used
during assurance processes to demonstrate the compliance of systems.
However, this is handled ... The modelling of regulatory frameworks and industry stan dards, including their argumentation and expected evidence, are used during assurance processes to demonstrate the compliance of systems. However, this is handled mainly in a static fashion, and using these mod els for dynamic evidence checking along the system life-cycle, including operation (checking the model at runtime), is not yet mainstream. This preliminary work shows a tool-supported modelling method for the auto matic and dynamic evaluation of evidence. The solution is supported by an Eclipse OpenCert tool extension where the capabilities of evidence models are extended with automatic checks. The user monitoring the assurance project receives alerts when evidence are unsatisfied. It also exports a continuous log of these checks using the XES standard to enable traceability and historical creation of passing and failing checks for anal ysis and auditing purposes. While some evidence checks are generic, the diversity of checking processes required our solution to be extensible. |
Agencias financiadoras | Junta de Andalucía Ministerio de Ciencia e Innovación (MICIN). España |
Identificador del proyecto | P20-01224 (COPERNICA)
PID2020-112540RB-C44/AEI/10.13039/501100011033 (AETHER-US) METAMORFOSIS (US-1381375) |
Cita | Martínez, J. y Varela Vaca, Á.J. (2022). Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert. En SAFECOMP 2022: International Conference on Computer Safety, Reliability, and Security (158-165), Munich, Germany: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
978-3-031-14862-0_12.pdf | 657.4Kb | [PDF] | Ver/ | |