Automatic code generation for microcontrollers from place-transition Petri net models

dc.contributorCollege of Technology of São José
dc.contributorUniversidade Estadual de Campinas (UNICAMP)
dc.contributorUniversidade Estadual Paulista (Unesp)
dc.contributorUniversity of Zielona Gora
dc.date.accessioned2014-05-27T11:26:15Z
dc.date.available2014-05-27T11:26:15Z
dc.date.created2014-05-27T11:26:15Z
dc.date.issued2011-12-01
dc.identifierIFAC Proceedings Volumes (IFAC-PapersOnline), v. 18, n. PART 1, p. 7873-7878, 2011.
dc.identifier1474-6670
dc.identifierhttp://hdl.handle.net/11449/72903
dc.identifier10.3182/20110828-6-IT-1002.02934
dc.identifier2-s2.0-84866773068
dc.identifier2098623262892719
dc.identifier0000-0003-1086-3312
dc.identifier0000-0003-1086-3312
dc.description.abstractThis paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.
dc.languageeng
dc.relationIFAC Proceedings Volumes (IFAC-PapersOnline)
dc.rightsAcesso aberto
dc.sourceScopus
dc.subjectAutomatic code generation
dc.subjectCASE tools
dc.subjectDigital systems synthesis
dc.subjectDiscrete event systems
dc.subjectHardware-software co-design
dc.subjectMicrocontroller-based systems
dc.subjectPetri nets
dc.subject8051 microcontrollers
dc.subjectAutomatic code generations
dc.subjectAutomatic generation of codes
dc.subjectDigital system
dc.subjectHardware software codesign
dc.subjectNet model
dc.subjectPetri net models
dc.subjectProgramming time
dc.subjectTarget architectures
dc.subjectComputer aided software engineering
dc.subjectControllers
dc.subjectDiscrete event simulation
dc.subjectMicrocontrollers
dc.subjectAutomatic programming
dc.titleAutomatic code generation for microcontrollers from place-transition Petri net models
dc.typeActas de congresos


Este ítem pertenece a la siguiente institución