Robot control system using Ada and Xtratum
DOI:
https://doi.org/10.17979/ja-cea.2025.46.12196Keywords:
Control en tiempo real, Algoritmos en tiempo real, planificación y programación, Guiado navegación y control, Sistemas de tiempo real, Diseño lógico, diseño físico e implementación de sistemas informáticos embebidos, Arquitecturas de computación embebidasAbstract
This paper describes the design and programming of a mobile robot using two different software configurations: one using the Ada language with Run-Time Support and the other using a partitioned system based on the XtratuM hypervisor and the LithOS operating system. Different robot control, sensor integration and real-time scheduling functionalities are explored, demonstrating the applicability of critical technologies in embedded environments. In addition, the advantages and disadvantages of each of the configurations are discussed.
References
Aeronautical Radio, I. A., 2010. ARINC Specification 653: Avionics Application Software Standard Interface. https://www.aviation-ia.com/products/arinc-653, part 1 - Required Services.
Burns, A., Dobbing, B., Vardanega, T., Jun. 2004. Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett. XXIV (2), 1–74.URL: https://doi.org/10.1145/997119.997120 DOI: 10.1145/997119.997120
Burns, A., Wellings, A. J., 2009. Real-time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX. Addison-Wesley.
Kornecki, A. J., Zalewski, J., 2009. Certification of software for real-time safety-critical systems: state of the art. Innov. Syst. Softw. Eng. 5 (2), 149–161.URL: https://doi.org/10.1007/s11334-009-0088-1DOI: 10.1007/S11334-009-0088-1
Masmano, M., Ripoll, I., Crespo, A., Metge, J., 2009. XtratuM: a hypervisor for safety critical embedded systems. In: 11th Real-Time Linux Workshop. Vol. 9. Citeseer.
Masmano, M., Valiente, Y., Balbastre, P., Ripoll, I., Crespo, A., Metge, J.,2010. LithOS: a ARINC-653 guest operating for XtratuM. In: Proc. of the 12th Real-Time Linux Workshop.
Rushby, J., 1999. Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Tech. rep., NASA Langley Technical Report. Society, I. C., 2008. IEEE Std 1003.1-2008 (POSIX): Standard for Information Technology – Portable Operating System Interface. https://standards.ieee.org/standard/1003_1-2008.html.
Taft, S. T., Duff, R., Brukardt, R., Ploedereder, E., 2022. Ada reference manual.
Xilinx Inc., 2021. Zynq-7000 SoC Technical Reference Manual. San Jose,CA, USA.
Downloads
Published
Issue
Section
License
Copyright (c) 2025 Ana Guasque , Marc Fontalba, Luis Ortiz, José Simó, Patricia Balbastre, Alfons Crespo
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
