Using Aspect-GAMMA in the Design of Embedded Systems

M.R. Mousavi, G. Russello, M. Chaudron, M. Reniers, T. Basten, A. Corsaro, S. Shukla, R. Gupta, D. Schmidt, Using Aspect-GAMMA in the Design of Embedded Systems, Proceedings of The Seventh IEEE International Workshop on High Level Design, Verification and Test (HLDVT'02), Cannes, France, pp. 69--75, IEEE Computer Society Press, October 2002.

Abstract

This paper proposes a design framework that takes advantage of the aspect-orientation paradigm. The proposed framework is based on the multi-set transformation language called GAMMA, used for the functional aspect, together with a set of modelling notations for other aspects of system design, namely coordination, timing, and distribution.

(Paper in .ps format   in .pdf format) ( presentation in .pdf format)

A similar version of this paper is published as:

Aspects + Gamma = AspectGAMMA : A Formal Framework for Aspect-Oriented Specification, Technical Report CECS-02-01, Center for Embedded Computer Systems, University of California at Irvine, March 2002.

Bibtex Entry:
@InProceedings{MousaviHLDVT02,
    author = "Mousavi, MohammadReza and Reniers, Michel and Basten, Twan and Chaudron, Michel and Russello, Giovanni
             and Cursaro, Angelo and Shukla, Sandeep and Gupta, Rajesh and Schmidt, Douglas C.",
    title = "Using {Aspect-GAMMA} in the Design of Embedded Systems",
    booktitle = "Proceedings of Seventh Annual IEEE International Workshop on High Level Design Validation and Test",
    address = "Cannes, France",
    pages = "69-74",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2002"
}
Back to Publications Page