Abstract. Although validation of complex dynamic systems can be realised using checklists and simulations provided by tools such as Simulink, these techniques usually do not cover all system behaviours. Moreover, the control laws are rarely modelled together with the system architecture. This integration can reveal defects which are only detected in final stages of the development. This work presents two major contributions: a strategy to validate the integration of a proposed architecture with control laws, based on the CSP process algebra; and the validation of a Fly-by-wire Elevator Control System designed by Embraer. The results show that the strategy helps finding defects in early stages of the development, saving time and costs.
A importância de elementos de jogos no ambiente de trabalho, recentemente, tornou-se parte da prática de gestão emergente. Quando este processo é consentido, existe um aumento de efetividade nas atividades relacionadas ao trabalho. Desenvolver um software não é uma tarefa fácil, e as vezes, pode se tornar entediante devido à práticas de atividades constantes. Por esse motivo, o presente estudo transforma o processo de desenvolvimento de software de um ambiente corporativo em um jogo, aplicando técnicas de ludificação em uma equipe de desenvolvimento, inserindo os elementos de jogos em uma ferramenta de gerenciamento a qual a equipe usa para cadastramento de atividades.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.