---

O aumento da automatiza‡Æo nos processos de desenvolvimento de sistemas vem ganhando espa‡o no contexto atual devido ao aumento da complexidade. Com isto, cada vez mais surgem ferramentas baseadas na gera‡Æo automática de código a partir de modelos. Devido a esta complexidade, os sistemas de informa‡Æo estÆo sujeitos a erros e vulnerabilidades. Assim, surgem as necessidades do aumento da automatiza‡Æo e do nível de abstra‡Æo no desenvolvimento de software, permitindo maior seguran‡a na aplica‡Æo. Essas necessidades sÆo respondidas pela utiliza‡Æo da abordagem da Engenharia Dirigida por Modelos que permite a modelagem e aplica‡Æo de transforma‡äes sobre os modelos, visando à obten‡Æo do software de forma automatizada. Este trabalho propäe um framework baseado em padräes de seguran‡a orientado a modelo, fornecendo diretrizes para implementa‡Æo do modelo e a valida‡Æo correta do uso dos padräes. A seguran‡a é inserida implicitamente no sistema por meio de transforma‡Æo entre modelos e codifica‡Æo automática, garantindo que a seguran‡a nÆo será violada em nenhum nível e nÆo será suscetível a erros ou altera‡äes do código.

---

Doutorando em Engenharia Elétrica na Universidade Federal de Santa Maria - UFSM, participante do Grupo de Eletrônica de Potência e Controle (GEPOC). Mestre em Ciência da Computa‡Æo na UFSM (2012). Graduado em Sistema de Informa‡Æo pelo Centro Universitário Franciscano - UNIFRA (2003). Atualmente CEO na FP2 Tecnologia e Any3 GestÆo.

---