MORE: Management of Requirements in NPP Modernisation Projects, Final Report

This report documents the work and related activities of the MORE (Management of Requirements in NPP Modernisation Projects) (NKS-R project number NKS_R_2005_47) project. This report also provides a summary of the project activities and deliverables, and discusses possible application areas. The project has aimed at the industrial utilisation of the results from the TACO: (Traceability and Communication of Requirements in Digital I&C Systems Development) (NKS-R project number NKS_R_2002_16, completed June, 2005) project, and practical application of improved approaches and methods for requirements engineering and change management. Finally, the report provides a brief description of the extended industrial network and disseminations of the results in Nordic and NKS related events such as seminars and workshops.

[1]  Poong Hyun Seong,et al.  NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARE SPECIFICATION AND V&V FOR PLC BASED SAFETYCRITICAL SYSTEMS , 2006 .

[2]  Horst Miedl,et al.  Recommendations and Proposals to the Research on Requirement Engineering and Risk Assessment , 2008 .

[3]  Atoosa P. J. Thunem.  Dependable Requirements Engineering and Change Management of Security-Critical ICT-Driven Systems (PSAM-0101) , 2006 .

[4]  T. Sivertsen,et al.  Traceability and Communication of Requirements in Digital I & C Systems Development Final Report , 2005 .

[5]  Jan-Erik Holmberg,et al.  Model-Based Analysis of an Arc Protection and an Emergency Cooling System MODSAFE 2007 Work Report , 2008 .

[6]  Ilkka Niemelä,et al.  Formal Verification of Safety I & C System Designs: Two Nuclear Power Plant Related Applications , 2008 .

[7]  Atoosa P-J Thunem.  A Framework for Dependable Development Process of Complex Computerised Systems , 2004 .

[8]  Pete Sawyer,et al.  Revisiting Ontology-Based Requirements Engineering in the age of the Semantic Web , 2006 .

[9]  Olli Ventä,et al.  Management of requirements in NPP modernisation projects : Project report 2005 , 2006 .

[10]  Olli Ventä,et al.  The TACO Approach for Traceability and Communication of Requirements , 2005, SAFECOMP.

[11]  A.P.-J. Thunem.  Modelling of knowledge intensive computerised systems based on capability-oriented agent theory (COAT) , 2003, IEMC '03 Proceedings. Managing Technologically Driven Organizations: The Human Side of Innovation and Change (IEEE Cat. No.03CH37502).

[12]  Ilkka Niemelä,et al.  NPP Safety Automation Systems Analysis: State of the Art , 2008 .

[13]  Olli Ventä,et al.  Traceability and communication of requirements in digital IaC systems development : Final report 2005 , 2005 .

[14]  Ilkka Niemelä,et al.  Model-Based Analysis of an Arc Protection and an Emergency Cooling System , 2008 .

[15]  John Mylopoulos,et al.  Towards Requirements-Driven Information Systems Engineering , 2001 .

[16]  Ilkka Niemelä,et al.  Model-Based Analysis of an Arc Protection and an Emergency Cooling System - MODSAFE 2007 Working Report , 2008 .