2018/04/27 by Simone Vuotto, Vuotto, Simone
Computer Science · Engineering · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Engineering Techniques and Practices
paper · pdf · doi:10.48550/arxiv.1804.10486
openalex publication_date 2018/04/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Requirements are informal and semi-formal descriptions of the expected behavior of a system. They are usually expressed in the form of natural language sentences and checked for errors manually, e.g., by peer reviews. Manual checks are error-prone, time-consuming and not scalable. With the increasing complexity of cyber-physical systems and the need of operating in safety- and security-critical environments, it became essential to automatize the consistency check of requirements and build artifacts to help system engineers in the design process.