@MASTERSTHESIS\{IMM2013-06625,
    author       = "M. Ziccardi",
    title        = "A Time-Composable Operating System for the Patmos Processor",
    year         = "2013",
    school       = "Technical University of Denmark, Department of Applied Mathematics and Computer Science / {DTU} Co",
    address      = "Matematiktorvet, Building 303B, {DK-}2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk",
    type         = "",
    note         = "{DTU} supervisor: Martin Schoeberl, masca@dtu.dk, {DTU} Compute.",
    url          = "http://www.compute.dtu.dk/English.aspx",
    abstract     = "The aim of this thesis is to port the TiCOS operating system to the Patmos processor. TiCOS is a light-weight operating system developed to obtain composability and analyzability and targeting single-processors. Patmos is a time-predictable single-processor developed in the framework of the {T-CREST} project. The aim of the {T-CREST} project is to develop a time-predictable multi-processor able to meet both the requirements of safety and processing capacity for modern real-time and embedded systems."
}