Gibiane is a high-level programming language for embedded systems. It was developed to facilitate the development of time-critical applications with limited resources. The language provides features such as synchronous programming, which allows for algorithmic verification at design time and enables automatic code generation that reduces runtime overhead. Its syntax resembles a subset of Ada or SPARK with some extensions that allow for very low-level hardware control without sacrificing safety in critical systems.