Prototyping real time operating systems: a case study
Daniel Mossé, O. Gudmundsson, Ashok K. Agrawala · 2002
Operating systems prototypes are becoming more attractive and more widespread because the more laborious and detailed work can be overlooked. The pseudo-implementation permits verification of principles, enhancing the studies of system properties through quick feedback. The authors present their experience in prototyping MARUTI, a distributed fault tolerant real-time operating system on top of UNIX. They report the actual implementation experience in developing the first version of such a prototype. They start by giving some motivation and background on prototyping, and describing the model they used. In the next section, they summarize the design of MARUTI. They describe their strategy of implementing objects as UNIX processes and the language extensions required. They report experience in creating the real-time operating system prototype. And present some future research topics.>