Gibianene

Gibiane es un lenguaje de programación de alto nivel para sistemas embebidos. Fue desarrollado para facilitar el desarrollo de aplicaciones críticas en tiempo real con recursos limitados. El lenguaje ofrece características como la programación síncrona, que permite la verificación algorítmica en la fase de diseño y la generación automática de código, lo que reduce la sobrecarga en tiempo de ejecución. Su sintaxis se asemeja a un subconjunto de Ada o SPARK, con algunas extensiones que permiten un control de hardware de muy bajo nivel sin comprometer la seguridad en sistemas críticos.