Exploring the Concept of Abstract State Machines for System Runtime Enforcement

Modern intelligent software systems are rapidly growing in complexity and scale, and many real usage scenarios might be impossible to reproduce and validate at design-time. As envisioned by the Models@run.time research community, the use of formal models at runtime are fundamental to address this ch...

Descripción completa

Detalles Bibliográficos
Autores principales: Riccobene, Elvinia, Scandurra, Patrizia
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242040/
http://dx.doi.org/10.1007/978-3-030-48077-6_18
_version_ 1783537168252141568
author Riccobene, Elvinia
Scandurra, Patrizia
author_facet Riccobene, Elvinia
Scandurra, Patrizia
author_sort Riccobene, Elvinia
collection PubMed
description Modern intelligent software systems are rapidly growing in complexity and scale, and many real usage scenarios might be impossible to reproduce and validate at design-time. As envisioned by the Models@run.time research community, the use of formal models at runtime are fundamental to address this challenge. In this paper, we explore the concept of ASM@run.time and put this definition into the context of the runtime enforcement technique to address the runtime assurance of software systems. This is a work-in-progress research line.
format Online
Article
Text
id pubmed-7242040
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72420402020-05-22 Exploring the Concept of Abstract State Machines for System Runtime Enforcement Riccobene, Elvinia Scandurra, Patrizia Rigorous State-Based Methods Article Modern intelligent software systems are rapidly growing in complexity and scale, and many real usage scenarios might be impossible to reproduce and validate at design-time. As envisioned by the Models@run.time research community, the use of formal models at runtime are fundamental to address this challenge. In this paper, we explore the concept of ASM@run.time and put this definition into the context of the runtime enforcement technique to address the runtime assurance of software systems. This is a work-in-progress research line. 2020-04-22 /pmc/articles/PMC7242040/ http://dx.doi.org/10.1007/978-3-030-48077-6_18 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Riccobene, Elvinia
Scandurra, Patrizia
Exploring the Concept of Abstract State Machines for System Runtime Enforcement
title Exploring the Concept of Abstract State Machines for System Runtime Enforcement
title_full Exploring the Concept of Abstract State Machines for System Runtime Enforcement
title_fullStr Exploring the Concept of Abstract State Machines for System Runtime Enforcement
title_full_unstemmed Exploring the Concept of Abstract State Machines for System Runtime Enforcement
title_short Exploring the Concept of Abstract State Machines for System Runtime Enforcement
title_sort exploring the concept of abstract state machines for system runtime enforcement
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242040/
http://dx.doi.org/10.1007/978-3-030-48077-6_18
work_keys_str_mv AT riccobeneelvinia exploringtheconceptofabstractstatemachinesforsystemruntimeenforcement
AT scandurrapatrizia exploringtheconceptofabstractstatemachinesforsystemruntimeenforcement

Ejemplares similares