Considering what healthcare systems might learn from past efforts to develop highly trustworthy computer systems.
Abstract: In dynamic systems, safety is typically guaranteed through control barrier functions that keep states within a designated safe set throughout the entire evolution of the system. However, in ...
Abstract: As system designers are transitioning to the usage of pre-existing software architectural elements to reduce time-to-market and costs, they face challenges in safety-critical applications.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results