A Closed Design Cycle To Embedded Low-Cost Automation Based In Micro-Controllers

Victor  G. Cardoso; Jessica  T. Barros; Renata T. Tavares; Pedro  M. G. del Foyo

doi:10.48011/asba.v2i1.1267

Victor G. Cardoso Universidade Federal de Pernambuco
Jessica T. Barros Universidade Federal de Pernambuco
Renata T. Tavares Universidade Federal de Pernambuco
Pedro M. G. del Foyo Universidade Federal de Pernambuco

DOI: https://doi.org/10.48011/asba.v2i1.1267

Keywords: Embedded systems, Discrete Event Systems, Model checking

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.