| Summary: | Software de tempo real embarcado é intensamente utilizado em missões espaciais. Entretanto seu desenvolvimento carece de técnicas mais robustas para garantir aderência a requisitos cada vez mais abrangentes e complexos, melhorar sua facilidade para execução de testes e integração, além de atender prazos cada vez menores. Alinhado à Engenharia Conduzida por Arquitetura (do Inglês \textit{Model-Driven Architecture}, MDA) o presente trabalho propõe uma abordagem para descrever sistemas de tempo real embarcados usando especificações através de modelos. Tais modelos descrevem todas as partes do sistema em diferentes níveis de abstração, contemplando tanto requisitos funcionais como requisitos não-funcionais. Eles ainda oferecem capacidade para analisar de forma antecipada propriedades funcionais e não funcionais (escalonabilidade, no presente trabalho). === Real time embedded software are applied on space missions, however its development lacks more robust techniques to accomplish requirements more wide and complex, to improve its easiness for execution of tests and integration, beyond increasing time-to-market. Aligned with Model-Driven Architecture the current work proposes an approach to describe real time embedded software using specifications through models. Such models describe all system parts in different abstraction levels, covering functional requirements and non-functional requirements. They still allow early analysis of functional properties and non-functional properties (schedulability, in current work).
|
|---|
