2014/10/25 by Rimvydas Rukšėnas, Paolo Masci, Rukšėnas, Rimvydas +5
Computer Science · Decision Sciences · Engineering · #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
paper · doi:10.14279/tuj.eceasst.69.964.945
openalex publication_date 2014/10/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
It is common practice in the description of criteria for the acceptable safety of systems for the regulator to describe safety requirements that should be satisfied by the system. These requirements are typically described precisely but in natural language and it is often unclear how the regulator can be assured that the given requirements are satisfied. This paper is concerned with a rigorous refinement process that demonstrates that a precise requirement is satisfied by the specification of a given device. It focuses on a particular class of requirements that relate to the user interface of the device. For user interface requirements, refinement is made more complex by the fact that systems can use different interaction devices that have very different characteristics. The described refinement process recognises an input/output hierarchy.