Jahuel: A Formal Framework for Software Synthesis. We present a theoretically sound and automated model-based design, analysis, and implementation framework for synthesizing correct-by-construction code. Special emphasis is put on multi-threaded software and multi-processor architectures. The framework consists in (1) a formal language which provides platform-independent constructs to specify the behavior of an application using an abstract execution model, and (2) a compilation chain for refining the application abstract model into its concrete implementation on a target platform. The prototype Jahuel is currently being used for developing experimental industrial applications.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Assayad, Ismail; Yovine, Sergio: A scheduler synthesis methodology for joint SW/HW design exploration of SoC (2010)
- Yovine, Sergio; Assayad, Ismail; Defaut, Francois-Xavier; Zanconi, Marcelo; Basu, Ananda: Formal approach to derivation of concurrent implementations in software product lines (2009)