Verimag

Technical Reports

S. Yovine, I. Assayad, F.-X. Defaut, M. Zanconi, A. Basu
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.

Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 777787