Items where author is "Alonso Muñoz, Alejandro Antonio"

Article

Pérez Muñoz, Ángel Grover, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Cubas Cano, Javier ORCID: https://orcid.org/0000-0001-9787-3796, Valente, Hugo Santos, Zamorano Flores, Juan, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2023). A Quantitative Analysis of an Automatic Code Generation Tool for Space Software Applications. "Journal of Software: Evolution and Process" ;

Valente, Hugo Santos, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Pérez Muñoz, Ángel Grover, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Zamorano Flores, Juan and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2023). Model-based toolchain for cFS embedded systems for microsatellites. "Transactions on Embedded Computing Systems" ;

Valente, Hugo, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Zurera Madrid, Jesús, Pérez Muñoz, Ángel Grover, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Zamorano Flores, Juan and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2022). Extension of the Modeling Tool Suite for Development of Embedded Systems for the Space Domain. "IFAC-PapersOnLine", v. 55 (n. 4); pp. 286-291. ISSN 2405-8963. https://doi.org/10.1016/j.ifacol.2022.06.047.

Pérez Muñoz, Ángel Grover, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Velente, Hugo, Zurera Madrid, Jesús, Zamorano Flores, Juan, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2022). Integration of modelling languages for the development of space domain software applications. "Ada User Journal" ;

Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721 and Zamorano Flores, Juan (2020). An Embedded Systems Laboratory for Aerospace Students. "IFAC-PapersOnline", v. 53 (n. 2); pp. 17338-17343. ISSN 2405-8963. https://doi.org/10.1016/j.ifacol.2020.12.1822.

Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335, Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721, Cubas Cano, Javier ORCID: https://orcid.org/0000-0001-9787-3796, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2017). The design and implementation of the UPMSAT-2 Attitude Control System. "IFAC PapersOnLine", v. 50 (n. 1); pp. 11245-1125. ISSN 2405-8963. https://doi.org/10.1016/j.ifacol.2017.08.1607.

Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843 and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2017). Timing analysis tools in a model-driven development environment. "IFAC-PapersOnline", v. 50 (n. 1); pp. 5875-5880. ISSN 2405-8963. https://doi.org/10.1016/j.ifacol.2017.08.1303.

Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Salazar Marsá, José Emilio (2014). Tools for mixed-criticality partitioned systems: partitioning algorithm and extensibility support. "Ada User Journal", v. 35 (n. 2); pp. 123-127. ISSN 1381-6551.

Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335, Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721, Salazar Marsá, José Emilio and Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843 (2014). Experience in spacecraft on-board software development. "Ada User Journal", v. 35 (n. 1); pp. 55-60. ISSN 1381-6551.

Silva Gallino, Juan Pedro, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Fernández Briones, Javier and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2014). Estrategia guiada por modelos para incluir aspectos de seguridad en sistemas empotrados basados en servicios web. "Revista Iberoamericana de Automática e Informática Industrial RIAI", v. 11 (n. 1); pp. 86-97. ISSN 1697-7912. https://doi.org/10.1016/j.riai.2013.11.006.

Tejera Carballa, Pablo Daniel, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843 (2013). Diseño de un software de intermediación de comunicación para sistemas distribuidos de tiempo real críticos en Java. "Revista Iberoamericana de Automática e Informática Industrial RIAI", v. 10 (n. 2); pp. 228-239. ISSN 1697-7912. https://doi.org/10.1016/j.riai.2013.03.016.

García Valls, Marisol, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2012). A dual-band priority assignment algorithm for dynamic QoS resource management. "Future Generation Computer Systems", v. 28 (n. 6); pp. 902-912. ISSN 0167-739X. https://doi.org/10.1016/j.future.2011.10.005.

Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Fernández Briones, Javier, Silva Gallino, Juan Pedro and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2008). Integration of Safety Analysis in Model-Driven Software Development. "IET Software", v. 2 (n. 3); pp. 260-280. ISSN 1751-8806. https://doi.org/10.1049/iet-sen:20070050.

