O termo cyber-physical system representa um dispositivo eletromecânico controlado por um sistema baseado em computador, exemplos deste tipo de sistema incluem robôs, aviões, redes inteligentes, entre outros. devido à natureza multidisciplinar dos cyber-physical systems, eles normalmente são projetados utilizando diferentes modelos. a perspectiva ''cibernética'' deste tipo de sistema pressupõe a existência de: (i) um modelo matemático que representa a dinâmica do sistema físico, (ii) algoritmos de controle, e (iii) um projeto do sistema computacional embarcado. dentro deste contexto, esta tese de doutorado investiga uma forma de abordar adequadamente o projeto do sistema computacional embarcado de um cyber-physical system baseada na modelagem funcional do mesmo. buscando evitar desta forma a criação de modelos funcionais e arquitetônicos dissociados, e além disso, promover uma abordagem de projeto dirigido por modelos, proporcionando benefícios como a independência de plataforma, níveis de abstração mais altos, e a reutilização de informações. como resultado da pesquisa realizada, é apresentada uma solução que ajuda a realizar a transição do modelo funcional para o modelo de arquitetura de software durante o processo de desenvolvimento de um cyber-physical system. para isso, é sugerido como relacionar elementos de um modelo funcional com elementos de um modelo de arquitetura. a solução proposta, chamada de ''transformação assistida de modelos (ast)'', fornece suporte para a transformação de modelos simulink utilizados para a modelagem funcional em modelos arquitetônicos expressos em aadl, e aumenta a confiabilidade de que os modelos funcional e arquitetural são consistentes entre si, uma vez que diminui ocorrência de erros de inconsistência de interface (portas, tipos de dados e conexões) entre os mesmos. a ast contribui, portanto, com a implantação/integração de aplicativos verificados em arquiteturas validadas tornando o processo de desenvolvimento de cyber-physical systems mais robusto. durante os experimentos, realizados na forma de estudos de caso, os modelos gerados pela ast mostraram-se passíveis de análises sintáticas, verificações comportamentais, e análises de escalonabilidade e de latência de fluxos, o que serviu para reforçar a escolha pelo de o uso de modelos aadl durante o processo de desenvolvimento de cps. também foi implementado no escopo desta pesquisa, o protótipo de uma ferramenta computacional que automatiza a aplicação da solução proposta. o protótipo foi implementado utilizando a linguagem de programação java, e empacotado como um plugin para ser usado dentro do ambiente osate (open source architectural environment tool), que é um processador de modelos aadl que roda dentro do eclipse. o plugin em questão, chamado de as2t, também pode ser considerado uma alternativa para estender a cadeia de transformação de modelos do ambiente topcased, que é um ambiente opensource para desenvolvimento de sistemas embarcados críticos que também faz uso do osate.