University of Texas at Arlington
Most of today's embedded systems exist in some form of a networked environment. Inspired by Ethernet as the most cost-effective local area network technology in general computing, embedded system designers have adapted it for industrial automation. The authors use Transaction Level Modeling techniques to specify and validate best-effort channels for networked embedded devices, to integrate the generated specification model in system-level design flow, for prototyping, exploration and validation of design alternatives. A best-effort channel does not provide any guarantees on final data delivery or delivery rate.