The SoOSiM package

[Tags:bsd3, library]

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 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 BSD3
Copyright (c) 2012, S(o)OS Consortium
Author S(o)OS Consortium
Maintainer Christiaan Baaij <>
Category Simulation
Home page
Source repository head: git clone git://
Uploaded Wed May 23 13:23:56 UTC 2012 by ChristiaanBaaij
Distributions NixOS:
Downloads 841 total (11 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees