Engenharia de aplicação para sistemas embarcados : transformando especificações SysML em Simulink
Ano de defesa: | 2013 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Dissertação |
Tipo de acesso: | Acesso aberto |
Idioma: | por |
Instituição de defesa: |
Universidade Estadual de Maringá
Brasil Departamento de Informática Programa de Pós-Graduação em Ciência da Computação UEM Maringá, PR Centro de Tecnologia |
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: | |
Link de acesso: | http://repositorio.uem.br:8080/jspui/handle/1/2512 |
Resumo: | The evolution of hardware platforms has transferred a great amount of functionality to embedded software, thus increasing its complexity. Model Driven Engineering (MDE) and Software Product Line (PL) can enhance the development of embedded systems by means of using different specification languages according to the abstraction levels and and ways to manage variability across development. The SyMPLES approach supports the conception of SysML-based PLs. It includes two SysML extensions, created by means of the UML profiling mechanism both to express PL variability concepts and to associate SysML blocks to the main classes of functional blocks. SyMPLES was initially created with focus on domain engineering activity of PL, since the models generated in the application engineering activity are not refined. This dissertation presents one transformation process from SysML to Simulink models that is intended to supplement the SyMPLES approach. SysML models created in the PL application engineering activity from SyMPLES are used to create functional blocks and state machines. An application example was developed for one subsystem of an autopilot board used in Unmanned Aerial Vehicles, named Yapa 2 of Paparazzi project, which was studied into the context of National Institute of Science and Technology for Safety Critical Embedded Systems (INCT-SEC). The results show that SysML configured models can be transformed in order to represent the system with functional blocks, which facilitates the generation of code. |