References
- GR740 Technical Note on Benchmarking and Validation, Cobham Gaisler, 2017.
- XtratuM User Manual, FentISS, 2015.
- S. Grixti, N. Sammut, M. Hernek, E. Carrascosa, M. Masmano, "Separation Kernel Robustness Testing," Proceedings of IEEE International Conference on Cluster Computing, pp. 524-531, 2016.
- A. Crespo, P. Balbastre, J. Simo, J. Coronel, D. G. Perez, P. Bonnot, "Hypervisor-based Multicore Feedback Control of Mixed-criticality Systems," IEEE Access, Vol. 6, pp. 50627-50640, 2018. https://doi.org/10.1109/ACCESS.2018.2869094
- E. Carrascosa, J. Coronel, M. Masmano, P. Balbastre, A. Crespo, “XtratuM Hypervisor Redesign for LEON4 Multicore Processor,” ACM SIGBED Review, Vol. 11, No. 2, pp. 27-31, 2014. https://doi.org/10.1145/2668138.2668142
- W. Weber, "Embedded Multi-core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-time Environments," D13.26 Final Standardization Report and Outlook, 2017.
- V. Muttillo, L. Tiberi, L. Pomante, “Benchmarking Analysis and Characterization of Hypervisors for Space Multicore Systems,” Journal of Aerospace Information Systems, Vol. 16, No. 11, pp. 500-511, 2019. https://doi.org/10.2514/1.I010745
- S.-W. Kim, B.-S. Yoo, J.-W. Choi, J.-Y. Jeong, "Development of RTEMS SMP Platform Based on XtratuM Virtualization Environment for Satellite Flight Software," Journal of the Korean Society for Aeronautical and Space Sciences, submitted for publication, Vol. 48, No. 6, pp. 467-478.
- XtratuM in the Space Market. Accessed on Mar. 31, 2020. Available: https://fentiss.com/rdi/missions
- B.-S. Yoo, J.-W. Choi, J.-Y. Jeong, S.-W. Kim, "Performance Analysis of Processors for Next Generation Satellites," IEMEK Journal of Embedded Systems and Applications, Vol. 14, No. 1, pp. 51-61, 2019 (in Korean). https://doi.org/10.14372/IEMEK.2019.14.1.51
- R. Ginosar, "Survey of Processors for Space," Proceedings of Data Systems in Aerospace, pp. 1-5, 2012.
- H.-K. Shin, J.-S. Lee, Y.-J. Cheon, "Minor Cycle Sampling of Telemetry for Geostationary Satellite," The Korean Institute of Information Scientists and Engineers, Vol. 32, No. 6, 2014, pp. 1085-1087.
- S. M. Z. Iqbal, Y. Liang, H. Grahn, "ParMiBench - an Open-source Benchmark for Embedded Multiprocessor Systems," IEEE Computer Architecture Letters, Vol. 9, No. 2, pp. 45-48, 2010. https://doi.org/10.1109/L-CA.2010.14
- M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge, R. B. Brown, "MiBench: A Free, Commercially Representative Embedded Benchmark Suite," Proceedings of IEEE International Workshop Workload Characterization, pp. 3-14, 2001.