situation awareness

Situation awareness support system in the software testing process

The paper is devoted to the development of a prototype information system based on ontological modeling using logical inference (descriptive logic) in the process of software testing.

The actual problem of using situational awareness as a key factor in designing the decision support system is considered.

For the practical application of the developed methods of critical situations identification the software testing industry has been selected. It is related to the complexity of the software development processes and the high cost of error.

Formal model of knowledge processing in situational awareness systems

In the article are described models and methods of formalizing and modeling process of decision making in systems with situation awareness (SAW systems). The definitions of mathematical formalization of situation are discussed. Also, the unifying algebraic model, allowing the usage of different tools for situation awareness modeling, based of Algebra of Systems was proposed. We analyze the term of description logic and its advantages and disadvantages. The mappings between algebraic model, description logic and interpreted systems are proposed.