Sökning: "FreeRTOS"

Visar resultat 11 - 15 av 16 uppsatser innehållade ordet FreeRTOS.

  1. 11. Automatic Detection of Unspecified Expression Evaluation in FreeRTOS Programs

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Shahrzad Khodayari; [2014]
    Nyckelord :;

    Sammanfattning : Embedded systems are widely used in most electrical devices. They are often complex and safety-critical. Therefore, their reilability is significantlyimportant. AMong many techniques to verify a system, model checking models a system into temporal logic and can be used to assert a desired property on it. LÄS MER

  3. 12. Adapting Mode-Switches into the hierarchical scheduling

    Master-uppsats, Akademin för innovation, design och teknik

    Författare :DANIEL SANCHEZ VILLALBA; [2013]
    Nyckelord :Mode switches; hierarchical scheduling;

    Sammanfattning : Mode switches are used to partition the system’s behavior into different modes to reduce the complexity of large embedded systems. Such systems is said to operate in multiple modes where each mode corresponds to a specific application scenario, are called Multi-Mode Systems (MMS). Normally, a different piece of software is executed for each mode. LÄS MER

  4. 13. ProCom middleware

    Master-uppsats, Akademin för innovation, design och teknik

    Författare :Jiri Kuncar; [2011]
    Nyckelord :;

    Sammanfattning : The goal of this thesis is to develop and implement parts of a middleware that provides necessary support for the execution of ProCom components on top of the real-time operating system FreeRTOS. ProCom is a component model for embedded systems developed at Mälardalen University. LÄS MER

  5. 14. Security Services on an Optimized Thin Hypervisor for Embedded Systems

    Master-uppsats, RISE./SICS

    Författare :Viktor Do; [2011]
    Nyckelord :;

    Sammanfattning : Virtualization has been used in computer servers for a long time as a means to improve utilization, isolation and management. In recent years, embedded devices have become more powerful, increasingly connected and able to run applications on open source commodity operating systems. LÄS MER

  7. 15. Thin Hypervisor-Based Security Architectures for Embedded Platforms

    Master-uppsats, RISE./SICS

    Författare :Heradon Douglas; [2010]
    Nyckelord :;

    Sammanfattning : Virtualization has grown increasingly popular, thanks to its benefits of isolation, management, and utilization, supported by hardware advances. It is also receiving attention for its potential to support security, through hypervisor-based services and advanced protections supplied to guests. LÄS MER