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 HHH University, P.O. Box 759, Lane Cove, Sydney, 1595, NSW, Australia
  • Martin Gröger HHH University, P.O. Box 759, Lane Cove, Sydney, 1595, NSW, Australia
  • Dietrich Brandt HHH University, P.O. Box 759, Lane Cove, Sydney, 1595, NSW, Australia
  • Torsten Brinda HHH University, P.O. Box 759, Lane Cove, Sydney, 1595, NSW, Australia
  • Vardan Surenovich Mkrttchian HHH University, P.O. Box 759, Lane Cove, Sydney, 1595, NSW, Australia

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.

Published
2014-12-25
How to Cite
MATVEEVA, Elvira Faridovna et al. Analysis, specification and verification requirements for control systems cloud training platforms. New computer technology, [S.l.], v. 12, p. 54-57, dec. 2014. ISSN 2309-1460. Available at: <http://ccjournals.eu/ojs/index.php/nocote/article/view/693>. Date accessed: 19 sep. 2017.
Section
Cloud-based learning environment

Most read articles by the same author(s)