Title :
Student projects in reactive and real-time systems course
Author :
Lotenberg, Ran ; Tyszberowicz, Shmuel
Author_Institution :
Dept. of Comput. Sci., Tel Aviv Univ., Israel
Abstract :
Presents student assignments and the experience gained in a graduate course entitled “Reactive and real-time systems”, taught at Tel-Aviv University. The course focuses on the development of provably correct reactive and real-time systems. Hence, the major projects that were given included the full life-cycle of a system development: specification, design, implementation and verification. The software tools employed in the course are freely available from various Internet sites. Students had the freedom to choose the tools they used, and indeed many of them chose more than one tool to supply a system that was automatically verified against its requirements
Keywords :
computer science education; educational courses; project support environments; real-time systems; software engineering; software tools; student experiments; Internet sites; Tel-Aviv University; automatically verified system; freeware; graduate course; provably correct systems development; reactive systems; real-time systems; requirements engineering; software tools; student assignments; student projects; system development life-cycle; systems design; systems implementation; systems specification; systems verification; Clocks; Computational modeling; Computer science; Design methodology; Educational institutions; Internet; Radio access networks; Real time systems; Springs; System analysis and design;
Conference_Titel :
Real-Time Systems Education III, 1998. Proceedings
Conference_Location :
Poznan
Print_ISBN :
0-7695-0134-6
DOI :
10.1109/RTSE.1998.766513
