Uma abordagem declarativa para o desenvolvimento de sistemas críticos

Abstract

The development of large, complex, and with multiple requirements computer systems, generally requires a greater ability from a programmer. Considering the limitations of human reasoning about large and high complexity problems, software coding tends to incorporate errors. On critical systems, such as an air traffic control system, for example, errors can be fatal and, therefore, are unacceptable. At the same time, this kind of system involves a long and complex chain of factors such it difficult an error-free programming. An alternative that can be used to facilitate this task involves the use of models that provide a more macro vision of the system, such that programming can be optimized. Finite Automata are models that describe the dynamics of a system based on the concept of events. Using these models one can express the behavior of many hardware and software elements. In this work, automata are used to represent an air traffic system. It is shown that the approach can automatically obtain the operating sequences of the air traffic control in order to rule out any possible sequence of events not covered by the imposed requirements.