Open AccessAnalysis, specification and verification requirements for control systems cloud training platforms
Author(s) -
Elvira F. Matveeva,
Rainer Unland,
Martin Gröger,
D. Scott Brandt,
Torsten Brinda,
Vardan Mkrttchian
Publication year - 2014
Publication title -
novìtnì komp'ûternì tehnologìï
Language(s) - English
Resource type - Journals
ISSN - 2309-1460
DOI - 10.55056/nocote.v12i0.693
Subject(s) - cloud computing , computer science , system requirements specification , requirements analysis , systems engineering , software engineering , functional requirement , control (management) , system requirements , reliability engineering , embedded system , operating system , engineering , software , artificial intelligence
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.