Model-based Design of IoT/WSN Nodes: Device Driver Implementation

This paper addresses the implementation of device driver blocks to be used in model-based design of embedded software. After notations related to hardware and real-world events are defined, two design patterns, namely Frame Buffer and Slot Buffer, are proposed for serial communication tasks in IoT/WSN nodes. To assure model determinism involving hardware operations, the balance equation is discussed and generalized for the time-triggered architecture of Simulink environment.