Projeto de sistemas embarcados modernos e de te...projeto de sistemas embarcados modernos e de tempo real estão se tornando cada vez mais complexo. já se aplicam técnicas para gerenciar essa complexidade e manter um nível de abstração mais alto. o uso de especificações com níveis mais alto de abstrações, os quais são refinados sucessivamente até atingir a implementação do sistema usando componentes (equipamentos e programas) disponíveis na plataforma alvo de execução. uma das técnicas é o desenvolvimento dirigido por modelos (mde). a aplicação de técnicas de mde exige o cuidado por parte dos engenheiros no projeto dos sistemas. a qualidade do sistema gerado está relacionado diretamente a qualidade do modelo produzido. para aumentar a qualidade desses modelos, busca-se aplicar técnicas de testes e verificação aos modelos. um programa que é neglicenciado para modelagem, teste e verificação é o bootloader. esse programa é responsável por preparar o equipamento para a execução do programa principal. assim, esse projeto visa aplicar técnicas de mde, teste e verificação de modelo, geração de códigos no processo de criação do bootloader com o objetivo de aumentar sua qualidade.