Using Aspect-GAMMA in the design of embedded systems

Authors:
M. Mousavi;G. Russello;M. Chaudron;M. Reniers;T. Basten;A. Corsaro;S. Shukla;R. Gupta;D. C. Schmidt
Affiliations:
Eindhoven Univ. of Technol., Netherlands;Eindhoven Univ. of Technol., Netherlands;Eindhoven Univ. of Technol., Netherlands;Eindhoven Univ. of Technol., Netherlands;Eindhoven Univ. of Technol., Netherlands;-;-;-;-
Venue:
HLDVT '02 Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop
Year:
2002

Citing 0
Cited 6

Structured Component Composition Frameworks for Embedded System Design

HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Verifying aspect advice modularly

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Foundations of incremental aspect model-checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Combining Aspect-Oriented and Strategic Programming

Electronic Notes in Theoretical Computer Science (ENTCS)
An aspect-oriented approach for mobile embedded software modeling

ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

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.