NDLI: Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques

Content Provider	IEEE Xplore Digital Library
Author	Zhensheng Guo Zeckzer, D. Liggesmeyer, P. Mäckel, O.
Copyright Year	2010
Abstract	This paper presents a case study for identifying security-safety requirements by using safety analysis techniques. In order to construct distributed software-intensive safety-critical systems, it is crucial to identify not only the safety requirements, but also the security requirements simultaneously, due to the fact that security attacks on the communication channels could cause safety consequences, such as damage to properties or even loss of human lives. Security-safety requirements are proposed for addressing the requirement that describes the safety, security requirements and the influence of the security attacks on safety requirements. Although many safety and security analyses techniques are available for deriving the security-safety requirements separately, no effective approach exists that uses an identical model for identifying integrated security and safety requirements. In this paper, the procedures and lessons learned for deriving integrated security-safety requirements using one identical model that is established by safety analysis techniques are presented. The results from this case study show that the safety analysis techniques are applicable for determining integrated requirements for describing the behavior of an outdoor robot.
Starting Page	508
Ending Page	513
File Size	356054
Page Count	6
File Format	PDF
ISBN	9781424477883
DOI	10.1109/ICSEA.2010.86
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-08-22
Publisher Place	France
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Security Fault trees Software Analytical models Communication channels Hazards RAVON security-safety requirements safety analysis techniques security analysis techniques integration of security safety requirements
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Safety analysis tools for requirements specifications

Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems

Infusing reliability techniques into software safety analysis

Eliciting additional safety requirements from use cases using SFTA

Survey of available software-safety analysis techniques

A case study using a protocol to derive safety functional requirements from Fault Tree Analysis

Safety analysis integration in a SysML-based complex system design process

Formal Verification of Safety Behaviours of the Outdoor Robot RAVON (2007)

FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON

Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques

Similar Documents

Safety analysis tools for requirements specifications

Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems

Infusing reliability techniques into software safety analysis

Eliciting additional safety requirements from use cases using SFTA

Survey of available software-safety analysis techniques

A case study using a protocol to derive safety functional requirements from Fault Tree Analysis

Safety analysis integration in a SysML-based complex system design process

Formal Verification of Safety Behaviours of the Outdoor Robot RAVON (2007)

FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON

Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques