SoOSiM: Operating System and Programming Language Exploration

Conference object OPEN
Baaij, C.P.R.; Kuper, Jan; Schubert, Lutz; Lipari, G.; Cucinotta, T.;
  • Publisher: Giuseppe Lipari
  • Subject: IR-80947 | EC Grant Agreement nr.: FP7/248465 | EWI-22074 | METIS-287940

SoOSiM is a simulator developed for the purpose of exploring operating system concepts and operating system modules. The simulator provides a highly abstracted view of a computing system, consisting of computing nodes, and components that are concurrently executed on th... View more
  • References (8)

    [1] E. Argollo, A. Falco´n, P. Faraboschi, M. Monchiero, and D. Ortega, “COTSon: Infrastructure for full system simulation,” SIGOPS Oper. Syst. Rev., vol. 43, no. 1, pp. 52-61, Jan. 2009.

    [2] A. Varga and R. Hornig, “An overview of the OMNeT++ simulation environment,” in Proceedings of Simutools '08, ICST, Brussels, Belgium, 2008, pp. 1-10.

    [3] L. Schubert, A. Kipp, B. Koller, and S. Wesner, “Service-oriented operating systems: future workspaces,” Wireless Communications, IEEE, vol. 16, no. 3, pp. 42-50, june 2009.

    [4] B. O'Sullivan, J. Goerzen, and D. Stewart, Real World Haskell, 1st ed. O'Reilly Media, Inc., 2008.

    [5] Haskell Wiki. (2012, May) Embedded domain specific language. [Online]. Available: domain specific language

    [6] J. Carette, O. Kiselyov, and C.-c. Shan, “Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages,” J. Funct. Program., vol. 19, no. 5, pp. 509-543, Sep. 2009.

    [7] T. Hallgren, M. P. Jones, R. Leslie, and A. Tolmach, “A Principled Approach to Operating System Construction in Haskell,” in Proceedings of ICFP '05. New York, NY, USA: ACM, 2005, pp. 116-128.

    [8] P.-E. Dagand, A. Baumann, and T. Roscoe, “Filet-o-Fish: practical and dependable domain-specific languages for OS development,” SIGOPS Oper. Syst. Rev., vol. 43, no. 4, pp. 35-39, Jan. 2010.

  • Related Organizations (2)
  • Metrics
Share - Bookmark

  • Download from
    Universiteit Twente Repository via NARCIS (Conference object, 2012)
  • Funded by
  • Related to
    FET FP7FET Proactive: FET proactive 1: Concurrent Tera-device Computing
    FET FP7FET Proactive: Service-oriented Operating Systems
  • Cite this publication