Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Description of Embedded Operating Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Vojtko, Martin |
| Copyright Year | 2016 |
| Abstract | The fast development of new processors introduces problems with the adaptation of operating systems. When a new processor is presented on the market, the operating system needs to be adapted to the processor architecture and features. It is done by the reprogramming of a platform-dependent layer and the implementation of missing device modules of the operating system. The adaptation process of the operating system is more complicated when the new processor has a completely different architecture than the one of the operating system for which it was previously designed for. Another problem of the adaptation is in the processor datasheets, because they are not processable by the computer so the generation of the operating system code from datasheets is not possible. In this dissertation thesis, we present an updated adaptation process of embedded operating systems. We designed a Processor Formal Description that acts as a computer processable datasheet. This description is used for automated code generation of platform-dependent code. As a support to the adaptation process we present a concept of an adaptation framework that helps to reduce time needed for the adaptation of the operating system. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://acmbulletin.fiit.stuba.sk/abstracts/vojtko2016.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
