Model Based Requirements Elicitation

Despite the advances in high integrity software development there remains the problem of adequately specifying the requirements for a safety related system. This is compounded in bespoke applications. This paper describes a behavioural model based process for eliciting a requirement set covering normal and abnormal behaviour that is deterministic and verifiable.