Title :
Model Based Requirements Elicitation
Abstract :
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.
Keywords :
control engineering computing; formal specification; marine safety; software engineering; underwater vehicles; behavioural model; bespoke applications; model based requirements elicitation; nuclear powered submarine; safety related control system; software development; Behavioural; Modelling; Requirements;
Conference_Titel :
System Safety, 2008 3rd IET International Conference on
Conference_Location :
Birmingham
Print_ISBN :
978-0-86341-970-6
