Defesa de Qualificação de Adriana Damasceno 5/9 14h

postado em 25 de jul de 2013 06:35 por Nazareno Ferreira de Andrade
Candidato: Adriana Carla Damasceno
Título do trabalho: Symbolic Test Generation of Compositional Real-Time Systems
Orientador(es): Patrícia Duarte de Lima Machado e Wilkerson de Lucena Andrade

Data: 5/9 
Horário: 14 horas
Local: SPLab

Banca examinadora: Augusto Cezar Alves Sampaio (UFPE), Maria de Fátima Mattiello-Francisco (INPE), Adalberto Cajueiro de Farias (UFCG), Jorge Cesar Abrantes de Figueiredo (UFCG). 

Resumo: Real-time system (RTS) models contain information about how the system behaves and within which time these actions are expected to happen. RTS can be used in a number of different applications such as patient monitoring, air traffic control and other embedded applications. Consequently, an error in this kind of system can be catastrophic, since it can harm human lives. This way, the testing of real-time systems must be a very accurate task. Among the available approaches to perform this activity, the tioco conformance testing theory can be used since it is based on test generation from specifications. In this work, we focus on TIOSTS models. They store symbolic data and clock variables, avoiding the state space and region explosion problems. Even so, due to the complexity of the available systems, most of them use subsystems that interact to compose a bigger system. Thus, some questions may arise: If two subsystem implementations are tioco conformant to their specifications, is it true to assume that the composition of the implementations also is tioco conformant to the composition of their specifications? How the operators can be defined to work with the TIOSTS and tioco conformance? In this work, we investigate and propose parallel and sequential operators for the TIOSTS model and presented some initial results towards their properties when the subsystems are composed, also implementing them. Besides, we show examples where our approach can be used and evaluated them in a case study that models some components of a general aircraft specification.