A goal-oriented approach for safety requirements specification
MetadatosMostrar el registro completo del ítem
AutorNavarro Martínez, Elena María; Sánchez Palma, Pedro; Letelier Torres, Patricio; Pastor Franco, Juan Ángel; Ramos Salavert, Isidro
Área de conocimientoLenguajes y Sistemas Informáticos
PatrocinadoresThis work has been validated in the context of the EFTCoR project funded by the European Union.
Fecha de publicación2006-03
EditorialIEEE Computer Society
Cita bibliográficaNAVARRO, Elena, SÁNCHEZ, Pedro, LETELIER, Patricio, RAMOS, Isidro. 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. 319-326p.
Palabras claveEspecificaciones formales
Arquitectura de software
Seguridad crítica de sistemas
Marco orientado a objetivos
Sistema róbótico de teleoperadores
Sistema de gestión de la seguridad
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
El ítem tiene asociados los siguientes ficheros de licencia: