JAHUEL: A formal framework for software synthesis (2005)
| Venue: | in ICFEM’05 |
| Citations: | 7 - 2 self |
BibTeX
@INPROCEEDINGS{Assayad05jahuel:a,
author = {I. Assayad and V. Bertin and F-x. Defaut and Ph. Gerner and O. Quévreux and S. Yovine},
title = {JAHUEL: A formal framework for software synthesis},
booktitle = {in ICFEM’05},
year = {2005},
pages = {05}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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. 1
