Formal Development of a Real-Time Operating System Memory Manager

@article{Su2015FormalDO,
  title={Formal Development of a Real-Time Operating System Memory Manager},
  author={Wen Su and Jean-Raymond Abrial and Geguang Pu and Bin Fang},
  journal={2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS)},
  year={2015},
  pages={130-139}
}
This paper presents the formal development of the memory management module of a real time operating system. The interesting feature of this type of memory manager is that its dynamic memory allocation/reallocation mechanism behaves in O(1) (no loops). This brings a serious challenge on the "correct by construction" approach used to build this kind of system. This is due to the necessity to elaborate some delicate algorithms associated with complex data structures. To overcome this challenge, we… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 30 references

and K

  • R.J.R. Bac
  • Sere. From action systems to modular systems,
  • 1996
Highly Influential
1 Excerpt

Similar Papers

Loading similar papers…