Using Aspect-GAMMA in the design of embedded systems

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Volumn 2002-January, Issue , 2002, Pages 69-74

  Mousavi, M ^a   Russello, G ^a   Chaudron, M ^a   Reniers, M ^a   Basten, T ^a   Corsaro, A ^b   Shukla, S ^b   Gupta, R ^b   Schmidt, D C ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Automata; Communication system control; Concurrent computing; Context; Design methodology; Embedded system; Large scale systems; Modems; Timing; Weaving

Indexed keywords

CONCURRENCY CONTROL; DESIGN; LARGE SCALE SYSTEMS; MODELING LANGUAGES; MODEMS; OBJECT ORIENTED PROGRAMMING; WEAVING;

AUTOMATA; COMMUNICATION SYSTEM CONTROL; CONCURRENT COMPUTING; CONTEXT; DESIGN METHODOLOGY; TIMING;

EMBEDDED SYSTEMS;

EID: 84860344310     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2002.1224431     Document Type: Conference Paper

References (11)

1. J.-P. Banâtre, P. Fradet, and D. Le Métayer. Gamma and the chemical reaction model: Fifteen years after. In C. S. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View, volume 2235 of Lecture Notes in Computer Science, pages 17-44. Springer-Verlag, Berlin, 2001.
2. J.-P. Banâtre and D. Le Métayer. Programming by multiset transformation. Communications of the ACM (CACM), 36(1):98-111, Jan. 1993.
3. M. R. V. Chaudron. Separation of Correctness and Complexity in Algorithm Design. Technical Report 94-36, Leiden, The Netherlands, 1994.
4. T. Elrad, R. E. Filman, and A. Bader, editors. Special issue on aspect oriented programming. Communications of the ACM (CACM), 44(10). ACM Press, 2001.
5. C. L. Hankin, D. Le Métayer, and D. Sands. A calculus of Gamma programs. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Proceedings of the Fifth International Workshop on Languages and Compilers for Parallel Machines, volume 757 of Lecture Notes in Computer Science, pages 342-355. Springer-Verlag, Berlin, 1993.
6. T. A. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In J. W. de Bakker, K. Huizing, W. P. de Roever, and G. Rozenberg, editors, Proceedings REX Workshop on Real-Time: Theory in Practice, Mook, The Netherlands, June 1991, volume 600 of Lecture Notes in Computer Science, pages 226-251, Springer-Verlag, Berlin, 1992.
7. K. Keutzer, A. Newton, J. Rabaey, and A. Sangiovanni-Vincentelli. System-level design: orthogonalization of concerns and platform-based design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(12):1523-1543, December 2000.
8. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Aksit and S. Matsoka editors, Proceedings of the 11th European Conference on Object-Oriented Programming, volume 1241 of Lecture Notes in Computer Science, pages 220-242, Berlin, June 1997. Springer-Verlag.
9. M. Mousavi, T. Basten, M. Reniers, M. Chaudron, and G. Russello. Separating functionality, behavior and time in the design of reactive systems: (GAMMA + coordination) + time. Technical Report CSR 02-09, Department Computer Science, Eindhoven University of Technology, 2002.
10. P. Tarr, H. Ossher, W. Harrison and S.M. Sutton. N Degrees of Separation: Multi-Dimensional Separation of Concerns. In Proceedings of the International Conference on Software Engineering (ICSE99), Los Angeles, CA, pages 107-199. ACM Press, May 1999.
11. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, Sept. 1981.