Título de la tesis:

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: