Home

Activities

Books

Filmography

List of Publications

 

 

More publications for downloading can be found at:

https://www.researchgate.net/profile/Pierre_Jacques_Courtois

For downloading:

Papers on Computer Dependability

  1. Towards a Deductive Approach for the Safety Justification of Computer Based Systems. IAEA Technical Meeting on Licensing Digital Instrumentation and Equipment in Nuclear Power Plants, Helsinki, 22-25 November 2005.
  2. Semantic Structures and Logic Properties of Computer-Based System Dependability Cases. Nuclear Engineering and Design 203 (2001), 87-106.
  3. Hard Guidelines Made for Computer Software. Nuclear Engineering International, January 2002, 47, N° 570, pp.37-40.
  4. Search for the Unnecessary. Letter to the Editor. In Nuclear Engineering International, by P.-J. Courtois, R. Bloomfield, B. Littlewood, L. Strigini January 2002, 47, N° 570, p. 11
  5. Examination of Bayesian Belief Network for Safety Assessmentof Nuclear Computer-based Systems. with B. Littlewood, L. Strigini, D. Wright. In Third Year Report of DeVa, Esprit long term research project 20072, pp. 411-448. Computing Science Laboratory, Univ. of Newcastle upon Tyne. December 1998.
  6. “Computable Dependability Bounds for Large Markov Chains” with P. Semal, in “Predictably Dependable Computing Systems” (ed. B.Randell, J.-C. Laprie, H. Kopetz, B. Littlewood), Springer, 1995, pp. 507-518.
  7. Review of N. Leveson's book “Safeware: Systems Safety and Computers" in “The Scientist Bookshelf”, The American Scientist, 84, pp.612-614, November-December 1996
  8. Safety, Reliability and Software Based Systems Requirements. Contribution to the UK ACSNI Report of the Study Group on the safety of Operational Computer Systems. June 1997.
  9. On Safety and Software Categorisation. Contribution to the Report of the UK Advisory Committee on the Safety of Nuclear Installations (ACSNI) Study Group on the safety of Operational Computer Systems. June 1997.

 

Guidance on Safety Critical Software

  1. Nuclear Regulators Consensus Report on Safety Critical Software "Common position of  nuclear regulators for the licensing of safety critical software for nuclear reactors" – Revision 2013, 161 pp.
  2. IAEA Safety Guide on Software Software for Computer Based Systems Important to Safety in Nuclear Power Plants, IAEA Safety Standards Series. Draft of Safety Guide N° NS-G-1.1, ISBN 92-0-101800-2 (ISSN 1020-525X), 89 pp., September 2000
  3. The Use of Computers in Safety Critical Applications Draft Final Report of the Study Group on the Safety of Operational Computer Systems constituted by the UK Advisory Committee on the Safety of Nuclear Installations, Health and Safety Executive, London, 1998. 98 pp. Her majesty's Stationery Office, St Clemens House, Norwich ,UK. 98pp. ISBN071761607
  4. IEC Standard 60880 Software for computers in the safety systems of nuclear power stations, IEC Standard 60880, First edition, 1986.
  5. Year 2000 safety issues: How to provide confidence during the millenium roll over of the nuclear installations. P.-J. Courtois, J.-Y. Henry (IPSN, Paris), H. Heinson (GRS, Munich), A. Vandewalle (AVN,Brussels). International EUROSAFE 1999, Paris, November 18-19, 1999.

 

Publications otherwise less accessible

  1. Historical Note on the Readers-Writer Problem “Concurrent Control with Readers and Writers - An Introduction.” P.-J. Courtois, In Software Fundamentals- Collected Papers by D.L. Parnas, Edited by D.M. Hoffman and D.M. Weiss, Addison –Wesley, 2001, pp. 387-392.
  2. “Software Safety Issues in Nuclear Applications and Installations.” Part D, IAEA YearBook 1995, International Atomic Agency Publications, 1996, pp.D23-D27.
  3. On X2Confidence Intervals. With G. de Ghellinck. AVN Technical Note. August 1993.
  4. A Simulation of the Construction Process of a Termite Nest. P.-J. Courtois, F. Heymans. Journal of Theoretical Biology (1991) 153, 469-475.
  5. Analysis of Large Markovian Models by Parts. Applications to Queueing Networks Models. In Messung, Modellierung und Bewertung von Rechenensystemen. GI/NTH-Fachtung, Dortmund University. October 1985. Springer Verlag.
  6. Exact Aggregation in Queueing Networks. Proc. First meeting AFCET-Société Mathématique de France. Palaiseau, France, 4-8 Septembre 1978, Tome 1, pp.35-51.