Now showing items 1-5 of 5
Cost-effectiveness of Opportunity Charging in Non-electrified Railway Lines
This paper analyses the cost-effectiveness of deploying opportunity charging points in long-distance non-electrified railway lines, which are driven by battery-based hybrid diesel-electric railway vehicles. A study case ...
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, ...
How to Quantify the Security Level of Embedded Systems? A Taxonomy of Security Metrics
Embedded Systems (ES) development has been historically focused on functionality rather than security, and today it still applies in many sectors and applications. However, there is an increasing number of security threats ...
Automating Test Oracle Generation in DevOps for Industrial Elevators
Orona is a world-renowned elevators developer. During elevators' lives, their software continues to evolve, e.g., due to hardware obsolescence, requirements changes, vulnerabilities, and bug corrections. Such continuous ...
On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems
Deep Learning (DL) components are increasing their presence in mission and safety-critical systems, such as autonomous vehicles. The verification process of such systems needs to be rigorous, for which automated solutions ...