Identification of security-safety requirements for the outdoor robot RAVON using safety analysis techniques

Proceedings - 5th International Conference on Software Engineering Advances, ICSEA 2010

Volumn , Issue , 2010, Pages 508-513

  Guo, Zhensheng ^a   Zeckzer, Dirk ^b   Liggesmeyer, Peter ^a   Mäckel, Oliver ^c  

^a AG Software Engineering: Dependability   (Germany)

^b AG Graphische Datenverarbeitung   (Germany)

^c SIEMENS AG   (Germany)

Author keywords

Integration of security and safety requirements; RAVON; Safety analysis techniques; Security analysis techniques; Security safety requirements

Indexed keywords

COMMUNICATION CHANNEL; DISTRIBUTED SOFTWARE; HUMAN LIVES; INTEGRATED REQUIREMENTS; RAVON; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS; SAFETY REQUIREMENTS; SECURITY ANALYSIS; SECURITY ATTACKS; SECURITY REQUIREMENTS;

SECURITY SYSTEMS; SOFTWARE ENGINEERING;

SAFETY ENGINEERING;

EID: 78649849969     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2010.86     Document Type: Conference Paper

References (19)

1. IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems, International Electrotechnical Commission, 1998.
2. ISO 26262: Road vehicles - Functional safety, International Organization for Standardization, 2008.
3. Eames, D. D., and Moffett, J.: The Integration of Safety and Security Requireemnts, SAFACOMP'99, LNCS 1698, 1999, pp. 468-480.
4. Zowghi, D. and Coulin, C.: Requirements Elicitation: A Survey of Techniques, Approaches the Tools. Engineering and Managing Software Requiremnts. A. Aurum, C. Wohlin. Springer 2005.
5. Kelly, T. and Weaver, R.: The Goal Structuring Notation - A Safety Argument Notation. In DSN-2004: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases. 2004.
6. Dardenne, A., van Lamsweerde, A., and Fickas, S.: Goal-Directed Requirements Acquisition, Science of Computer Programming, vol. 20, pp. 3-50. 1993.
7. Mylopoulos, J., Chung, L., Liao, S., Wang, H., and Yu, E.: Exploring Alternatives During Requirements Analysis. IEEE Software, January/February 2001.
8. Bowles, J. and Wan, C.: Software Failure Modes and Effects Analysis For a Small Embedded Control System. Proceedings Annual RELIABILITY and MAINTAINABILITY Symposium., IEEE, 2001.
9. Czerny, B., D'Ambrosio, J., Murray, B., and Sundaram, P: Effective Application of Software Safety Techniques for Automotive Embedded Control Systems. 2005 SAE World Congress Detroit, Michigan April 11-14, 2005.
10. Johannessen, P., Grante, C., Alminger, A., Eklund, U., and Torin, J.: Hazard Analysis in Object Oriented Design of Dependable Systems.IEEE. 2001.
11. Society of Automotive Engineers, ARP-4761: Aerospace Recommended Practice: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 12th edition, SAE, 400 Commonwealth Drive Warrendale PA United States, 1996.
12. Gowen, L. D., Collofello, J. S., and Calliss, F. W.: Preliminary Hazard Analysis for Safety-Critical Software Systems, IPCCC '92, IEEE, 1992.
13. Leveson, N. G.: Safeware, system safety and computers. Page 313-358. ISBN 0-201-11972-2. Addison-Wesley, 1995.
14. Kletz T.: HAZOP and HAZAN: Identifying and Assessing Process Industry Standards, 3rd Edition, Hemisphere Publishers, ISBN: 1-56032-276-4. 1992.
15. Vesely, W. E.: Fault Tree Handbook, US Nuclear Regulatory Committee Report NUREG-0492, pages X.15-18, US NRC Washington DC United States, 1981.
16. Joint endeavor by IATAC with DACS, (Information Assurance Technology Analysis Center (IATAC), Data and Analysis Center for Software (DACS)): Software Security Assurance, State-of-the-Art Report (SOAR), July 31, 2007.
17. Proetzsch M. and Wilhelm L.: Sepcification of the multipul constroller system, Project report. VIERforES project. Original german text: Spezifikation der Anforderungen für Mehrcontrollersysteme. Projekt-Bericht.VIERforES Projekt. 2009.
18. www.essarel.de Accessed on March 19th, 2010.
19. Kaiser, B, Liggesmeyer, P., and Mäckel, O.: A new component concept for fault trees. Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software (SCS'03), Canberra Conferences in Research and Practice in Information Technology, Vol 33. 2003.