Analysis And Simulation Of Non-Functional Requirements Applied To An Air Traffic Control System
Wagner A. P. Coimbra, Álvaro R. S. Fialho, Marco Túlio Carvalho de Andrade, Edson Satoshi Gomi · International Conference on Information Systems, Technology and Management · 2007
At the beginning of a system analysis, essential information is produced. Such information is mandatory for the system quality, in a way that the remaining development tasks will, somehow, depend on it. At the initial stage, the work subject is the knowledge (how to acquire it, how to organize it and how to verify it). Based on this context, this work presents a knowledge validation method through the usage of concept proof simulations. Such knowledge validation is achieved through a process of identification of intrinsic system architecture risks and its formalization as non-functional system requirements, which might be used by the next stages of the software engineering process. This process was applied in the analysis of an Air-Traffic Control System, and, as a result, it was possible to verify improvement points, to measure the enhancements obtained by each improvement proposal and to identify the critical functions of the system.