Publisher's Synopsis
Contains 20 contributions addressing education in real-time systems, divided into five sections: individual courses and tools; real-time curriculum issues; real-time systems education at Embry-Riddle Aeronautical University; teaching formal methods for real-time systems; and real-time systems in sys