Presentation at Congress or Conference

Zurera Madrid, Jesús, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Valente, Hugo, Pérez Muñoz, Ángel Grover, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Zamorano Flores, Juan and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2022). Design, development, and implementation of a cFS, RTEMS, and LEON3 platform. In: "Data Systems in Aerospace - DASIA 2022", 17-19 May 2022, Online.

Zurera Madrid, Jesús, Santos Valente, Hugo Micael, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Pérez Muñoz, Ángel Grover, Zamorano Flores, Juan, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2021). Requirements for a Component-Based Modelling Language for Space Missions. In: "CEDI. Congreso Español de Informática.", 22 a 24 de septiembre de 2021, Málaga.

Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Torres García, Raúl, Zamorano Flores, Juan, Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721 and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2019). El segmento de tierra del satélite UPMSat-2 = The ground segment of the UPMSat-2 satellite. In: "XL Jornadas de Automática", 4-6 septiembre 2019, Ferrol (A Coruña). ISBN 978-84-9749-716-9. pp. 119-125.

Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Salazar Marsá, José Emilio (2015). Ada, the programming language of choice for the UPMSAT-2 satellite. In: "Data Systems In Aerospace (DASIA 2015)", 19/05/2016 - 21/05/2016, Barcelona, Spain. pp. 1-4.

Sanz Pineda, Concepción, Salas Martín, Alejandro, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 and Benac Earle, Clara ORCID: https://orcid.org/0000-0002-8629-5289 (2015). Automated model-based testing based on an agnostic-platform modeling language. In: "3rd International Conference on Model-Driven Engineering and Software Development", 09-11 Feb 2015, Angers, Loire Valley, Francia. ISBN 978-989-758-136-6. pp. 1-8.

Salazar Marsá, José Emilio and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2015). Partitioning algorithm for mixed criticality systems. In: "3rd Workshop on High-performance and Real-time Embedded Systems (HiRES 2015)", 19/01/2015 - 21/01/2015, Amsterdam, Netherlands. pp. 1-13.

Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Salazar Marsá, José Emilio and Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721 (2015). Safety concept for a mixed criticality on-board software system. In: "nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics (CESCIT 2015)", 22/06/2015 - 24/06/2015, Maribor, Slovenia. pp. 240-245. https://doi.org/10.1016/j.ifacol.2015.08.138.

Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721, Salazar Marsá, José Emilio, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335 and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2015). Using Internet-based technologies in a university satellite project. In: "IFAC Workshop on Internet Based Control Education (IBCE15)", 04/11/2015 - 06/11/2015, Brescia, Italy. pp. 82-86. https://doi.org/10.1016/j.ifacol.2015.11.217.

Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Salazar Marsá, José Emilio and Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843 (2014). A toolset for the development of mixed-criticality partitioned systems. In: "2nd Workshop on High-performance and Real-time Embedded Systems (HiRES 2014)", 20/01/2014 - 22/01/2014, Vienna, Austria. pp. 1-12.

Salazar Marsá, José Emilio, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721 (2014). Mixed-criticality design of a satellite software system. In: "19th World Congress of the International Federation of Automatic Control (IFAC 2014)", 24/08/2014 - 29/08/2014, Cape Town, South Africa. pp. 12278-12283.

Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335, Esquinas Fernández, Ángel, Bradley Valdenebro, Peter, Brosnan Blázquez, Daniel, Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721, Salazar Marsá, José Emilio, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2013). Arquitectura de tiempo real para el control de actitud en un satélite experimental. In: "XXIV Jornadas de Automática", 4-6 Sep 2013, Tarrasa, Barcelona, España. pp. 780-784.

Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Salazar, Emilio and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835 (2013). Design of On-Board Software for an Experimental Satellite. In: "XVI Jornadas de Tiempo Real.", 31/01/2013 - 01/02/2013, Valencia.

Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335 and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2013). Diseño e implementación del software del UPMSat-2 en el entorno de desarrollo TASTE.. In: "CEDI 2013", 17-20 Sep 2013, Madrid. pp. 17-34.

