Lecture: Control Loop Basics illustrated with Temperature Controller Example
This lecture introduces concepts associated with “control loops” – a foundational concept in the design and implementation of embedded systems and safety-critical systems. A control loop consists of the “real-world thing” that the system is trying to control (the controlled process), the controller (i.e., software/hardware that makes decisions about how to control the controlled process), sensors (used by the controller to get “readings” the real-world state of the controlled process), and actuators (used by the controller to change the state of the controlled process in some way). The lecture briefly discusses how requirements engineering and safety reasoning relate to control loops.
(content will appear here throughout the semester)
Lecture: Slang Embedded Tool Chain Overview
This lecture presents an overview KSU SAnToS Lab’s Slang Embedded tool chain for developing high-assurance embedded systems. The tool includes a component modeling and analysis layer based on the AADL modeling framework, code generation, development, and simulation using Slang (a safety-critical subset of Scala), and code generation to C for various micro-kernel and separation platforms. Other lectures will “drill down” into the details of each of the tool chain elements.
The lectures from previous semesters are provided below as a resource.