Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum

ACM Transactions on Embedded Computing Systems

Volumn 4, Issue 3, 2005, Pages 549-568

  Sztipanovits, Janos ^a   Biswas, Gautam ^a   Frampton, Ken ^a   Gokhale, Aniruddha ^a   Howard, Larry ^a   Karsai, Gabor ^a   John Koo, T ^a   Koutsoukos, Xenofon ^a   Schmidt, Douglas C ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Computer aided learning; Embedded Systems Education

Indexed keywords

EID: 84994271594     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1086519.1086524     Document Type: Article

References (31)

1. Antsakis, P. J., ED. 2000. Special issues on hybrid systems: Theory and applications. In Proceedings of IEEE 88, 7.
2. Brusilovsky, P., 1998. Adaptive educational systems on the world-wide-web: A review of available technologies. In Proceedings of Workshop “WWW-Based Tutoring” at 4th International Conference on Intelligent Tutoring Systems (ITS'98), San Antonio, TX, August 16-19.
3. Butazzo, G. C., 1997. Hard Real-Time Computing Systems, Kluwer Academic Publ., Boston, MA.
4. Cognition, and, Technology Group at Vanderbilt 1993. Anchored instruction and situated cognition revisited. Educational Technology 33, 3 (Mar.), 52-70.
5. Cordray, D. S., Pion, G. M., Harris, A., Norris, P., 2003. The value ofthe VaNTH Engineering Research Center. IEEE Engineering in Medicine and Biology Magazine 22, 47-54.
6. Gokhale, A., Balasubramanian, K., Balasubramanian, J., Krishna, A., Edwards, G. T., Deng, G., Turkay, E., Parsons, J., Schmidt, D. C., 2005. Model driven middleware: A new paradigm for deploying and provisioning distributed real-time and embedded applications. Journal of Science of Computer Programming: Special Issue on Model Driven Architecture. Mehmet Aksit, ed. (to appear).
7. Graesser, A. C., Lu, S., Jackson, G. T., Mitchell, H., Ventura, M., Olney, A., Louwerse, M. M., 2004. AUTOTUTOR: A TUTOR WITH DIALOGUE IN NATURAL LANGUAGE. Behavioral Research Methods, Instruments, and Computers 36, 180-193.
8. Henzinger, T. A., Horowitz, B., Kirsch, C. M., 2003. Giotto: A time-triggered language for embedded programming. Proceedings ofthe IEEE 91, 1 (Jan.).
9. Horowitz, B., Liebman, J., Ma, C., Koo, T. J., Sangiovanni-Vincentelli, A., Sastry, S., 2003. Platform-based embedded software design and system integration for autonomous vehicles. Proceedings ofthe IEEE 91, 1 (Jan.).
10. Howard, L., 2002. CAPE: A visual language for courseware authoring. Second Workshop on Domain-Specific Visual Languages, Seattle, WA, November 4.
11. Howard, L., 2003. Adaptive learning technologies for biomedical education. IEEE Engineering in Medicine and Biology Magazine 22, 58-65.
12. Karsai, G., Agrawal, A., Shi, F., 2003. On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science 9, 11 (Nov.), 1296-1321.
13. Karsai, G., Lang, A., Neema, S., 2004. Design patterns for open tool integration. Software and Systems Modeling 4, 2 (May 2005), 157-170.
14. Karsai, G., Neema, S., Abbott, B., Sharp, D., 2002. A modeling language and its supporting tools for avionics systems. In Proceedings of the 21st Digital Avionics Systems Conference, 2002. 6A3-1-6A3-13.
15. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T., 2003. Model-integrated development of embedded software. In Proceedings ofthe IEEE 91, 1 (Jan.), 145-164.
16. Kopetz, H., 2003. The time triggered architecture. Proceedings of the IEEE 91, 1 (Jan.).
17. Koutsoukos, X., Antsaklis, P., 2003. Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions. Journal of Discrete Event Dynamic Systems: Theory and Applications 13, 3, 203-243.
18. Lave, J., Wenger, E., 1990. Situated learning: Legitimate peripheral participation. Cambridge University Press, Cambridge.
19. Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., Volgyesi, P., 2001. The generic modeling environment. Workshop on Intelligent-Signal Processing, Budapest, Hungary, May 17.
20. Lee, E. A., Sangiovanni-Vincentelli, A., 1998. A framework for comparing models of computation. IEEE Trans. CAD 17, 12 (Dec.).
21. Maroti, M., Kusy, B., Simon, G., Ledeczi, A., 2004. The flooding time synchronization protocol. In ACM Second International Conference on Embedded Networked Sensor Systems (Sen-Sys'04), Baltimore, MD (Nov.). 39-49.
22. Mosterman, P. J., Biswas, G., 1999. Diagnosis of continuous valued systems in transient operating regions. IEEE Transactions on Systems, Man, and Cybernetics 29, 554-565.
23. Murray, T., 1999. Authoring intelligent tutoring systems: An analysis of the state of the art. International Journal of Artificial Intelligence in Education 10, 98-129.
24. Narasimhan, P., Biswas, G., 2002. An approach to model-based diagnosis of hybrid systems. Hybrid Systems: Computation and Control, Fifth Intl. Workshop Stanford, CA. Lecture Notes in Computer Science, vol. LNCS 2289, C. J. Tomlin and M. R. Greenstreet, Eds. Springer-Verlag, Berlin. 308-322.
25. Roselli, R. J., Howard, L., Cinnamon, B., Brophy, S. P., Norris, P., Rothney, M., Eggers, D., 2003. INTEGRATION OF AN INTERACTIVE FREE BODY DIAGRAM ASSISTANT WITH A COURSEWARE AUTHORING PACKAGE AND AN EXPERIMENTAL LEARNING MANAGEMENT SYSTEM. IN Proceedings of the American Society for Engineering Education (CD-ROM DEStech Publications) Session 2793: 10 pp.
26. SANGIOVANNI-VINCENTELLI, A. AND MARTIN, G. 2001. Avisionforembeddedsystems:Platform-based design and software methodology. IEEE Design and Test of Computers 18, 6 (Nov.-Dec.), 23-33.
27. Schmidt, D. C., Levine, D. L., Mungee, S., 1998. The design and performance of real-time object request brokers. Computer Communications 21, 4 (Apr.), 294-324.
28. Szemethy, T., Karsai, G., 2004. Platform modeling and model transformations for analysis. Journal of Universal Computer Science 10, 10, 1383-1406.
29. Sztipanovits, J., Karsai, G., 1997. Model-integrated computing. IEEE Computer. 110-112.
30. Vanrossum, G., Drake, F. L., EDS. 2001. Python Reference Manual, PythonLabs, Virginia, USA, 2001.
31. Wang, N., Schmidt, D. C., Gokhale, A., Rodrigues, C., Natarajan, B., Loyall, J. P., Schantz, R. E., Gill, C. D., 2003. QoS-enabled Middleware, in Middleware for Communications, Qusay Mahmoud, Ed. Wiley, New York.