Trujillo González, Salvador, Crespo Lorente, Alfons and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2013). MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems. In: "16th Euromicro Conference on Digital System Design (DSD 2013)", 04/09/2013 - 06/09/2013, Santander, Spain. pp. 260-265. https://doi.org/10.1109/DSD.2013.

Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Jouvray, Christophe, Trujillo González, Salvador, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Grepet, Cyril and Simó, José (2013). Towards model-driven engineering for mixed-criticality systems: multiPARTES approach. In: "Design Automation and Test in Europe (DATE 2013)", 18/03/2013 - 22/03/2013, Grenoble, France. pp. 1-7.

Brosnan Blázquez, Daniel, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335 and Garrido Balaguer, Jorge ORCID: https://orcid.org/0000-0002-8385-2721 (2012). Analysis of WCET in an experimental satellite software development.. In: "12th International Workshop on Worst-Case Execution Time Analysis", 02/07/2012 - 04/07/2012, Pisa, Italy. ISBN 978-3-939897-41-5. pp.. https://doi.org/10.4230/OASIcs.WCET.2012.81.

Silva Gallino, Juan Pedro, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Fernández Briones, Javier and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2011). Domain-Specific Multi-Modeling of Security Concerns in Service-Oriented Architectures. In: "8th International Workshop on Web Services and Formal Methods, WS-FM'11", 01/09/2011 - 02/09/2011, Clermont-Ferrand, Francia. ISBN 978-3-642-29834-9_10. pp. 1-15.

Silva Gallino, Juan Pedro, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Fernández Briones, Javier and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2011). Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures. In: "International Conference on Services Computing IEEE 2011", 04/07/2011 - 09/07/2011, Washington D.C., USA. ISBN 978-0-7695-4462-5. pp. 761-762.

Fernández Briones, Javier, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Silva Gallino, Juan Pedro and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2010). Analysis of Quality Dependencies in the Composition of Software Architectures. In: "13th Jornadas de Tiempo Real", 05/02/2010 - 06/05/2010, Granada, España. ISBN 978-84-92757-51-0.

Fernández Briones, Javier, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and Silva Gallino, Juan Pedro (2010). Evaluating non-functional properties globally. In: "III Simposio de Sistemas de Tiempo Real, CEDI 2010", 07/09/2010 - 10/09/2010, Valencia, España. ISBN 978-84-92812-64-6.

Silva Gallino, Juan Pedro, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Fernández Briones, Javier and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2010). Model-Driven Development of a Web Service-Oriented Architecture and Security Policies.. In: "13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010", 05/05/2010 - 06/05/2010, Carmona, España. ISBN 978-1-4244-7083-9.

Fernández Briones, Javier, Miguel Cabello, Miguel Ángel de ORCID: https://orcid.org/0000-0002-8626-7843, Silva Gallino, Juan Pedro and Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (2010). On the Requirements for Quality Composability Modeling and Analysis. In: "13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW '10", 05/05/2010 - 06/05/2010, Carmona, España. ISBN 978-1-4244-7218-5.

Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996, Salazar Marsá, José Emilio and Lopez Trescastro, Jorge (2010). Resource Management for Enhancing Predictability in Systems with Limited Processing Capabilities.. In: "IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2010", 14/09/2010 - 16/09/2010, Bilbao, España. ISBN 978-1-4244-6848-5. https://doi.org/10.1109/ETFA.2010.5641339.

Thesis

Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 (1994). Extensiones a los métodos de planificación de sistemas de tiempo real críticos basados en prioridades. Thesis (Doctoral), Facultad de Informática (UPM). https://doi.org/10.20868/UPM.thesis.36389.