Generative programming for embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2487, Issue , 2002, Pages 32-49

  Sztipanovits, Janos ^a   Karsai, Gabor ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; MICROWAVE INTEGRATED CIRCUITS; SOFTWARE DESIGN;

CONVENTIONAL APPROACH; DEVELOPMENT PROCESS; DOMAIN SPECIFIC; GENERATIVE PROGRAMMING; MODEL INTEGRATED COMPUTING; MODEL-BASED OPC; SOFTWARE COMPOSITION; VERIFICATION-AND-VALIDATION;

EMBEDDED SYSTEMS;

EID: 84937394033     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45821-2_2     Document Type: Conference Paper

References (37)

1. J. Sztipanovits and G. Karsai: "Model-Integrated Computing," IEEE Computer, April, 1997 (1997) 110-112
2. Sztipanovits, J., Karsai, G.: "Embedded Software: Opportunities and Challenges", in Embedded Software, Lecture Notes in Computer Science (LNCS 2211), pp. 403-115, Springer, 2001
3. Kiczales, G., Lamping, J., Lopes, C.V., Maeda, C., Mendhekar, A., Murphy, G.: "Aspect-Oriented Programming," ECOOP'97,, LNCS 1241, Springer. (1997)
4. Simonyi, C.: "Intentional Programming: Asymptotic Fun?" Position Paper, SDP Workshop Vanderbilt University December 13-14, 2001. http://isis.vanderbilt.edu/sdp
5. Batory, D., Geraci, B.J.:: "Compositon, Validation and Subjectivity in GenVoca Generators," IEEE Transactions on SE, pp. 67-82, February, 1997.
6. Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications Kluwer, 1997.
7. Harrison T., Schmidt, D.C., Levine, D.L.: "The Design and Performance of a Real-time CORBA Event Service," Proceedings of the OOPSLA Conference, October, 1997.
8. Sangiovanni-Vincentelli, A.: "Defining Platform-based Design," EEDesign, February, 2002
9. P. Hudak: Keynote address at the Usenix DSL Conference, 1997. http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul/hudak-dir/dsl/index.htm
10. T. Clark, A. Evans, S. Kent, P. Sammut: "The MMF Approach to Engineering Object-Oriented Design Languages," Workshops on Language Descriptions, Tools and Applications (LDTA2001), April, 2001.
11. OMG Unified Modeling Language Specification, Version 1.3. June, 1999 (http://www.rational.com/media/uml/).
12. CDIF Meta Model documentation. http://www.metamodel.com/cdif-metamodel.html
13. Object Constraint Language Specification, ver. 1.1, Rational Software Corporation, et al., Sept. 1997. (1997).
14. Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Specifying Graphical Modeling Systems Using Constraint-based Metamodels, IEEE Symposium on Computer Aided Control System Design, Conference CD-Rom, Anchorage, Alaska, September 25, 2000.
15. Generic Modeling Environment (GME 2000) Documentation http://www.isis.vanderbilt.edu/proiects/gme/Doc.html
16. Girault, A., Lee, B., Lee, E.A.: "Hierarchical Finite State Machines with Multiple Concurrency Models," Technical Memorandum UCB/ERL M97/57, Berkeley, Aug, 17, 1997.
17. Ledeczi A., Nordstrom G., Karsai G., Volgyesi P., Maroti M.: "On Metamodel Composition," IEEE CCA 2001, CD-Rom, Mexico City, Mexico, September 5, 2001.
18. Sifakis, J.: "Modeling Real-Time Systems - Challenges and Work Directions," EMSOFT 2001, LNCS 2211, Springer. (2001) 373-389
19. Lee, E.A., Xiong, Y.: "System-Level Types for Component-Based Design," EMSOFT 2001, LNCS 2211, Springer. (2001) 237-253
20. Butts, K., Bostic, D., Chutinan, A., Cook, J., Milam, B., Wand, Y.: "Usage Scenarios for an Automated Model Compiler," EMSOFT 2001, LNCS 2211, Springer. (2001) 66-79
21. Neema, S., "Design Space Representation and Management for Embedded Systems Synthesis," Technical Report, ISIS-01-203, February 2001. http://www. isis. vanderbilt. edu/publications/archive/Neema S 2 0 2003 Design Spa.pdf
22. Rice, M.D., Seidman, S.B.: "A formal model for module interconnection languages," Software Engineering, IEEE Transactions on, Volume: 20 Issue: 1, Jan. 1994 pp: 88101
23. Lee, E.A. and Sangiovanni-Vincentelli, A: "A Denotational Framework for Comparing Models of Computations," Technical Memorandum, UCB/ERL M97/11, January 30, 1997.
24. E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns, Addison-Wesley, 1995.
25. Porter, A., Sztipanovits, J. (Ed.): New Visions for Software Design and Productivity: Research and Applications. Workshop Report of the Interagency Working Group for Information Technology Research and Development (ITRD) Software Design and Productivity (SDP) Coordinating Group. Vanderbilt University December 13-14, 2001. http://isis.vanderbilt.edu/sdp
26. Aspect, J: http://aspecti.org
27. Batory, D., Lofaso, B., Smaragdakis, Y.: "JTS: Tools for Implementing Domain-Specific Languages," 5th International Conference on Software Reuse, Victoria, Canada, June 1998.
28. Czarniecki, K., Eisenecker, U.W.: Generative Programming, Addison-Wesley, 2000
29. Karsai G., Gray J.: Component Generation Technology for Semantic Tool Integration, Proceedings of the IEEE Aerospace 2000, CD-Rom Reference 10.0303, Big Sky, MT, March, 2000.
30. Lieberherr, K.: "Adaptive Object-Oriented Software", Brooks/Cole Pub Co, 1995.
31. Rozenberg, G. (ed.), "Handbook on Graph Grammars and Computing by Graph Transformation: Foundations", Vol.1-2. World Scientific, Singapore, 1997
32. Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Akos Ledeczi, Hassan Charaf: Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166-178
33. Heiner, G.: Automotive applications, Proceedings of the Joint Workshop on Advanced Real-time Systems, Austrian Research Centers, Vienna, March 26, 2001
34. Object Management Group: "Model Driven Architecture" http://www.omg.org/mda/
35. Gokhale, A. Schmidt, D.C., Natarajan, B., and Nanbor Wang: "Applying Model-Integrated Computing to Component Middleware and Enterprise Applications," The Communications of the ACM special issue on Enterprise Components, Service and Business Rules, Vol. 45, No. 10, October, 2002
36. The PVS Specification and Verification Systems, http://pvs.csl.sri.com/
37. Schmidt, D., Stal, M., Rohnert, H., Buschman, F.: Pattern-Oriented Software Architecture, Wiley, 2000