Paper Details

@InProceedings{OHalloran08,
  title = "{H}ow to {S}oar with {CSP}",
  author= "O'Halloran, Colin",
  editor= "Welch, Peter H. and Stepney, S. and Polack, F.A.C and Barnes, Frederick R. M. and McEwan, Alistair A. and Stiles, G. S. and Broenink, Jan F. and Sampson, Adam T.",
  pages = "15--15",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn= "978-1-58603-907-3",
  year= "2008",
  month= "sep",
  abstract= "In this talk, I shall discuss work on the necessary
     technology required for flight clearance of Autonomous
     Aircraft employing Agents by reducing the certification
     problem to small verifiable steps that can be carried out by
     a machine. The certification of such Agents falls into two
     parts: the validation of the safety of the Agent; and the
     verification of the implementation of the agent. The work
     focuses on the Soar agent language and the main results
     are: \textlessul\textgreater \textlessli\textgreatera
     language subset for Soar, designed for formal
     analysis; \textlessli\textgreatera formal model of the Soar
     subset written in CSP; \textlessli\textgreatera prototype
     translator ''Soar2Csp'' from Soar to the CSP
     model; \textlessli\textgreatera framework for static
     analysis of Soar agents through model checking using
     FDR2; \textlessli\textgreaterthe identification of
     ''healthiness conditions'' required of any Soar
     Agent; \textlessli\textgreatera verifiable implementation of
     the CSP based Soar agents on
     an FPGA. \textless/ul\textgreater"
}

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.