A goal-oriented approach for safety requirements specification
Autor
Navarro Martínez, Elena María; Sánchez Palma, Pedro; Letelier Torres, Patricio; Pastor Franco, Juan Ángel; Ramos Salavert, IsidroÁrea de conocimiento
Lenguajes y Sistemas InformáticosPatrocinadores
This work has been validated in the context of the EFTCoR project funded by the European Union.Fecha de publicación
2006-03Editorial
IEEE Computer SocietyCita bibliográfica
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.Palabras clave
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
Resumen
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
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales