| Journal: | Abstraction & application |
| Database: | PERIÓDICA |
| System number: | 000424049 |
| ISSN: | 2007-2635 |
| Authors: | León, Andrés1 Fernández y Fernández, Carlos Alberto2 Aguilar Cisneros, Jorge R3 |
| Institutions: | 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 |
| Year: | 2018 |
| Volumen: | 21 |
| Pages: | 84-94 |
| Country: | México |
| Language: | Español |
| Document type: | Artículo |
| Approach: | Analítico, descriptivo |
| Spanish abstract | 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 |
| English abstract | 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 |
| Disciplines: | Ciencias de la computación, Ingeniería |
| Keyword: | Software, Ingeniería mecánica, Desarrollo de software, Sistemas automotrices, Verificación de sistemas |
| Keyword: | Software, Mechanical engineering, Software development, Automotor systems, System verification |
| Full text: | Texto completo (Ver HTML) |
