Tamanho da fonte: 

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.

Non-functional requirements; simulation; system architecture; system project; critical system