IOPT-Tools – From Executable Models to Automatic Code Generation for Embedded Controllers Development
Fernando Pereira, Filipe Moutinho, Anikó Costa, João Paulo Barros, Rogério Campos-Rebelo, Lúıs Gomes
Topics & Concepts
ExecutableComputer scienceCode generationProgramming languageCode (set theory)Software engineeringEmbedded systemOperating systemSet (abstract data type)Key (lock)Real-Time Systems SchedulingFormal Methods in VerificationPetri Nets in System Modeling