FreeRTOS

Known as: SafeRTOS 
FreeRTOS is a popular real-time operating system kernel for embedded devices, that has been ported to 35 microcontrollers. It is distributed under… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Migration to multicore is inevitable. To harness the potential of this technology, embedded system designers need to have… (More)
  • figure 1
  • table I
Is this relevant?
Review
2014
Review
2014
FreeRTOS is a popular real-time and embedded operating system. Real-time software requires code reviews, software tests, and… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
2014
2014
FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the… (More)
  • figure 1
  • table 1
  • table 2
  • figure 3
Is this relevant?
2014
2014
In this paper, a hard real-time execution environment extension is proposed for an open source real-time operating system… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Automated verification of operating system kernels is a challenging problem, partly due to the use of shared mutable data… (More)
Is this relevant?
2012
2012
Automated verification of operating system kernels is a challenging problem, partly due to the use of shared mutable data… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2011
2011
This paper presents the implementation of a Hierarchical Scheduling Framework (HSF) on an open source real-time operating system… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 3
Is this relevant?
2011
2011
This paper presents extensions to the previous implementation of two-level Hierarchical Scheduling Framework (HSF) for FreeRTOS… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2010
2010
This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show… (More)
  • figure 1
Is this relevant?
2009
2009
This paper presents the current state of the formal development of FreeRTOS, a real-time operating system. The goal of this… (More)
  • figure 1
  • table 1
Is this relevant?