A new article has just been published describing an important service of the SmartCLIDE architecture: The Runtime Monitoring and Verification
Abstract: SmartCLIDE offers services to accelerate the creation and deployment of Cloud solutions
by providing the ability for non-programmers to construct applications and new services
using smart automation. One of the backend services provided by SmartCLIDE is runtime
monitoring and verification (RMV) which in conjunction with automated testing is applied
to assure the quality of the created services. In this paper we describe the objectives of
RMV, and provide an overview of the approach and the benefits.