SoOSiM: Abstract full system simulator

[ bsd3, library, simulation ] [ Propose Tags ]

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 these nodes. OS modules are subsequently modelled as components that progress as a result of reacting to two types of events: messages from other components, or a system-wide tick event. Using this abstract view, a developer can quickly formalize assertions regarding the interaction between operating system modules and applications.

Versions [faq] 0.1,,
Dependencies base (>= && <4.6), containers (>= && <0.5), ghc (>=7.0.3 && <7.5), monad-coroutine (>=0.7.1 && <0.8), mtl (>= && <2.1), stm (==2.3.*), transformers (>= && <2.3) [details]
License BSD-3-Clause
Copyright (c) 2012, S(o)OS Consortium
Author S(o)OS Consortium
Maintainer Christiaan Baaij <>
Category Simulation
Home page
Source repo head: git clone git://
Uploaded by ChristiaanBaaij at Wed May 23 13:23:56 UTC 2012
Distributions NixOS:
Downloads 1790 total (49 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees