SoOSiM: Operating System and Programming Language Exploration

C.P.R. Baaij, Jan Kuper, Lutz Schubert

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    32 Downloads (Pure)

    Abstract

    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. We developed a methodology on top of SoOSiM that enables the precise control of the interaction between a simulated application and the operating system. Embedded languages are used to model the application once, and different interpretations of the embedded language constructs are used to observe specific aspects on application's execution. The combination of SoOSiM and embedded languages facilitates the exploration of programming language concepts and their interaction with the operating system.
    Original languageUndefined
    Title of host publicationProceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time System (WATERS 2012)
    EditorsG. Lipari, T. Cucinotta
    Place of PublicationItaly
    PublisherGiuseppe Lipari
    Pages63-68
    Number of pages6
    ISBN (Print)not assigned
    Publication statusPublished - 2012

    Publication series

    Name
    PublisherGiuseppe Lipari

    Keywords

    • IR-80947
    • EC Grant Agreement nr.: FP7/248465
    • EWI-22074
    • METIS-287940

    Cite this

    Baaij, C. P. R., Kuper, J., & Schubert, L. (2012). SoOSiM: Operating System and Programming Language Exploration. In G. Lipari, & T. Cucinotta (Eds.), Proceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time System (WATERS 2012) (pp. 63-68). Italy: Giuseppe Lipari.