TRACE : Traceability of requirements for analysable computerised environments
Thunem, A. P-J
,
Thunem, H. P-J
IAEA Technical Meeting on Implementing and Licensing Digital I&C Systems and Equipment in Nuclear Power Plants, November 2005, Espoo, Finland.
- Publ. year
- 2005
- Publ. type
- paper
- Abstract
- This paper describes a practical approach to dependable requirements engineering of computerised systems, based on the perception that requirements should be identified, specified and implemented for all stages of the system development process (or system lifecycle), and not only for the highest stage. Furthermore, the approach acknowledges the importance of well-defined traceability mechanisms to provide links between the requirements belonging to a particular stage or different stages of the lifecycle. Finally, the approach recognises the relationship between how a requirement can be met and how it can be opposed to, due to unexpected or unwanted events. Thus, the approach aims at making a computerised system and its lifecycle analysable with regard to several dependability factors such as safety, security, reliability, flexibility and maintainability. The paper also provides the main elements of a prototype tool supporting the fundaments of the approach, and hence promising for expansions as well as tailor-made applications.
thunem_TRACE_IAEA_Seminar_Finland2005.pdf
—
PDF document,
190 kB (195089 bytes)
