Engenharia de aplicação para sistemas embarcados : transformando especificações SysML em Simulink

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...

ver descrição completa

Detalhes bibliográficos
Autor: Fragal, Vanderson Hafemann
Formato: tesis de maestría
Estado:Versión publicada
Fecha de publicación:2013
País:Brasil
Recursos:Universidade Estadual de Maringá (UEM)
Repositorio:Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
Idioma:portugués
OAI Identifier:oai:localhost:1/2512
Acesso em linha:http://repositorio.uem.br:8080/jspui/handle/1/2512
Access Level:acceso abierto
Palavra-chave:Linha de produção de software
SysML
Simulink
Sistemas embarcados
Veículos aéreos não tripulados
VANT
Software
Desenvolvimento dirigidos por modelos
Brasil.
Software production line
Embedded systems
Unmanned aerial vehicles
UAV
Development driven by models
Brazil.
Ciências Exatas e da Terra
Ciência da Computação
Descrição
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.