Programming the CLEARSY Safety Platform with B

The CLEARSY Safety Platform (CSSP) is aimed at easing the development and the deployment of safety critical applications, up to the safety integrity level 4 (SIL4). It relies on the smart integration of the B formal method, redundant code generation and compilation, and a hardware platform that ensu...

Descripción completa

Detalles Bibliográficos
Autor principal: Lecomte, Thierry
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242050/
http://dx.doi.org/10.1007/978-3-030-48077-6_9
_version_ 1783537170591514624
author Lecomte, Thierry
author_facet Lecomte, Thierry
author_sort Lecomte, Thierry
collection PubMed
description The CLEARSY Safety Platform (CSSP) is aimed at easing the development and the deployment of safety critical applications, up to the safety integrity level 4 (SIL4). It relies on the smart integration of the B formal method, redundant code generation and compilation, and a hardware platform that ensures a safe execution of the software. This paper exposes the programming model of the CSSP used to develop control & command applications based on digital I/Os.
format Online
Article
Text
id pubmed-7242050
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72420502020-05-22 Programming the CLEARSY Safety Platform with B Lecomte, Thierry Rigorous State-Based Methods Article The CLEARSY Safety Platform (CSSP) is aimed at easing the development and the deployment of safety critical applications, up to the safety integrity level 4 (SIL4). It relies on the smart integration of the B formal method, redundant code generation and compilation, and a hardware platform that ensures a safe execution of the software. This paper exposes the programming model of the CSSP used to develop control & command applications based on digital I/Os. 2020-04-22 /pmc/articles/PMC7242050/ http://dx.doi.org/10.1007/978-3-030-48077-6_9 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
Lecomte, Thierry
Programming the CLEARSY Safety Platform with B
title Programming the CLEARSY Safety Platform with B
title_full Programming the CLEARSY Safety Platform with B
title_fullStr Programming the CLEARSY Safety Platform with B
title_full_unstemmed Programming the CLEARSY Safety Platform with B
title_short Programming the CLEARSY Safety Platform with B
title_sort programming the clearsy safety platform with b
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242050/
http://dx.doi.org/10.1007/978-3-030-48077-6_9
work_keys_str_mv AT lecomtethierry programmingtheclearsysafetyplatformwithb

Ejemplares similares