Access the full text.
Sign up today, get DeepDyve free for 14 days.
Edward Lee, A. Sangiovanni-Vincentelli (1998)
A framework for comparing models of computationIEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 17
G. Rossum (2000)
Python Reference Manual
Benjamin Horowitz, Judith Liebman, Cedric Ma, T. Koo, A. Sangiovanni-Vincentelli, S. Sastry (2003)
Platform-based embedded software design and system integration for autonomous vehiclesProc. IEEE, 91
(2001)
A Vision for Embedded Systems: Platform-Based Design and Software Methodology, IEEE Design and Test of Computers, Volume 18, Number 6, November-December
Larry Howard (2003)
Adaptive learning technologies for bioengineering education.IEEE engineering in medicine and biology magazine : the quarterly magazine of the Engineering in Medicine & Biology Society, 22 4
D. Schmidt, D. Levine, Sumedh Mungee (1998)
The design of the TAO real-time object request brokerComput. Commun., 21
(2004)
Journal of Software and System Modeling
A. Sangiovanni-Vincentelli, G. Martin (2001)
Platform-Based Design and Software Design Methodology for Embedded SystemsIEEE Des. Test Comput., 18
R. Roselli (2003)
Integration Of An Interactive Free Body Diagram Assistant With A Courseware Authoring Package And An Experimental Learning Management System
J. Lave, E. Wenger (1991)
Situated Learning: Legitimate Peripheral Participation
Version 1.0, Instructional Management Systems (IMS) http
S. Narasimhan, Gautam Biswas (2002)
An Approach to Model-Based Diagnosis of Hybrid Systems
Giorgio Buttazzo (1997)
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
G. Karsai, Aditya Agrawal, Feng Shi, J. Sprinkle (2003)
On the Use of Graph Transformation in the Formal Specification of Model InterpretersJ. Univers. Comput. Sci., 9
G. Karsai, J. Sztipanovits, Á. Lédeczi, T. Bapty (2003)
Model-integrated development of embedded softwareProc. IEEE, 91
Jonathan Sprinkle (2004)
Model-integrated computingIEEE Potentials, 23
P. Mosterman, Gautam Biswas (1999)
Diagnosis of continuous valued systems in transient operating regionsIEEE Trans. Syst. Man Cybern. Part A, 29
Peter Brusilovsky (1998)
Adaptive educational systems on the World Wide Web
H. Kopetz (1998)
The time-triggered architectureProceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)
G. Karsai, Andras Lang, S. Neema (2005)
Design patterns for open tool integrationSoftware & Systems Modeling, 4
Antsakis P. J. Ed. (2000)
7Proceedings of IEEE, 88
X. Koutsoukos, P. Antsaklis (2003)
Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete AbstractionsDiscrete Event Dynamic Systems, 13
Á. Lédeczi, M. Maróti, Á. Bakay, G. Karsai, Jason Garrett, Charles Thomason, G. Nordstrom, J. Sprinkle, P. Volgyesi (2001)
The Generic Modeling Environment
(2000)
Special Issues on Hybrid Systems: Theory and Applications
M. Maróti, B. Kusy, G. Simon, Á. Lédeczi (2004)
The flooding time synchronization protocol
A. Graesser, Shulan Lu, G. Jackson, Heather Mitchell, M. Ventura, A. Olney, M. Louwerse (2004)
AutoTutor: A tutor with dialogue in natural languageBehavior Research Methods, Instruments, & Computers, 36
G. Karsai, S. Neema, Ben Abbott, D. Sharp (2002)
A modeling language and its supporting tools for avionics systemsProceedings. The 21st Digital Avionics Systems Conference, 1
T. Szemethy, G. Karsai (2004)
Platform Modeling and Model Transformations for AnalysisJ. Univers. Comput. Sci., 10
T. Murray (1999)
Authoring Intelligent Tutoring Systems: An analysis of the state of the art, 10
D. Cordray, G. Pion, A. Harris, P. Norris (2003)
The value of the VaNTH Engineering Research CenterIEEE Engineering in Medicine and Biology Magazine, 22
(2004)
Received December
T. Henzinger, Benjamin Horowitz, C. Kirsch (2001)
Giotto: a time-triggered language for embedded programming
Nanbor Wang, C. Gill, D. Schmidt, A. Gokhale, B. Natarajan, J. Loyall, R. Schantz, Craig Rodrigues (2005)
QoS‐Enabled Middleware
(1993)
Anchored Instruction and Situated Cognition Revisited
K. Balasubramanian, J. Balasubramanian, A. Krishna, George Edwards, Gan Deng, E. Turkay, J. Parsons, A. Gokhale, D. Schmidt (2003)
Model Driven Middleware: A New Paradigm for Developing and Provisioning Distributed Real-time and Embedded Applications ?
Embedded software and systems are at the intersection of electrical engineering, computer engineering, and computer science, with, increasing importance, in mechanical engineering. Despite the clear need for knowledge of systems modeling and analysis (covered in electrical and other engineering disciplines) and analysis of computational processes (covered in computer science), few academic programs have integrated the two disciplines into a cohesive program of study. This paper describes the efforts conducted at Vanderbilt University to establish a curriculum that addresses the needs of embedded software and systems. Given the compartmentalized nature of traditional engineering schools, where each discipline has an independent program of study, we have had to devise innovative ways to bring together the two disciplines. The paper also describes our current efforts in using learning technology to construct, manage, and deliver sophisticated computer-aided learning modules that can supplement the traditional course structure in the individual disciplines through out-of-class and in-class use.
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: Aug 1, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.