S. Yovine, I. Assayad, F.-X. Defaut, M. Zanconi, A. Basu
A formal approach to derivation of concurrent implementations in software product lines (2007)
A formal approach to derivation of concurrent implementations in software product lines (2007)
TR-2007-12.pdf
Keywords: Software product lines, high-performance applications, concurrency, coordination languages
Abstract: We present a formal tool support for software product lines focused on high-performance real-time applications, where dealing with concurrency at both software and hardware levels is needed. 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.
