Paper Details

@InProceedings{Ellis11,
  title = "{F}ormal {A}nalysis of {C}oncurrent {OS} ({RM}o{X}) {D}evice {D}rivers",
  author= "Ellis, Martin",
  editor= "Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan Bækgaard and Kerridge, Jon and Broenink, Jan F. and Barnes, Frederick R. M.",
  pages = "--",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn= "978-1-60750-773-4",
  year= "2011",
  month= "jun",
  abstract= "Many tools exists for writing safe and correct device
     drivers for conventional operating systems, from runtime
     driver management layers (that try to detect errors and
     recover from them) to static analysis systems like
     SLAM. Unfortunately, these tools do not map well to the
     concurrent drivers we write for RMoX. This presentation
     will look at how we can build safe and correct device
     drivers, using traditional occam analysis approaches (such
     as CSP) and tools (such as FDR). Experiments in generating
     formal models of hardware/driver interfaces from our
     occam implementations will be described, along with how we
     intend to use these models to prove correctness properties
     for our drivers."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.