Blog
About

0
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification

      Read this article at

      ScienceOpenPublisher
      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

          Vehicle computers, Internet of Things and cyber-physical systems are all examples of electronic devices in which embedded systems require greater flexibility to process different types of applications and communication protocols. High flexibility requires the use of general purpose processors as a solution for configuring and controlling several peripherals. However, this also increases the need for hardware-dependent software. Since this is a highly critical and error-prone component due to the nature of its coding and the surrounding environment, it is essential to support the development and runtime phases through methodologies that can detect violations and errors when accessing devices by monitoring the communication protocol. This approach proposes a technique for monitoring temporal properties in high-level communication protocols between devices and drivers using a contract-based specification mechanism for describing the interface and protocol. From this specification, a monitoring module is synthesised, which can detect violation during the simulation of virtual platforms or execution of hardware platforms. The proposed specification language is a domain-specific language that supports platform-based design and enables the iteractive refinement of communication protocol and temporal property specifications along with platform stepwise implementation. Some experiments have demonstrated the effectiveness of the proposed approach for detecting errors in device drivers and device access violation.

          Related collections

          Most cited references 9

          • Record: found
          • Abstract: not found
          • Article: not found

          Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Automatic verification of active device drivers

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development

                Bookmark

                Author and article information

                Contributors
                Journal
                IET-CPS
                IET Cyber-Physical Systems: Theory & Applications
                IET Cyber-Phys. Syst., Theory Appl.
                The Institution of Engineering and Technology
                2398-3396
                2398-3396
                27 July 2017
                10 October 2017
                March 2018
                : 3
                : 1
                : 11-23
                Affiliations
                Informatics Center (CIn), Federal University of Pernambuco (UFPE) , Recife-PE, Brazil
                Article
                IET-CPS.2017.0001 CPS.SI.2017.0001.R1
                10.1049/iet-cps.2017.0001

                This is an open access article published by the IET under the Creative Commons Attribution-NonCommercial-NoDerivs License ( http://creativecommons.org/licenses/by-nc-nd/3.0/)

                Page count
                Pages: 0
                Product
                Funding
                Funded by: Conselho Nacional de Desenvolvimento Científico e Tecnológico
                Award ID: 485829/2012-6
                Categories
                Research Article

                Comments

                Comment on this article