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
Keywords: control system, sliding mode, cloud training platform, digital system, analysis, specification, verification

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
Section
Cloud-based learning environment

Most read articles by the same author(s)