This repository contains the BART (Bay Area Rapid Transit) system model and Implementation code for ARM CortexM series. Formal models are presented in AutoFocus3(AF3) format in which you can verify the properties using NuSMV model checker.
Uno de los 5 proyectos finales de Microcontroladores. ITLA 2015. Tecnologo en Mecatronica. Edit
Uno de los 5 proyectos finales de Microcontroladores. ITLA 2015. Tecnologo en Mecatronica.
Hardware tinkering
Embedded C firmware for an autonomous mobile robot based on the NXP FRDM-KL46Z (ARM Cortex-M0+). Features varying levels of hardware abstraction, from register-level GPIO manipulation to closed-loop PID control and I2C sensor integration.
Proyectos basados en las placas de desarrollo FRDM-KL43Z y FRDM-KL46Z de NXP Semiconductors desarrollados en la cátedra de "Sistemas Digitales" de la FCEIA.
Add a description, image, and links to the frdm-kl46z topic page so that developers can more easily learn about it.
To associate your repository with the frdm-kl46z topic, visit your repo's landing page and select "manage topics."