The UPMSat-2 Satellite: An academic project within aerospace engineering education S Pindado Carrion, E Roibás-Millán, J Cubas Cano, A García, S Andres, ... Instituto_Microgravedad, 2017 | 47* | 2017 |
New schedulability analysis for MrsP S Zhao, J Garrido, A Burns, A Wellings 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing …, 2017 | 24 | 2017 |
Supporting Nested Resources in MrsP J Garrido, S Zhao, A Burns, A Wellings Ada-Europe International Conference on Reliable Software Technologies, 73-86, 2017 | 21 | 2017 |
Analysis of WCET in an experimental satellite software development. D Brosnan Blázquez, JA Puente Alfaro, AA Alonso Muñoz, ... Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2012 | 21* | 2012 |
Experience in Spacecraft On-board Software Development. JA de la Puente, A Alonso, J Zamorano, J Garrido, E Salazar, ... Ada User Journal 35 (1), 2014 | 17* | 2014 |
Safety Concept for a Mixed Criticality On-Board Software System∗ A Alonso, JA de Ia Puente, J Zamorano, MA de Miguel, E Salazar, ... IFAC-PapersOnLine 48 (10), 240-245, 2015 | 14 | 2015 |
Mixed-criticality design of a satellite software system E Salazar, A Alonso, J Garrido Proc. 19th World Congress The Federation of Automatic Control, 12278-12283, 2014 | 14 | 2014 |
The Design and Implementation of the UPMSAT-2 Attitude Control System J Zamorano, J Garrido, J Cubas, A Alonso, A Juan IFAC-PapersOnLine 50 (1), 11245-11250, 2017 | 13 | 2017 |
ARINC-653 Inter-partition Communications and the Ravenscar Profile J Garrido, J Zamorano, JA de la Puente ACM SIGAda Ada Letters 35 (1), 38-45, 2015 | 9 | 2015 |
Ada, the programming language of choice for the UPMSat-2 satellite J Garrido, J Zamorano, JA de la Puente, A Alonso, E Salazar DASIA 2015-DAta Systems in Aerospace 732, 2015 | 9 | 2015 |
Ada, the programming language of choice for the UPMSat-2 satellite J Garrido, J Zamorano, JA de la Puente, A Alonso, E Salazar Data Systems in Aerospace—DASIA 2015, 2015 | 9 | 2015 |
Model-Driven Design of Real-Time Software for an Experimental Satellite JA de la Puente, J Garrido, J Zamorano, A Alonso World Congress 19 (1), 1592-1598, 2014 | 9 | 2014 |
Static analysis of WCET in a satellite software subsystem J Garrido, J Zamorano, JA de la Puente 13th International Workshop on Worst-Case Execution Time Analysis, 2013 | 9 | 2013 |
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile J Garrido, J Zamorano, A Alonso, A Juan Ada-Europe International Conference on Reliable Software Technologies, 3-17, 2017 | 7 | 2017 |
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources S Zhao, J Garrido, R Wei, A Burns, A Wellings, A Juan Journal of Systems and Software 159, 110449, 2020 | 6 | 2020 |
Timing Analysis of the UPMSat-2 Communications Subsystem J Garrido, J Zamorano, A Alonso, A Juan IFAC-PapersOnLine 51 (10), 217-222, 2018 | 6 | 2018 |
Using Internet-based Technologies in a University Satellite Project A Juan, J Garrido, E Salazar, J Zamorano, A Alonso IFAC-PapersOnLine 48 (29), 82-86, 2015 | 6 | 2015 |
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS J Zamorano, J Garrido Ada-Europe International Conference on Reliable Software Technologies, 85-99, 2015 | 5 | 2015 |
In support of extending the Ravenscar profile J Garrido, B Lacruz, J Zamorano, JA de la Puente ACM SIGAda Ada Letters 36 (1), 63-67, 2016 | 4 | 2016 |
Timing analysis tools in a model-driven development environment J Garrido, A Juan, J Zamorano, MA de Miguel, A Alonso IFAC-PapersOnLine 50 (1), 5875-5880, 2017 | 2 | 2017 |