Now showing items 1-2 of 2
Increasing dependability in Safety Critical CPSs using Reflective Statecharts
Dependability is crucial in Safety Critical Cyber Physical Systems (CPS). In spite of the research carried out in recent years, implementation and certification of such systems remain costly and time consuming. In this ...
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is ...