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), concurrent-supply (>=0.1.1 && <0.2), containers (>= && <0.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://
Upload dateTue Jun 19 11:54:11 UTC 2012
Uploaded byChristiaanBaaij
Downloads295 total (26 in last 30 days)




Maintainers' corner

For package maintainers and hackage trustees