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.


Dependenciesbase (>= && <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)
Copyright(c) 2012, S(o)OS Consortium
AuthorS(o)OS Consortium
MaintainerChristiaan Baaij <>
Home page
Source repositoryhead: git clone git://
UploadedWed May 23 13:23:56 UTC 2012 by ChristiaanBaaij
Downloads341 total (23 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees