For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
16
views
4
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      146
      similar
       All similar
      • Record: found
      • Abstract: found
      • Article: not found

      Programming the CLEARSY Safety Platform with B

      chapter-article

      Read this article at

      ScienceOpenPublisherPMC
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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.

          Related collections

          Most cited references4

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Applying a Formal Method in Industry: A 25-Year Trajectory

          Thierry Lecomte, David Deharbe, Etienne Prun … (2017)
          Article 0 comments Cited 2 times – based on 0 reviews
          Article has an altmetric score of 1
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Applying a formal method in industry: a 15-year trajectory

            T Lecomte (2009)
            Article 0 comments Cited 1 times – based on 0 reviews
              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              Using formal proof and B method at system level for industrial projects

              D Sabatier (2016)
              Article 0 comments Cited 1 times – based on 0 reviews
                Bookmark
                All references

                Author and article information

                Contributors
                Alexander Raschke: alexander.raschke@uni-ulm.de
                Dominique Méry: dominique.mery@loria.fr
                Frank Houdek: frank.houdek@daimler.com
                Thierry Lecomte: thierry.lecomte@clearsy.com
                Journal
                Journal ID (publisher-id): 978-3-030-48077-6
                Journal ID (doi): 10.1007/978-3-030-48077-6
                Journal ID (nlm-ta): Rigorous State-Based Methods
                Title: Rigorous State-Based Methods
                Subtitle: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
                ISBN (Print): 978-3-030-48076-9
                ISBN (Electronic): 978-3-030-48077-6
                Publication date (Electronic): 22 April 2020
                Volume: 12071
                Pages: 124-138
                Affiliations
                [8 ]GRID grid.6582.9, ISNI 0000 0004 1936 9748, Institute of Software Engineering and Programming Languages, , Ulm University, ; Ulm, Germany
                [9 ]GRID grid.29172.3f, ISNI 0000 0001 2194 6418, LORIA, Campus Scientifique, , Université de Lorraine, ; Vandoeuvre-les-Nancy, France
                [10 ]GRID grid.410308.e, ISNI 0000 0004 0572 0912, Research and Development, , Mercedes-Benz AG, ; Sindelfingen, Germany
                ClearSy, 320 Avenue Archimède, Aix en Provence, France
                Article
                Publisher ID: 9
                DOI: 10.1007/978-3-030-48077-6_9
                PMC ID: 7242050
                SO-VID: f085624a-2e9a-4ba4-ae1c-2ae854e73e0d
                Copyright © © Springer Nature Switzerland AG 2020
                License:

                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.

                History
                Categories
                Subject: Article
                Custom metadata
                issue-copyright-statement © Springer Nature Switzerland AG 2020

                Keywords: b method,safety critical,programming model
                Data availability:
                Keywords: b method, safety critical, programming model

                Comments

                Comment on this article

                scite_
                0
                0
                0
                0
                Smart Citations
                0
                0
                0
                0
                Citing PublicationsSupportingMentioningContrasting
                View Citations

                See how this article has been cited at scite.ai

                scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

                Similar content146

                See all similar

                Most referenced authors13

                See all reference authors