Consistency Checking of Functional Requirements
Logic in Computer Science
2018-04-30 v1
Abstract
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.
Cite
@article{arxiv.1804.10486,
title = {Consistency Checking of Functional Requirements},
author = {Simone Vuotto},
journal= {arXiv preprint arXiv:1804.10486},
year = {2018}
}