A component-based framework for certification of components in a cloud of HPC services

HPC Shelfis a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification onHPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems ofHPC Shelfbehave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks.NORTE-01-0145- FEDER-000037

Automatic Monitor Generation for Cloud Services

Cloud Systems arose in the last years as a standard de-facto in IT enterprises for offering practically any kind of services to worldwide users. They provide means for realizing and distributing everything-as-a-service, including infrastructures, hardware and software platforms and services. So, composition, analysis and validation of Cloud services are open research challenges. In this work, we describe a Modeling Profile that enables Model Driven Engineering (MDE) analysis of systems and requirements verification of Cloud-based services. The verification process exploits formal methods during the whole life cycle of services. In particular we show the application of the MDE technique to automatic generation of monitors for properties verification and prediction of behaviours of composite services at run time