Now showing items 1-6 of 6
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
One of the major challenges in the verification of complex industrial Cyber-Physical Systems is the difficulty of determining whether a particular system output or behaviour is correct or not, the socalled test oracle ...
Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems
Software systems that are embedded in autonomous Cyber-Physical Systems (CPSs) usually have a large life-cycle, both during its development and in maintenance. This software evolves during its life-cycle in order to ...
QoS-aware Metamorphic Testing: An Elevation Case Study
Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation ...
Cyber Physical System Based Proactive Collaborative Maintenance
The aim of the MANTIS project is to provide a proactive maintenance service platform architecture based on Cyber Physical Systems. The platform will allow estimating future performance, predicting and preventing imminent ...
The Way Cyber Physical Systems Will Revolutionise Maintenance
(CISTER Research Center, 2017)
The way maintenance is carried out is altering rapidly. The introduction of Cyber Physical Systems (CPS) and cloud technologies are providing new technological possibilities that change dramatically the way it is possible ...
Implementation of a Reference Architecture for Cyber Physical Systems to support Condition Based Maintenance
This paper presents the implementation of a refer-ence architecture for Cyber Physical Systems (CPS) to supportCondition Based Maintenance (CBM) of industrial assets. The article focuses on describing how the MANTIS ...