<abstract xmlns="http://www.w3.org/1999/xhtml"><p> Each year manufacturers develop new processors. As a reaction to this continuous development, the developers of software have to adapt their software to those new processors. As a minimal requirement, the code of an operating system has to be changed to enable the execution of other user applications. This change is a complicated process during which incompatible parts of an operating system have to be redesigned and missing parts have to be implemented. Complications arise when there is a need to adapt an operating system to completely different processor architecture. In this paper we present a novel adaptation process that has preconditions to reduce the impact of these complications. This process uses a file for the formal description of a processor, which is also described in this paper. The formal description could act as a standard for processor manufacturers and could allow the generation of a platform dependent code of an operating system. This paper presents concepts, definitions and ideas of the adaptation process and shows possible solutions for an automatic generation of code parts of an operating system.</p></abstract>

Each year manufacturers develop new processors. As a reaction to this continuous development, the developers of software have to adapt their software to those new processors. As a minimal requirement, the code of an operating system has to be changed to enable the execution of other user applications. This change is a complicated process during which incompatible parts of an operating system have to be redesigned and missing parts have to be implemented. Complications arise when there is a need to adapt an operating system to completely different processor architecture. In this paper we present a novel adaptation process that has preconditions to reduce the impact of these complications. This process uses a file for the formal description of a processor, which is also described in this paper. The formal description could act as a standard for processor manufacturers and could allow the generation of a platform dependent code of an operating system. This paper presents concepts, definitions and ideas of the adaptation process and shows possible solutions for an automatic generation of code parts of an operating system.

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

Journal of Electrical Engineering

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Each year manufacturers develop new processors. As a reaction to this continuous development, the developers of software have to adapt their software to those...

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

Published Online: May 11, 2017

Page range: 87 - 98

Received: May 10, 2016

DOI: https://doi.org/10.1515/jee-2017-0013

Keywords
formal description of embedded operating systems, formal description of processors, automatic source code generation, platform dependent code

© Faculty of Electrical Engineering and Information Technology, Slovak University of Technology

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

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

Published Online: May 11, 2017

Page range: 87 - 98

Received: May 10, 2016

DOI: https://doi.org/10.1515/jee-2017-0013

Keywordsformal description of embedded operating systems, formal description of processors, automatic source code generation, platform dependent code

© Faculty of Electrical Engineering and Information Technology, Slovak University of Technology

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Keywords
formal description of embedded operating systems, formal description of processors, automatic source code generation, platform dependent code