Modelación y verificación de la especificación de un sistema de control de eventos de post colisión de automóviles con OCL



Título del documento: Modelación y verificación de la especificación de un sistema de control de eventos de post colisión de automóviles con OCL
Revista: Abstraction & application
Base de datos: PERIÓDICA
Número de sistema: 000424049
ISSN: 2007-2635
Autores: 1
2
3
Instituciones: 1Universidad Tecnológica de la Mixteca, Instituto de Posgrado, Huajuapan de León, Oaxaca. México
2Universidad Tecnológica de la Mixteca, Instituto de Computación, Huajuapan de León, Oaxaca. México
3Universidad Popular Autónoma del Estado de Puebla, Decanato de Ingenierías, Puebla. México
Año:
Volumen: 21
Paginación: 84-94
País: México
Idioma: Español
Tipo de documento: Artículo
Enfoque: Analítico, descriptivo
Resumen en español Generalmente el desarrollo de software inicia con las abstracciones que los analistas y diseñadores realizan del sistema, por lo tanto, si éstas son malas, el software será deficiente, no obstante, si se obtienen buenas abstracciones, existe una mayor probabilidad de mejorar el producto final. En este contexto, los lenguajes formales pueden ayudar en el modelado y verificación de software, sirviendo de apoyo a los ingenieros de software en la detección temprana de inconsistencias y fallos en el diseño de sus modelos. Por tal motivo, en este documento se presenta el uso de USE y OCL para el modelado y verificación de un sistema de control de eventos de post colisión de automóviles haciendo énfasis en la importancia de los métodos formales en el modelado y verificación de sistemas de software críticos
Resumen en inglés Usually, software development begins with the abstractions that developers – analyst and designers- create for a system. Bad abstractions almost securely will derive in deficient software; on the other hand, if developers propose good abstractions, there is a major possibility arrive to a better final product. In this context, formal languages can help to model and verify, supporting software engineers in the early detection of inconsistencies and flaws in their design of models. For this reason, in this paper, the USE tool and the OCL language to model and verify a post-collision event control system for cars is presented. The authors make an emphasis on the importance of formal methods to model and verify critical software
Disciplinas: Ciencias de la computación,
Ingeniería
Palabras clave: Software,
Ingeniería mecánica,
Desarrollo de software,
Sistemas automotrices,
Verificación de sistemas
Keyword: Software,
Mechanical engineering,
Software development,
Automotor systems,
System verification
Texto completo: Texto completo (Ver HTML)