References
- [1] P. Ranganathan, ”From Microprocessors to Nanostores: Re-thinking Data Centric Systems”, Computer, vol. 44, no. 1, pp. 39-48, January 2011.
- [2] V. Avula, ”Adapting operating systems to embedded manycores: Scheduling and inter-process communication”, Master thesis, Uppsala universitet, 2014.
- [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.
- [4] A. S. Tanenbaum and A. S.Woodhull,Operating Systems Design and Implementation (3rd Edition) Prentice Hall, 2006.
- [5] J. J. Labrosse, J. Ganssle and E. A. Oshana, ”Embedded Software: Know It All (Newnes Know It All)”, Newnes, 2007.
- [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.
- [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.
- [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.
- [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] Real Time Engineers Ltd, The FreeRTOS Project 2015, http://www.freertos.org/.
- [11] TinyOS, 2011, http://www.inyos.net.
- [12] S. Bogan, ”Formal Specification of a Simple Operating System”, PhD dissertation, der Naturwissenschaftlich-Technischen Fakultten der Universitt des Saarlandes, August 2008.
- [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.
- [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.
- [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.
- [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.