Course Objectives

• Be able to recognize situations where reactive systems provide appropriate technological solutions
• Be able to model a reactive system using finite state machines (FSM) and hierarchical state machines (HSM)
• Be able to construct HSM models of reactive systems from requirements using statecharts
• Be able to implement statechart-based HSM models in a time- and space-efficient manner
• Be able to apply the quantum programming framework to implement embedded/real-time systems applications
• Be able to model and implement multiple-thread reactive systems with multiple HSM components
• Be able to describe and discuss current practice as established in professional literature