More publications for downloading
can be found at:
For
downloading:
Papers on Computer Dependability
- 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.
- Semantic Structures and Logic Properties of
Computer-Based System Dependability Cases. Nuclear Engineering and
Design 203 (2001), 87-106.
- Hard
Guidelines Made for Computer Software. Nuclear Engineering
International, January 2002, 47, N° 570, pp.37-40.
- 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
- 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.
- “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.
- 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
- 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.
- 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
- 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.
- 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
- 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
- IEC
Standard 60880 Software for computers in the safety systems of
nuclear power stations, IEC Standard 60880, First edition, 1986.
- 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
- 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.
- “Software Safety Issues in
Nuclear Applications and Installations.” Part D, IAEA YearBook 1995, International Atomic Agency
Publications, 1996, pp.D23-D27.
- On X2Confidence
Intervals. With G. de Ghellinck. AVN
Technical Note. August 1993.
- A
Simulation of the Construction Process of a Termite Nest. P.-J.
Courtois, F. Heymans. Journal of Theoretical Biology (1991) 153,
469-475.
- 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.
- 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.
|