Analysis, specification and verification requirements for control systems cloud training platforms
Elvira Faridovna Matveeva
Astrakhan State University, 20a Tatischev Str., Astrakhan, 414056, Russia
Rainer Unland
Martin Gröger
Dietrich Brandt
Torsten Brinda
Vardan Surenovich Mkrttchian
PDF

Keywords

control system
sliding mode
cloud training platform
digital system
analysis
specification
verification

How to Cite

Matveeva, E., Unland, R., Gröger, M., Brandt, D., Brinda, T., & Mkrttchian, V. (2014). Analysis, specification and verification requirements for control systems cloud training platforms. New Computer Technology, 12, 54-57. Retrieved from http://ccjournals.eu/ojs/index.php/nocote/article/view/693
PDF

Abstract

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.

PDF