Developing automated information system based on an ontology for program systems quality assessment (Aleksandr Samonov, ISPRASOPEN-2019) — различия между версиями

{{eng}}
;{{SpeakerInfo}}: {{Speaker|Александр Самонов}}
<blockquote>
Представлены методы и средства реализации программно-управляемого процесса разработки и верификации формальных моделей требований и проектных решений автоматизированных информационных систем критической информационной инфраструктуры в единой для всех его участников модельно-языковой и информационно-программной среде. Построение и верификация моделей осуществляется автоматизированным способом на основе предметно-ориентированной онтологии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. 

Данный комплекс обеспечивает более эффективное взаимодействие заказчика и исполнителя как при разработке требований, так и при проектировании системы, обнаружение и устранение дефектов посредством реализации автоматизированных процедур верификации, валидации и коррекции. 

Применение данного подхода позволит повысить качество требований и проектных решений, а также улучшить экономические показатели путем снижения финансовых и временных затрат, связанных с выполнением дополнительных работ как в случае обнаружения дефектов, так и при изменении требований или условий эксплуатации.
</blockquote>

{{VideoSection}}
{{vimeoembed|378880234240322355|800|450}}
{{youtubelink|}}|4_z2TDa2btQ}}
{{letscomment}}

{{SlidesSection}}
[[File:Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК»!.jpg}}|center|640px]]
{{LinksSection}}
* https://www.ispras.ru/proceedings/isp_31_2019_5/isp_31_2019_5_165/
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{fblink|2474962069423466}}                                          
{{vklink|15184}}                                          
<references/>





<!-- topub -->



{{stats|disqus_comments=0|refresh_time=2020-01-28T13:45:072021-08-31T16:18:35.786663153242|vimeo_plays=43|youtube_comments=0|youtube_plays=066}}

[[Категория:ISPRASOPEN-2019]]
[[Категория:Управление требованиями]]