Affiliation
- Marco Panunzio
- Department of Pure and Applied Mathematics, University of Padua
- via Trieste 63
- 35121 Padova
- Italy
Beyond ASSERT: Increasing the Effectiveness of Model-Driven Engineering
Matteo Bordin and Marco Panunzio and Tullio Vardanega
13th Conference on Data Systems in Aerospace
Abstract
One of the main evidences emerged from the ASSERT project was the suitability of the Model-Driven Engineering (MDE) approach for the development of on-board software. The current modeling technologies however did not prove sound enough to be effectively employed in the high integrity arena. One of the main outputs of ASSERT has been the RCM modeling methodology and technology. In this paper we critically review the results achieved within the RCM research track and propose an evolution of the methodology.