Information model for model driven safety requirements management of complex systems

Proceedings of the 1st International Conference on Complex Systems Design and Management, CSDM 2010

Volumn , Issue , 2010, Pages 99-111

  Guillerm, R ^a,b   Demmou, H ^a,b   Sadou, N ^c  

^a LAAS CNRS   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

^c IETR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN FRAMEWORKS; INFORMATION MODELS; MODEL DRIVEN DESIGN; REQUIREMENTS DEFINITION; SAFETY REQUIREMENTS; SYSTEM ENGINEERING PROCESS; SYSTEM MODELING LANGUAGES; VERIFICATION AND VALIDATION;

DESIGN; EMBEDDED SYSTEMS; INFORMATION THEORY; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

LARGE SCALE SYSTEMS;

EID: 84878586536     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-642-15654-0_7     Document Type: Conference Paper

References (20)

1. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1, 11-33 (2004)
2. Rasmussen, J.: Risk Management in a Dynamic Society: A Modelling Problem. Safety Science 27(2/3), 183-213 (1997)
3. Gotel, O., Finkelstein, A.: An Analysis of the Requirements Traceability Problem. In: 1st International Conference on Requirements Engineering (ICRE 1994), Colorado Springs, April 1994, pp. 94-101 (1994)
4. Sommerville, I.: Software Engineering (Update), 8th edn. International Computer Science. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)
5. Juristo, N., Moreno, A.M., Silva, A.: Is the European Industry Moving Toward Solving Requirements Engineering Problems? IEEE Software 19(6), 70-77 (2002)
6. Komi-Sirvio, S., Tihinen, M.: Great Challenges and Opportunities of Distributed Software Development - An Industrial Survey. In: Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), pp. 489-496 (2003)
7. Robertson, S., Robertson, J.: Mastering the Requirements Process, 2nd edn. Addison-Wesley Professional, Reading (2006)
8. Parviainen, P., Tihinen, M., Lormans, M., van Solingen, R.: Requirements Engineering: Dealing with the Complexity of Sociotechnical Systems Development. In: Mate, J.L., Silva, A. (eds.) Requirements Engineering for Sociotechnical Systems, ch. 1, pp. 1-20. IdeaGroup Inc. (2004)
9. Goguen, J., Linde, C.: Techniques for requirements elicitation. In: 1st IEEE International Symposium on Requirements Engineering, San Diego, January 4-6, pp. 152-164 (1993)
10. Sahraoui, A.-E.-K.: Requirements Traceability Issues: Generic Model, Methodology And Formal Basis. International Journal of Information Technology and Decision Making 4(1), 59-80 (2005)
11. Sahraoui, A.E.K., Buede, D., Sage, A.: Issues in systems engineering research. In: INCOSE congress, Toulouse (2004)
12. Spitzer Cary, R.: Avionics Development and Implementation, 2nd edn. CRC Press, Boca Raton (2007)
13. EIA-632: processes for engineering systems
14. Kotovsky, K., Hayes, J.R., Simon, H.A.: Why are some problems hard? Evidence from Tower of Hanoi. Cognitive Psychology 17 (1985)
15. Bozzano, M., Cavallo, A., Cifaldi, M., Valacca, L., Villafiorita, A.: Improving Safety Assessment of Complex Systems: An Industrial case study. In: FM 2003, Pisa, September 8-14 (2003)
16. Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Lüdtke, A., Metge, S., Papadopoulos, S., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25, 26, January 27 (2006)
17. Certification considerations for highly-integrated or complex aircraft systems. Society of Automotive Engineers (December 1994)
18. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Society of Automotive Engineers (August 1995)
19. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
20. SysML: Source Specification Project, http://www.sysml.org/