Proceedings of the 17th Conference on Computer Science and Intelligence Systems

DOI: http://dx.doi.org/10.15439/2022F163

Citation: Proceedings of the 17th Conference on Computer Science and Intelligence Systems, M. Ganzha, L. Maciaszek, M. Paprzycki, D. Ślęzak (eds). ACSIS, Vol. 30, pages 605–609 (2022)

Full text

Abstract. Modern embedded systems' increasing complexity and varied safety levels make it hard to coordinate all functionalities within a single run-time environment. Access to more advanced and capacious hardware changes the trend from utilising many separated platforms into one managing the whole compounded airborne system. Providing an appropriate isolation and synchronisation level is achievable only by adapting an operating system with separation mechanisms into UAV systems.This paper introduces Phoenix-RTOS, the microkernel structured real-time operating system designed to be consistent with aerospace standards DO-178C and ARINC 653. The current market offers many counterparts like VxWorks, Integrity 178, PikeOS and many others. These products are well known and used in leading-edge avionics and space projects. However, it is not possible to use them in many low-budget projects due to the high price. The Phoenix-RTOS differs from others and is an open-source project becoming a standard solution for energy, gas meters and UAV systems. In this paper, we focus on the currently designed mechanisms of microkernel architecture for providing a mixed-criticality system, particularly for compliance with ARINC 653. Engineers have been identifying time and space partitioning issues to cope with tight worst-case execution bounds of critical tasks.

References

1. Phoenix Systems Sp. z.o.o. - Homepage, https://phoenix-rtos.com/documentation. Last accessed 4.12.2021
2. Y. Zhao, D. Sanan, F. Zhang, and Y. Liu, “High-Assurance Separation Kernels: A Survey on Formal Methods.” arXiv, 2017. doi: https://doi.org/10.48550/arXiv.1701.01535.
3. J. A. Foss, P. W. Oman, C. Taylor, and W. S. Harrison, “The MILS architecture for high-assurance embedded systems,” International Journal of Embedded Systems, vol. 2, no. 3/4. Inderscience Publishers, p. 239, 2006. http://dx.doi.org/http://dx.doi.org/10.1504/IJES.2006.014859.
4. M. Ahmed and S. Gokhale, “Reliable Operating Systems: Overview and Techniques,” IETE Technical Review, vol. 26, no. 6. Medknow, p. 461, 2009. http://dx.doi.org/http://dx.doi.org/10.4103/0256-4602.57831
5. A. S. Tanenbaum, J. N. Herder, and H. Bos, “Can We Make Operating Systems Reliable and Secure?,” Computer, vol. 39, no. 5. Institute of Electrical and Electronics Engineers (IEEE), pp. 44–51, May 2006. http://dx.doi.org/https://doi.org/10.1109/MC.2006.156.
6. Lynxks - Homepage, http://www.lynuxworks.com/. Accessed 4.12.2021
7. GreenHills - Homepage, https://www.ghs.com/. Accessed 4.12.2021
8. WindRiver - Homepage, https://www.windriver.com/products/vxworks. Accessed 4.12.2021
9. PikeOS Homepage, https://www.sysgo.com/pikeos. Accessed 17.12.2021
10. Delange J and Lec L. Pok, An ARINC653-compliant operating system released under the BSD license. In: Proc. of the 13th Real-Time Linux Workshop, Prague (Czech Republic) 2011
11. Aeronautical Radio, Inc., 2010, Avionics Application Software Standard Interface: ARINC Specification 653P0-1, 653P1-3
12. S. Siewert and J. Pratt. Real-Time Embedded Components and Systems with LINUX and RTOS. ISBN: 978-1-942270-04-1