SOFTWARE ENGINEERING FOR REACTIVE SYSTEMS
2009/2010, Semester 2
School of Computing (Computer Science)
Modular Credits: 4
Reactive systems are real-time systems that continuously interact with the environment. This module introduces students to the software engineering principles for designing systems such as controllers and signal processors that are used in a wide variety of settings, including industrial plants, chemical reactors, flight and automotive controllers and robots. Topics to be covered will include fundamentals of control software, programming languages for real-time controllers, and verification and optimisation of software for digital control systems. Apart from a variety of programming assignments, this course will also introduce students to some relevant research topics in this area.
1. State machines and their composition.
2. Linear and Time Invariant Systems.
3. Laplace and Z Transforms
4. System Stability and Feedback Control.
5. Design, Implementation and Verification Toolchains for Reactive Software
6. Verification of Reactive Systems.
Term Project: 20%
Students from the Department of ECE