A goal-oriented approach for safety requirements specification
Author
Navarro Martínez, Elena María; Sánchez Palma, Pedro; Letelier Torres, Patricio; Pastor Franco, Juan Ángel; Ramos Salavert, IsidroKnowledge Area
Lenguajes y Sistemas InformáticosSponsors
This work has been validated in the context of the EFTCoR project funded by the European Union.Publication date
2006-03Publisher
IEEE Computer SocietyBibliographic Citation
NAVARRO MARTÍNEZ, Elena María et al. A goal-oriented approach for safety requirements specification. En: Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (13º: 2006: Postdam, Alemania) Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS’06), Postdam, Germany 27-30 March 2006. Postdam: IEEE Computer Society, 2006. Pp. 319-326.Keywords
Especificaciones formalesArquitectura de software
Seguridad crítica de sistemas
Marco orientado a objetivos
Sistema róbótico de teleoperadores
Sistema de gestión de la seguridad
Abstract
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead us to consider that these systems are safety critical, i.e., systems where the strict management of safety aspects is vital. In this work, we introduce our proposal for the consideration of safety related requirements and their consequent trace to the desired final system architecture. For this reason, this paper gives a procedure for the identification and specification of safety requirements based on a goal oriented framework. Moreover, in this work other approaches have been considered and integrated to deal with well known safety standard recommendations. By means of an industrial case study, we show how this proposal can be used to consider safety requirements in tele-operated robotic systems and, by extrapolation, in other critical domains
Collections
The following license files are associated with this item:
Social media