Título de la tesis:
A goal-oriented approach for safety requirements specification
Autor/es:
Navarro Martínez, Elena María - Sánchez Palma, Pedro - Letelier Torres, Patricio - Pastor Franco, Juan Ángel - Ramos Salavert, Isidro
Tipo de documento:
Ponencia
Universidad:
Universidad Politécnica de Cartagena
Departamento:
Idioma:
Castellano
Palabras clave:
Especificaciones 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
Fecha de la defensa:
Mar-2006
Notas:
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 ...
Valoración:
Clasificación por
