High-Level Modeling of Communications in Real-Time Embedded Systems


An embedded system continuously interacts with its environment under strict timing constraints. We model an embedded system using a generalized task graph (GTG). Nodes in a GTG represent individual tasks and edges represent communication between tasks. Tasks are usually concurrent and communicate among themselves to exchange data and perform the… (More)