The original definition of refinement proof obligations in VDM is reviewed and examples are discussed which, while being intuitively sensible, pose problems for this definition of refinement. An extended VDM refinemen...
详细信息
Shows how an understanding of a dynamic system from the point of view of the tasks that it supports and an understanding of human error can guide a process of deriving human error tolerance requirements. Our aim is to...
详细信息
Shows how an understanding of a dynamic system from the point of view of the tasks that it supports and an understanding of human error can guide a process of deriving human error tolerance requirements. Our aim is to provide a means whereby, rather than relying on training as a means of improving operator performance, designers may develop interactive systems with human error tolerance in mind. We extend an established methodology, the systematic human action reliability procedure (SHARP), by employing a software engineering notation, communicating sequential processes (CSP), that provides a bridge between error theory and the practice of design and implementation. In this paper, we outline approaches to human error, describe a task notation based on CSP which helps us to elicit requirements on human-error tolerance expressed as functional properties of the system. The technique is used to analyse an engine fire recovery procedure in order to derive human error tolerance requirements.< >
This volume constitutes the proceedings of the 27th International Conference on Collaboration Technologies and Social computing, CollabTech 2021, held August/September 2021. Due to VOVID-19 pandemic is was held virtua...
详细信息
ISBN:
(数字)9783030850715
ISBN:
(纸本)9783030850708
This volume constitutes the proceedings of the 27th International Conference on Collaboration Technologies and Social computing, CollabTech 2021, held August/September 2021. Due to VOVID-19 pandemic is was held virtually.
暂无评论