Summary: A Synchronous Approach to Reactive System Design1
I3S Laboratory UNSA/CNRS
BP 121, F-06903 Sophia Antipolis cédex
T.(33) 492 942 740; F.(33) 492 942 896; E. email@example.com.
This paper was presented at the 12th
EAEEIE Annual Conf., 14-16 May 2001, Nancy (France).
Reactive systems are systems that
maintain permanent interactions with their
environment. In this paper, we present our
experience teaching discrete-event reactive
systems to Electrical Engineering students.
The course ranges from logic circuits to
software components, and covers models,
analysis, design of various systems (from
logical systems to embedded systems).
Since our students are not especially
proficient in software engineering, we have