Em um processo de desenvolvimento de software, ...em um processo de desenvolvimento de software, em especial quando se trata de apli- cação críticas e de tempo real, a verificação e validação têm um papel fundamental para garantir a qualidade do software. em particular, testes constituem um método funda- mental para verificação e validação de sistemas de software, sejam estes críticos ou não. o processo de validação depende muito da qualidade dos conjuntos de testes aplicados ao produto. este fato leva à necessidade de gerar sequências de testes apropriadas. essa geração deve proceder de forma consistente e reproduzível para evitar a inadequação das sequencias de testes para revelar problemas no software. com o sistema crítico e de tempo real especificado em statecharts utilizando diagra- mas uml. estes diagramas serão interpretados para gerar a estrutura de dados para colo- car na memória estados, eventos, condições, transições, etc. a partir daí, a ferramenta gera a cadeia de markov (ou a máquina de estados finitos - máquina plana) para avalia- ção de desempenho. nesse projetos as atividades serão concentradas na transformação dos diagramas uml para serem processados pelo programa performcharts(vijaykumar, 1999). performcharts é uma ferramenta que foi desenvolvida no laboratório associado de computação e matemática aplicada (lac) do instituto nacional de pesquisas espa- ciais (inpe) para determinar medidas de desempenho de um sistema reativo especificado em statecharts. gerenciar os diagramas criados usando uml, será um próximo passo para comple- mentar o perfomcharts. essa linguagem é atualmente empregada em vários projetos e realizar a transformação de uml para pcml nos trará um avanço para auxiliar o uso dessa ferramenta. uma vez concluída a transformação dos modelos, uma etapa de testes e verificação se faz necessária para garantir a qualidade dos resultados do performcharts. a metodologia empregada seguirá o modelo de desenvolvimento de software definido na iso/iec 12207 (iso/iec/ieee. . . , 2008). para atingir os objetivos de atualização e complementação do performcharts as seguintes atividades serão realizadas: (i) investigar o estado da arte; (ii) implementação de algoritmos de transformação de modelo; e (iii) modelagem, verificação, teste e simulação de modelos.