Model-integrated development of embedded software

Proceedings of the IEEE

Volumn 91, Issue 1, 2003, Pages 145-164

  Karsai, Gabor ^a,b,c,d,e   Sztipanovits, Janos ^a,b   Ledeczi, Akos ^a,b,c   Bapty, Ted ^a,b  

^a IEEE   (United States)

^b VANDERBILT UNIVERSITY   (United States)

^c VANDERBILT UNIVERSITY   (United States)

^d Defense Advanced Research Projects   (United States)

^e Computer Based Systems ^*  (United States)

Author keywords

Automated software engineering; Design space exploration; Embedded systems; Model verification; Model based development; Model integrated computing; Software generators; System and software engineering

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; INFORMATION ANALYSIS; MATHEMATICAL MODELS;

AUTOMATED SOFTWARE ENGINEERING; DESIGN-SPACE EXPLORATION; MODEL VERIFICATION; MODEL-BASED DEVELOPMENT; MODEL-INTEGRATED COMPUTING; SOFTWARE GENERATORS; SYSTEM AND SOFTWARE ENGINEERING;

EMBEDDED SYSTEMS;

EID: 0242527742     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2002.805824     Document Type: Review

References (70)

1. J. Sztipanovits and G. Karsai, "Model-Integrated computing," IEEE Computer, pp. 110-112, Apr. 1997.
2. _, "Embedded software: Opportunities and challenges," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 403-415.
3. Matlab Simulink/Stateflow tools [Online]. Available: www.mathworks.com
4. G. Ciardo, K. S. Trivedi, and J. Muppala, "SPNP: Stochastic petri net package," in Proc. 3rd Int. Workshop Petri Nets Performance Models (PNPM'89), 1989, pp. 142-151.
5. G. Kiczales, J. Lamping, C. V. Lopes, C. Maeda, A. Mendhekar, and G. Murphy, "Aspect-oriented programming," in Lecture Notes in Computer Science, ECOOP'97. Heidelberg, Germany: Springer-Verlag, 1997, vol. 1241, pp. 220-242.
6. C. Simonyi, "Intentional programming: Asymptotic fun?," in Position Paper, SDP Workshop Vanderbilt Univ. Nashville, TN, 2001.
7. D. Batory and B. J. Geraci, "Composition, validation and subjectivity in GenVoca generators," IEEE Trans. Software Eng., pp. 67-82, Feb. 1997.
8. H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications. Norwell, MA: Kluwer, 1997.
9. D. C. Schmidt, D. L. Levine, and S. Mungee, "The design and performance of real-time object request brokers," Comput. Commun., vol. 21, pp. 294-324, Apr. 1988.
10. A. Sangiovanni-Vincentelli, "Defining platform-based design," EEDesign, Feb. 2002.
11. P. Hudak. (1997) Keynote address at the Usenix DSL Conference. [Online]. Available: http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul/hudak-dir/dsl/ index.htm
12. T. Clark, A. Evans, S. Kent, and P. Sammut. The MMF approach to engineering object-oriented design languages, presented at Workshop Lang. Descriptions, Tools Applicat. (LDTA2001). [Online] Available: http://www-sop.inria.fr/oasis/LDTA/ldta.html
13. (1999) OMG Unified Modeling Language Specification. [Online]. Available: (http://www.rational.com/media/uml/)
14. CDIF Meta Model documentation [Online]. Available: http://www.metamodel. com/cdif-metamodel.html
15. (1997) Object Constraint Language Specification. Rational Software Corporation et al.. [Online] Available: http://www.rational.com
16. G. Karsai, G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Specifying graphical modeling systems using constraint-based metamodels," presented at the IEEE Symp. Comput. Aided Control Syst. Design Conf., Anchorage, AK, 2000.
17. Generic Modeling Environment (GME 2000) Documentation [Online]. Available: http://www.isis.vanderbilt.edu/projects/gme/Doc.html
18. A. Girault, B. Lee, and E. A. Lee, "Hierarchical finite state machines with multiple concurrency models," Univ. of California, Berkeley, Berkeley, Tech. Memo. UCB/ERL M97/57, 1997.
19. A. Ledeczi, G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti, "On metamodel composition," presented at the IEEE Conf. Control Applicat. 2001, Mexico City, Mexico, 2001.
20. J. Sifakis, "Modeling real-time systems-Challenges and work directions," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 373-389.
21. E. A. Lee and Y. Xiong, "System-level types for component-based design," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 37-253.
22. K. Butts, D. Bostic, A. Chutinan, J. Cook, B. Milam, and Y. Wand, "Usage scenarios for an automated model compiler," in Lecture Notes in Computer Science, Embedded Softqware. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 66-79.
23. S. Neema, "Design space representation and management for embedded systems synthesis," Inst. Software-Integrated Syst., Vanderbilt Univ., Nashville, TN, Tech. Rep. ISIS-01-203, 2001.
24. M. D. Rice and S. B. Seidman, "A formal model for module interconnection languages," IEEE Trans. Software Eng., vol. 20, pp. 88-101, Jan. 1994.
25. E. A. Lee and A. Sangiovanni-Vincentelli, "A Denotational Frame-work for Comparing Models of Computations," Univ. of California, Berkeley, Berkeley, Tech. Memo., UCB/ERL M97/11, 1997.
26. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns. Reading, MA: Addison-Wesley, 1995.
27. A. Porter. (2001) New visions for software design and productivity: Research and applications. Vanderbilt University, Workshop Report of the Interagency Working Group for Information Technology Research and Development (ITRD) Software Design and Productivity (SDP) Coordinating Group [Online]. Available: http://isis.vanderbilt.edu/sdp
28. AspectJ [Online]. Available: http://aspectj.org
29. D. Batory, B. Lofaso, and Y. Smaragdakis, "JTS: Tools for implementing domain-specific languages," presented at the 5th Int. Conf. Software Reuse, Victoria, BC, 1998.
30. K. Czarniecki and U. W. Eisenecker, Generative Programming. Reading, MA: Addison-Wesley, 2000.
31. G. Karsai and J. Gray, "Component generation technology for semantic tool integration," in Proc. IEEE Aerosp. 2000, vol. 4, 2000, pp. 491-499.
32. K. Lieberherr, Adaptive Object-Oriented Software. Pacific Grove, CA: Brooks/Cole, 1995.
33. Handbook on Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1-2, G. Rozenberg, Ed., World Scientific, Singapore, 1997.
34. T. Levendovszky, G. Karsai, M. Maroti, A. Ledeczi, and H. Charaf, "Model reuse with metamodel-based transformations," in Proc. Int. Conf. Sofa-are Reuse 2002, pp. 166-178.
35. G. Heiner, "Automotive applications," presented at the Proc. Joint Workshop Advanced Real-time Syst., Vienna, Austria, 2001.
36. E. A. Lee and D. G. Messerschmitt, "Synchronous data flow," Proc. IEEE, vol. 75, pp. 1235-1245, Sept. 1987.
37. D. Harel and M. Politi, Modeling Reactive Systems with Statecharls: The STATEMATE Approach. New York: McGraw-Hill, 1998.
38. D. Hatley and I. Pirbhai, Strategies for Real-Time System Specification. New York: Dorset House, 1987.
39. J. Carnes and A. Misra, "Model-integrated toolset for fault detection, isolation and recovery (FDIR)," presented at the Int. Conf. Workshop Eng. Comput. Based Syst., Friedrichshafen, Germany, 1996.
40. T. Clark, A. Evans, and S. Kent, "Engineering modeling languages: A precise metamodeling approach," in Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering, R. Kutsche and H. Weber, Eds. Heidelberg, Germany: Springer-Verlag, 2002, vol. 2306, pp. 159-173.
41. J. M. Spivey, The Z Notation: A Reference Manual. Englewood Cliffs, NJ: Prentice-Hall, 1992.
42. J. V. Guttag and J. Horning, Larch: Languages and Tools for Formal Specification. Berlin, Germany: Springer-Verlag, 1993.
43. R. H. Bourdeau and B. E. C. Cheng, "A formal semantics for object model diagrams," IEEE Trans. Software Eng., vol. 21, pp. 799-821, Oct. 1995.
44. M. Moore, J. Sztipanovits, G. Karsai, and J. Nichols, "A model-integrated program synthesis environment for parallel/real-time image processing," in Proc. SPIE Conf. Parallel Distributed Methods Image Process., 1997, pp. 31-45.
45. T. Bapty, A. Ledeczi, J. Davis, B. Abbott, L. Howard, and T. Tibbals, 'Turbine engine diagnostics using a parallel signal processor," presented at the Joint Technology Showcase Integrated Monitoring, Diagnostics, Failure Prevention, Mobile, AL, 1996.
46. M. Chu, H. Haussecker, and F. Zhao, "Scalable information-driven sensor querying and routing for ad hoc heterogeneous sensor networks," Int. J. High Performance Comput. Applicat., vol. 16, no. 3, pp. 293-314, 2002.
47. G. Szedo, S. Neema, J. Scott, and T. Bapty, "Reconfigurable target recognition system," presented at the ACM Int. Symp. Field-Programmable Gate Arrays, Monterey, CA, 2000.
48. T. Nelson, "Implementation of image processing algorithms on FPGA hardware," masters thesis, Electrical Engineering, Vanderbilt University, Nashville, TN, 2000.
49. "ISIS-02-301," Inst. Software-Integrated Syst., Vanderbilt Univ., Nashville, TN, Tech. Rep. ISIS-02-301, 2002.
50. C. Kobryn, Commun. ACM, vol. 42, no. 10, Oct. 1999.
51. Extensible Markup Language [Online]. Available: http://www.w3.org/XML/
52. J. Sprinkle, G. Karsai, A. Ledeczi, and G. Nordstrom, 'The new metamodeling generation," Proc. IEEE Eng. Comput. Based Syst., p. 275, 2001.
53. T. A. Henzinger, "The theory of hybrid automata," in Proc. 11th Annu. Symp. Logic Comput. Sci., 1996, pp. 278-292.
54. A. Zündorf, Lecture Notes in Computer Science, Graph Grammars and Their Application to Computer Science. Heidelberg, Germany: Springer-Verlag, 1994, vol. 1073, pp. 454-468.
55. A. Ledeczi, "System synthesis for parallel signal processing," in Proc. Int. Conf. Signal Process. Applicat. Technol., 1995, pp. 1507-1511.
56. E. A. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Computer-Aided Design, vol. 17, Dec. 1998.
57. W.-T. Chang, S.-H. Ha, and E. A. Lee, "Heterogeneous simulation-Mixing discrete-event models with dataflow," J. VLSI Signal Process., vol. 13, no. 1, Jan. 1997.
58. Model-Driven Architecture at the Object Management Group's website [Online]. Available: http://www.omg.org/mda/
59. W. Aitken, B. Dickens, P. Kwiatkowski, O. de Moor, D. Richter, and C. Simonyi, 'Transformation in intentional programming," in Proc. 5th Int. Conf. Sofware Reuse, 1998, pp. 114-123.
60. D. Blostein and A. Schürr, "Computing with graphs and graph transformations," Software-Practice Experience, vol. 29, no. 3, pp. 197-217, 1999.
61. U. Aßmann, "How to uniformly specify program analysis and transformation," in Lecture Notes in Computer Science, Compiler Construction, T. Gyimóthy, Ed. Heidelberg, Germany: Springer-Verlag, 1996, vol. 1060.
62. A. Schürr, PROGRES for Beginners. Aachen, Germany: RWTH.
63. G. Taentzer, "AGG: A tool enviroment for algebraic graph transformation," in Lecture Notes in Computer Science, Applications of Graph Transformation with Industrial Relevance. Heidelberg, Germany: Springer-Verlag, 2000, vol. 1799.
64. D. Milicev, "Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments," IEEE Trans. Software Eng., vol. 28, pp. 413-431, Apr. 2002.
65. W.-M. Ho, J.-M. Jézéquel, A. Le Guennec, and F. Pennaneac'h, "UMLAUT: An extendible UML transformation framework," presented at the 14th Conf. Automat. Software Eng., Cocoa Beach, FL, 1999.
66. H. A. David, "Model translation: A uml-based specification technique and active implementation approach," Ph.D. dissertation, Dept. Comput. Sci. Kent Univ., Kent, U.K., 2000.
67. T. Clark, A. Evans, and S. Kent, "Engineering modeling languages: A precise meta-modeling approach," in Fundamental Approaches Software Eng. 2002, pp. 159-173.
68. _, "The metamodeling language calculus: Foundation semantics for UML," in Fundamental Approaches Software Eng. 2001, pp. 17-31.
69. R. Lemesle, "Transformation rules based on meta-modeling," in Proc. Enterprise Distributed Object Comput. Workshop'98, 1998, pp. 113-122.
70. R. Heckel, J. Küster, and G. Taentzer, 'Toward automatic translation of UML models into semantic domains," in Proc. APPLIGRAPH Workshop Applied Graph Transformation (ACT 2002), 2002, pp. 11-22.