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...
Main Authors: | Rafael Melo Macieira, Edna Barros |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2018-03-01
|
Series: | IET Cyber-Physical Systems |
Subjects: | |
Online Access: | https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2017.0001 |
Similar Items
-
FLECS: A Data-Driven Framework for Rapid Protocol Prototyping
by: Beg, Mirza Omer
Published: (2007) -
FLECS: A Data-Driven Framework for Rapid Protocol Prototyping
by: Beg, Mirza Omer
Published: (2007) -
APLICAŢIE EXPERIMENTALĂ DE TIP PLATFORMĂ IOT SOFTWARE
by: Ştefan Alexandru PREDA, et al.
Published: (2018-03-01) -
Internet of Things Hardware and Software
by: Iulia-Antonia BIRLOG, et al.
Published: (2020-01-01) -
Deductive Verification of the Sliding Window Protocol
by: D. A. Chkliaev, et al.
Published: (2015-03-01)