Marco Panunzio
Department of Pure and Applied Mathematics, University of Padua
via Trieste 63
35121 Padova

Beyond ASSERT: Increasing the Effectiveness of Model-Driven Engineering

Matteo Bordin and Marco Panunzio and Tullio Vardanega

13th Conference on Data Systems in Aerospace


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.