Christophe Jacquet: Research and Teaching

Jump to: Download | Abstract | Text Reference | BibTeX Reference

Download

• Authors' preprint (PDF) (420.3 KiB)

Abstract

In the context of component-based design, we propose ADLV , an architecture description language based on IDL3, which allows the specification of properties that should hold on the system. The joint description of both the structure of the application and the properties it should satisfy allows us to derive the properties that should be formally checked on the control component of the system. We focus here on the ADLV language and tool and on code generation for the CCM platform from ADLV descriptions. Code generation must preserve the semantics of special components that are in charge of interfacing the control and the processing parts of the application.

Text Reference

Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet. “An Architecture Description Language for Verification in Component-Based Software”. Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, July 2008. pp. 365-368. IEEE.

BibTeX Reference

@InProceedings{ bouzoualegh2008compsac,
    author = {Ahcene Bouzoualegh and Dominique Marcadet and Frédéric Boulanger and Christophe Jacquet},
    publisher = {{IEEE}},
    title = {{An Architecture Description Language for Verification in Component-Based Software}},
    booktitle = {{Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008}},
    corerank = {B},
    month = {July},
    year = {2008},
    pages = {365-368},
}