Analysis, specification and verification requirements for control systems cloud training platforms
Журнал "Новітні комп'ютерні технології"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Analysis, specification and verification requirements for control systems cloud training platforms
Требования к анализу, спецификации и верификации систем управления облачных обучающих платформ Вимоги до аналізу, специфікації і верифікації систем управління хмарних навчальних платформ |
|
| Creator |
Matveeva, Elvira Faridovna
Unland, Rainer Gröger, Martin Brandt, Dietrich Brinda, Torsten Mkrttchian, Vardan Surenovich |
|
| Description |
Digital control systems are now an essential and critical part of Cloud Training Platforms. Numerous methods, tools and standards have been developed to ensure that such systems will comply with their requirements. However, the development of such requirements often does not receive the same level of attention. Indeed, in the case of highly reliable, mission-critical or safety-related control systems, operating experience shows that problems due to inadequate requirements tend to outnumber those due to incorrect design and implementation. This paper proposes an approach to the analysis, specification and verification of Sliding Mode control systems requirements for Bus Cloud Triple H-Avatar.
В настоящее время цифровые системы управления являются неотъемлемой и важной частью облачных обучающих платформ. Многочисленные методы, инструменты и стандарты были разработаны для того, чтобы такие системы будут соответствовать их требованиям. Тем не менее, разработка таких требований часто не получают тот же уровень внимания. Действительно, в случае высокой надежностью, критические или системы управления, связанные с безопасностью, опыт эксплуатации показывает, что проблемы, связанные с неадекватными требованиями, как правило, больше, чем тех, из-за неправильного проектирования и реализации. В докладе предлагается подход к анализу, спецификации и верификации требований для системы управления Bus Cloud Triple H-Avatar, которая эксплуатируется в скользящем режиме. |
|
| Publisher |
State institution of higher education «Kryvyi Rih National University»
|
|
| Date |
2014-12-25
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
http://ccjournals.eu/ojs/index.php/nocote/article/view/693
|
|
| Source |
New computer technology; Vol 12 (2014): Cloud technologies in education; 54-57
Новітні комп'ютерні технології; Vol 12 (2014): Cloud technologies in education; 54-57 Новые компьютерные технологии; Vol 12 (2014): Cloud technologies in education; 54-57 2309-1460 |
|
| Language |
eng
|
|
| Relation |
http://ccjournals.eu/ojs/index.php/nocote/article/view/693/716
|
|
| Rights |
Copyright (c) 2014 New computer technology
|
|