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.


Properties

Versions0.1, 0.2.0.0, 0.2.1.0
Dependenciesbase (>=4.3.1.0 && <4.6), containers (>=0.4.0.0 && <0.5), ghc (>=7.0.3 && <7.5), monad-coroutine (>=0.7.1 && <0.8), mtl (>=2.0.1.0 && <2.1), stm (==2.3.*), transformers (>=0.2.2.0 && <2.3)
LicenseBSD3
Copyright(c) 2012, S(o)OS Consortium
AuthorS(o)OS Consortium
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Stabilityalpha
CategorySimulation
Home pagehttp://www.soos-project.eu/
Source repositoryhead: git clone git://github.com/christiaanb/SoOSiM.git
Upload dateWed May 23 13:23:56 UTC 2012
Uploaded byChristiaanBaaij
Downloads238 total (22 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees