DocumentCode
484830
Title
Model Based Requirements Elicitation
Author
Tate, P.G.
fYear
2008
fDate
20-22 Oct. 2008
Firstpage
1
Lastpage
5
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;
fLanguage
English
Publisher
iet
Conference_Titel
System Safety, 2008 3rd IET International Conference on
Conference_Location
Birmingham
ISSN
0537-9989
Print_ISBN
978-0-86341-970-6
Type
conf
Filename
4781261
Link To Document