Detecting inconsistencies of natural language requirements in satellite ground segment domain

The ground segment constitutes the ground–based infrastructure necessary to support the operations of satellites, including the control of
the spacecraft in orbit, and the acquisition, reception, processing and
delivery of the data. Since the ground segment is one of the essential elements in satellite operations, the quality of the requirements are
critically important for the success of the satellite missions. Similar to
many other large-scale systems, requirements for the ground segment
are documented in natural language, making them prone to ambiguity and vagueness, and making it difficult to check properties such as
completeness and consistency. Due to these shortcomings, the review
process of the requirements is expensive in terms of time and effort.
Our aim is to provide automated support for detecting inconsistencies
in the ground segment requirements. Our approach relies on natural
language processing and machine learning techniques. Our plan is to
validate our work on a real ground segment requirement set.