Modelo V para el Diseño de un Sistema de Seguridad Crítica Empleando Redes de Petri

AVILA, LUIS OMAR

Oro Verde

Congreso; XIV Reunión de Trabajo de la Información y Control - RPIC 2011; 2011

Unversidad Nacional de Entre Ríos, Facultad de Ingeniería, Bioingeniería y Bioinformática (UNER)

El desarrollo de sistemas avanzados de automatización aplicados al transporte de bienes por ferrocarril, implica un detallado análisis funcional y de seguridad para prever cómo la falta de disponibilidad puede ser reducida a un mínimo y cómo los equipos de vía y las personas involucradas pueden ser conservados permanentemente bajo condiciones de seguridad. Este trabajo presenta una metodología de diseño y análisis basada en un Modelo V para un sistema de vagones de carga equipados con radares. Un análisis cualitativo y cuantitativo es llevado a cabo empleando Redes de Petri Generalizadas tanto en la etapa de diseño del sistema como en las fases de verificación y validación que presenta el Modelo V. Se puntualizan los estándares IEC 62061 y EN 50129, ambos especifican requisitos y formulan recomendaciones para el diseño, integración y validación de sistemas de seguridad.