Developing automated information system based on an ontology for program systems quality assessment (Aleksandr Samonov, ISPRASOPEN-2019)
Материал из 0x1.tv
- Александр Самонов
English translation of http://0x1.tv/20191206AD
Methods and means of realization of program-managed process of development and verification of formal models of requirements and design decisions of the automated information systems of critical information infrastructure in the uniform for all its participants model-linguistic and information-program environment are presented. Construction and verification of models is carried out by an automated method on the basis of object-oriented ontology, describing the processes of quality management of software and hardware complexes at the stages of justification of requirements and design of systems.
Ontologies are developed using the structures and mechanisms of modeling and design languages SysML, FUML, OCL, as well as the mathematical apparatus of Petri networks, time machines and time logic. For validation and verification of the set of requirements and design solutions algorithms for building and analysis of the model execution trace in the VM FUML virtual machine environment have been developed. Ways of integration and use of specialized means of CPN Tools, Rodin, SPIN and Modelica verification for automated testing of the requirements set models and design solutions are proposed.
The given complex provides more effective interaction of the customer and the executor both at requirements development, and at system designing, detection and elimination of defects by realization of the automated procedures of verification, validation and correction.
Application of the given approach will allow to raise quality of requirements and design decisions, and also to improve economic indicators by decrease in financial and time expenses connected with performance of the additional works both in case of detection of defects, and at change of requirements or operating conditions.