Semi-automated process of adaptation of platform dependent parts of embedded operating systems

[1] P. Ranganathan, ”From Microprocessors to Nanostores: Re-thinking Data Centric Systems”, Computer, vol. 44, no. 1, pp. 39-48, January 2011.10.1109/MC.2011.18Search in Google Scholar

[2] V. Avula, ”Adapting operating systems to embedded manycores: Scheduling and inter-process communication”, Master thesis, Uppsala universitet, 2014.Search in Google Scholar

[3] M. Seltzer and C. Small, ”Self-monitoring and self-adapting operating systems”, Proceedings of Operating Systems, 1997 The Sixth Workshop on Hot Topics, pp. 124-129, May 1997.Search in Google Scholar

[4] A. S. Tanenbaum and A. S.Woodhull,Operating Systems Design and Implementation (3rd Edition) Prentice Hall, 2006.Search in Google Scholar

[5] J. J. Labrosse, J. Ganssle and E. A. Oshana, ”Embedded Software: Know It All (Newnes Know It All)”, Newnes, 2007.Search in Google Scholar

[6] M. Vojtko and T. Krajcovic, ”Prototype of Modular Operating System for embedded application”, Applied Electronics (AE), 2013 International Conference, pp. 1-4, September 2013.Search in Google Scholar

[7] P. Chou, R. Ortega and G. Borriello, ”Synthesis of the hard- ware/software interface microcontroller-based systems”, Com- puter-Aided Design, ICCAD-92, Digest of Technical Papers, IEEE/ACM International Conference, pp. 488495, November 1992.Search in Google Scholar

[8] P. Chou, R. Ortega and G. Borriello, ”Interface co-synthesis techniques for embedded systems”, Computer-Aided Design, 1995, ICCAD-95, Digest of Technical Papers, IEEE/ACM International Conference on, ISSN 1092-3152, pp. 280287, November 1995.Search in Google Scholar

[9] G. Borriello, P. Chou and R. Ortega,Embedded system co-design - towards portability and rapid integration Integration Hardware/Software Co-Design, M. G. Sami and G. De Micheli, Eds., Kluwer Academic Publishers, pp. 21, 1995.10.1007/978-94-009-0187-2_10Search in Google Scholar

[10] Real Time Engineers Ltd, The FreeRTOS Project 2015, http://www.freertos.org/.Search in Google Scholar

[11] TinyOS, 2011, http://www.inyos.net.Search in Google Scholar

[12] S. Bogan, ”Formal Specification of a Simple Operating System”, PhD dissertation, der Naturwissenschaftlich-Technischen Fakultten der Universitt des Saarlandes, August 2008.Search in Google Scholar

[13] J. Drrenbcher, ”Vamos microkernel: Formal models and verification, 2006”, Talk given at the International Work-shop on Systems Software Verification, August 2006, [Online], Available at http://www.cse.unsw.edu.au/formalmethods/events/svws-06/VAMOSMicrokernel.pdf.Search in Google Scholar

[14] S. Beyer, C. Jacobi, D. Krning, D. Leinenbach and W. J. Paul, ”Putting it all together formal verification of the vamp”, International Journal on Software Tools for Technology Transfer (STTT), 2006.10.1007/s10009-006-0204-6Search in Google Scholar

[15] M. Vojtko and T. Krajcovic, ”Adaptability of an Embedded Operating System: A Formal Description of a Processor”, 10th International Joint Conferences on Computer, Information, Systems Sciences, and Engineering, pp. 1-4, December 2014.Search in Google Scholar

[16] M. Vojtko and T. Krajčovič, ”Adaptability of an Embedded Operating System: A Generator of a Platform Dependent Code”, International Conference on Cybernetics and Informatics 2016, 1.2.2016.10.1109/CYBERI.2016.7438613Search in Google Scholar