OmegaThreads

摘要

Increasing levels of autonomy in safety-critical systems such as autonomous vehicles, airplanes, and medical robots, pose questions about their safety, thus compelling the scientific community to provide novel techniques for the design of foolproof safety-critical control software (SCCS). One promising approach for designing formally-correct SCCS is to use unambiguous formal descriptions for design requirements and, at the same time, automate the development and implementation processes. In this poster, we introduce OmegaThreads [3], a tool for automated synthesis of formally-correct controllers for control systems from ω-regular specifications.