HW/SW co-design of the instrument control unit for the energetic particle detector on-board solar orbiter S Sánchez, M Prieto, OR Polo, P Parra, A da Silva, Ó Gutiérrez, R Castillo, ... Advances in Space Research 52 (6), 989-1007, 2013 | 9 | 2013 |
A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models P Parra, OR Polo, J Fernandez, A Da Silva, SS Prieto, A Martinez IEEE Transactions on Emerging Topics in Computing, 2018 | 5 | 2018 |
Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques J Fernández, P Parra, B Nilas, I García, S Sánchez, OR Polo Industrial Embedded Systems (SIES), 2013 8th IEEE International Symposium on …, 2013 | 4 | 2013 |
Integration of a preemptive priority based scheduler in the Palladio Workbench J Fernández-Salgado, P Parra, M Hauck, AM Hellín, S Sanchez-Prieto, ... Journal of Systems and Software 114, 20-37, 2016 | 2 | 2016 |
Automatic verification of timing constraints for safety critical space systems J Fernandez, P Parra, SS Prieto, O Polo, G Bernat Proceedings of DAta System In Aerospace (DASIA) Conference, 2015 | 1 | 2015 |
Status of the Instrument Control Unit for EPD on-board Solar Orbiter S Sánchez Prieto, A Da Silva, O Rodriguez Polo, P Parra Espada, ... 40th COSPAR Scientific Assembly 40, 2014 | | 2014 |