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

Versions 0.1, 0.2.0.0, 0.2.1.0
Dependencies base (>=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) [details]
License BSD3
Copyright (c) 2012, S(o)OS Consortium
Author S(o)OS Consortium
Maintainer Christiaan Baaij <christiaan.baaij@gmail.com>
Stability alpha
Category Simulation
Home page http://www.soos-project.eu/
Source repository head: git clone git://github.com/christiaanb/SoOSiM.git
Uploaded Wed May 23 13:23:56 UTC 2012 by ChristiaanBaaij
Distributions NixOS:0.2.1.0
Downloads 738 total (7 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees