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

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

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 s...

Full description

Bibliographic Details
Main Authors: Rafael Melo Macieira, Edna Barros
Format: Article
Language:English
Published: Wiley 2018-03-01
Series:IET Cyber-Physical Systems
Subjects:
protocols
device drivers
greater reliability
driver-device communication
system life cycle
protocol specification
vehicle computers
Internet of Things
cyber-physical systems
electronic devices
communication protocols
general purpose processors
hardware-dependent software
error-prone component
monitoring temporal properties
contract based specification mechanism
detect violation
virtual platforms
hardware platforms
specification language
domain-specific language
iteractive refinement
communication protocol
temporal property specifications
Online Access:https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2017.0001

Internet

https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2017.0001

Similar Items