Information Model for Model Driven Safety Requirements Management of Complex Systems

The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are presented. The first one concerns the integration of safety requirements and management in system engineering process. The objective is to help designers and engineers in managing safety of complex systems. The second aspect concerns model driven design through the definition of an information model. This model is based on SysML (System Modeling Language) to address requirements definition and their traceability towards the solution and the Verification and Validation (V&V) elements.

[1]  Joseph A. Goguen,et al.  Techniques for requirements elicitation , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[2]  Seija Komi-Sirviö,et al.  Great Challenges and Opportunities of Distributed Software Development - An Industrial Survey , 2003, International Conference on Software Engineering and Knowledge Engineering.

[3]  Natalia Juristo Juzgado,et al.  Is the European Industry Moving toward Solving Requirements Engineering Problems? , 2002, IEEE Softw..

[4]  Rini van Solingen,et al.  Requirements Engineering: Dealing with the Complexity of Sociotechnical Systems Development , 2005 .

[5]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[6]  Cary R. Spitzer.  Avionics : Development and Implementation , 2006 .

[7]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[8]  Jens Rasmussen,et al.  Risk management in a dynamic society: a modelling problem , 1997 .

[9]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[10]  Suzanne Robertson,et al.  Mastering the Requirements Process (2nd Edition) , 2006 .

[11]  Ian Sommerville,et al.  Software Engineering: (Update) (8th Edition) (International Computer Science) , 2006 .

[12]  Pierre Bieber,et al.  ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects , 2006 .

[13]  H. Simon,et al.  Why are some problems hard? Evidence from Tower of Hanoi , 1985, Cognitive Psychology.

[14]  Marco Bozzano,et al.  Improving Safety Assessment of Complex Systems: An Industrial Case Study , 2003, FME.

[15]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[16]  Abd-El-Kader Sahraoui.  Requirements Traceability Issues: Generic Model, Methodology And Formal Basis , 2005, Int. J. Inf. Technol. Decis. Mak..