Estratégia para introdução de requisitos da norma UL1998 em modelos UML Statechart de sistemas embarcados

Abstract

Context: Operating in different contexts and segments, embedded systems (ESs) are increasingly present in everyday society. The ESs usually operate invisibly to the user but, even so, possible software failures cease to pose risks, causing serious material and financial damage. Taking into consideration the safety of users of ESs, government entities and institutions around the world have studied and created standards development and SEs test to ensure systems that are more robust and free from defects that may cause faults that may endanger the user. However, standards are usually applied at the level of code, which increases substantially the resources to be used if there are defects in the SE. Objective: To present the UL/ME Strategy that addresses the shortcomings described in SEs certification standard, UL 1998 level modeling, more specifically, in the model of Statechart states. The purpose is to anticipate the identification of defects, to generate code that has more chance to meet the standard requirements, preventing rework and therefore improving quality. Methodology: The study was conducted in three stages: first stage identified the defects treated by the standard UL 1998, tabulating these defects, and then, link them to the SEs components. In the second stage were designed generic models for each component and also the ESs models that represents the tests required by the standard for each components, and in the third step, it was created two proposed for use UL/ME Strategy, one for ESs already implemented and other for ESs in development. These proposals were used for evaluation of the strategy using two real ESs, one already implemented and other in development. Results: According to the requirements of UL 1998 standard, the use of Strategy UL/ME helped to correct the defects of the first ES and evaluated the development of the second ES. Conclusion: the use of Strategy UL/ME assisted in the correction of an SE already implemented and modeling of an ES in development.