A Closed Design Cycle To Embedded Low-Cost Automation Based In Micro-Controllers
Abstract
In this paper a Discrete Event Systems approach is used to design embedded systems, implemented using a commercial low-cost platform based on a single-board micro-controller. The approach uses Time Petri Nets (TPN) to build the system model and a model-checking tool to perform the formal verication and to support the embedded system code generation. The method was applied to design an automated sorting machine using the Arduino platform as programming device.