A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B

Cyber-Physical Systems (CPSs) connect the real world to software systems through a network of sensors and actuators: physical and discrete components interact in complex ways by involving different spatial and temporal scales. One of the most common architectures for CPSs is a discrete software cont...

Descripción completa

Detalles Bibliográficos
Autor principal: Afendi, Meryem
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242036/
http://dx.doi.org/10.1007/978-3-030-48077-6_31
_version_ 1783537167335686144
author Afendi, Meryem
author_facet Afendi, Meryem
author_sort Afendi, Meryem
collection PubMed
description Cyber-Physical Systems (CPSs) connect the real world to software systems through a network of sensors and actuators: physical and discrete components interact in complex ways by involving different spatial and temporal scales. One of the most common architectures for CPSs is a discrete software controller which interacts with its physical environment in a closed-loop schema where input from sensors is processed and output is generated and communicated to actuators. We are concerned with the construction and verification of the correctness of such discrete controller using a correct by construction approach, which requires correct integration of discrete and continuous models.
format Online
Article
Text
id pubmed-7242036
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72420362020-05-22 A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B Afendi, Meryem Rigorous State-Based Methods Article Cyber-Physical Systems (CPSs) connect the real world to software systems through a network of sensors and actuators: physical and discrete components interact in complex ways by involving different spatial and temporal scales. One of the most common architectures for CPSs is a discrete software controller which interacts with its physical environment in a closed-loop schema where input from sensors is processed and output is generated and communicated to actuators. We are concerned with the construction and verification of the correctness of such discrete controller using a correct by construction approach, which requires correct integration of discrete and continuous models. 2020-04-22 /pmc/articles/PMC7242036/ http://dx.doi.org/10.1007/978-3-030-48077-6_31 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
Afendi, Meryem
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
title A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
title_full A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
title_fullStr A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
title_full_unstemmed A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
title_short A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
title_sort correct by construction approach for the modeling and the verification of cyber-physical systems in event-b
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242036/
http://dx.doi.org/10.1007/978-3-030-48077-6_31
work_keys_str_mv AT afendimeryem acorrectbyconstructionapproachforthemodelingandtheverificationofcyberphysicalsystemsineventb
AT afendimeryem correctbyconstructionapproachforthemodelingandtheverificationofcyberphysicalsystemsineventb

Ejemplares similares