Prosa is an open-source project for real-time systems researchers. The effort was initially launched by Felipe Cerqueira and Björn Brandenburg of the real-time systems group at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserlautern, Germany.
The goals of the Prosa project exceed the scope of what any single group can sustain in the long term. We therefore envision Prosa to transition into a true community effort and actively seek collaborators at all levels of expertise.
Any and all contributions are welcome, including questions and suggestions, critiques and constructive criticism, patches, alternative formalizations, new directions, etc. As a first step, join the RT-PROOFS mailing list and say ‘hi’.
If you have experience with formal methods and/or real-time systems and would be interested in working on Prosa, please contact us by email. Paid internships, funded PhD positions, and potentially also post-doc positions are available for qualified candidates.
The SPADES team at INRIA (Grenoble) is looking for a PhD student to work on Prosa, starting in September 2016. See the description of the position for further details.
If you have technical questions about Prosa or would like to discuss about real-time scheduling proofs, please subscribe to the RT-PROOFS mailing list.