Software certification experience in the canadian nuclear industry lessons for the future

The computer controlled shutdown systems for the Nuclear Power Generating Station at Darlington, Canada, have been subject to licensing scrutinization on a number of occasions. After the first licence was approved in 1990, the licensee, Ontario Hydro, was given a number of years by the regulator to...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the ninth ACM International Conference on Embedded Software S. 219 - 226
Hauptverfasser: Wassyng, Alan, Lawford, Mark S., Maibaum, Thomas S.E.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: New York, NY, USA ACM 09.10.2011
IEEE
Schriftenreihe:ACM Conferences
Schlagworte:
General and reference > Document types > Computing standards, RFCs and guidelines
nuclear
Programming
Regulators
Safety
safety-critical software
Software and its engineering
software certification
Software design
Testing
nuclear
safety-critical software
software certification
ISBN:1450307140, 9781450307147
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract The computer controlled shutdown systems for the Nuclear Power Generating Station at Darlington, Canada, have been subject to licensing scrutinization on a number of occasions. After the first licence was approved in 1990, the licensee, Ontario Hydro, was given a number of years by the regulator to redesign the shutdown systems so that they would be more maintainable. This paper briefly describes the original certification process, lessons learned, and the subsequent development and certification of the shutdown systems. The development, internal certification processes and the regulator's certification process are briefly described. Although twenty years has elapsed since this work started, and there are new analysis techniques and tools that could be applied today, the original process itself has withstood the test of time extraordinarily well. This paper describes principles that explain why it was so successful, and how we can develop more modern approaches from this experience.
AbstractList The computer controlled shutdown systems for the Nuclear Power Generating Station at Darlington, Canada, have been subject to licensing scrutinization on a number of occasions. After the first licence was approved in 1990, the licensee, Ontario Hydro, was given a number of years by the regulator to redesign the shutdown systems so that they would be more maintainable. This paper briefly describes the original certification process, lessons learned, and the subsequent development and certification of the shutdown systems. The development, internal certification processes and the regulator's certification process are briefly described. Although twenty years has elapsed since this work started, and there are new analysis techniques and tools that could be applied today, the original process itself has withstood the test of time extraordinarily well. This paper describes principles that explain why it was so successful, and how we can develop more modern approaches from this experience.
Author Lawford, Mark S.
Maibaum, Thomas S.E.
Wassyng, Alan
Author_xml – sequence: 1
  givenname: Alan
  surname: Wassyng
  fullname: Wassyng, Alan
  email: wassyng@mcmaster.ca
  organization: McMaster University, Hamilton, ON, Canada
– sequence: 2
  givenname: Mark S.
  surname: Lawford
  fullname: Lawford, Mark S.
  email: lawford@mcmaster.ca
  organization: McMaster University, Hamilton, ON, Canada
– sequence: 3
  givenname: Thomas S.E.
  surname: Maibaum
  fullname: Maibaum, Thomas S.E.
  email: tom@maibaum.org
  organization: McMaster University, Hamilton, ON, Canada
BookMark eNqNkDtPwzAUhY0ACVoyM7BkZGnw2-4IFS-pEgMwWzfOtTC0TuWkgv57Ag0709G539Edvgk5Sm1CQs4ZrRiT6opTYbXk1W8afUCKubEDoIIaxsUhmfwVSU9I0XXvlFLGODXGnpKb5zb0n5Cx9Jj7GKKHPrapxK8N5ojJYxlT2b8NHBI0EVKZtn6FkId7s-36vDsjxwFWHRZjTsnr3e3L4mG2fLp_XFwvZ8A072eeg0UJSlBhmtrU0gCVweqaBxBGcaOVClwHDQ2gsT5oiVY3gdcMfeOVmJKL_d-IiG6T4xryzmmqpeLzgV7uKfi1q9v2o3OMuh9DbjTkRkPDtPrn1NWDgyC-AT2iZiI
ContentType Conference Proceeding
Copyright 2011 ACM
Copyright_xml – notice: 2011 ACM
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1145/2038642.2038676
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList

Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9781450307123
1450307140
9781450307147
1450307124
EndPage 226
ExternalDocumentID 6064529
Genre orig-research
GroupedDBID 6IE
6IF
6IK
6IL
6IN
AAJGR
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
IEGSK
IERZE
OCL
RIE
RIL
AAWTH
ADFMO
LHSKQ
ID FETCH-LOGICAL-a162t-c2a8e4a53037db7b47a04f86b2fa37527655f26f6adae78cf64e86df2b1ecdc53
IEDL.DBID RIE
ISBN 1450307140
9781450307147
IngestDate Wed Aug 27 02:53:51 EDT 2025
Wed Jan 31 06:49:34 EST 2024
Wed Jan 31 06:35:53 EST 2024
IsPeerReviewed false
IsScholarly false
Keywords nuclear
safety-critical software
software certification
Language English
License Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions@acm.org
LinkModel DirectLink
MeetingName ESWeek '11: Seventh Embedded Systems Week
MergedId FETCHMERGED-LOGICAL-a162t-c2a8e4a53037db7b47a04f86b2fa37527655f26f6adae78cf64e86df2b1ecdc53
PageCount 8
ParticipantIDs ieee_primary_6064529
acm_books_10_1145_2038642_2038676
acm_books_10_1145_2038642_2038676_brief
PublicationCentury 2000
PublicationDate 20111009
2011-Oct.
PublicationDateYYYYMMDD 2011-10-09
2011-10-01
PublicationDate_xml – month: 10
  year: 2011
  text: 20111009
  day: 09
PublicationDecade 2010
PublicationPlace New York, NY, USA
PublicationPlace_xml – name: New York, NY, USA
PublicationSeriesTitle ACM Conferences
PublicationTitle Proceedings of the ninth ACM International Conference on Embedded Software
PublicationTitleAbbrev EMSOFT
PublicationYear 2011
Publisher ACM
IEEE
Publisher_xml – name: ACM
– name: IEEE
SSID ssj0001120778
ssib048751212
ssib048751210
Score 1.506596
Snippet The computer controlled shutdown systems for the Nuclear Power Generating Station at Darlington, Canada, have been subject to licensing scrutinization on a...
SourceID ieee
acm
SourceType Publisher
StartPage 219
SubjectTerms General and reference -- Document types -- Computing standards, RFCs and guidelines
nuclear
Programming
Regulators
Safety
safety-critical software
Software and its engineering
software certification
Software design
Testing
Subtitle lessons for the future
Title Software certification experience in the canadian nuclear industry
URI https://ieeexplore.ieee.org/document/6064529
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED-24YNPUzdxfhFB8MVubdomqa_i8EHGQIXhS7mkCezBTvah-N-bZO2GIohPaY48lF-vucvl7ncAl2GIcRTzIhBZiEFiv3og4yILQmV9e6Molcz4ZhN8NBKTSTZuwPWmFkZr7ZPPdN89-rv8YqZWLlQ2YI5cjWZNaHLO1rVate44v9txYf2Y0228JaIh58LXdqVOs-3JoqZ8qua8ov6xggENY2Fd874fPSEJqtdvHVi8ARq2__fqe9DdVvKR8cZG7UNDlwfQrls5kOrP7sDLo92OP3CuiXKJ1qaK5BG9YUIm05JYZ5HUdAakdEzIOLdy3_zj84Y82F3TKjGxfrBfuuYr6cLz8O7p9j6o2i4EGDG6DBRFoRNMrXHjheQy4RgmRjBJDcY8pZylqaHMMCxQc6EMS7RghaEy0qpQaXwIrXJW6iMgjGaRTCiqVLNEMCUzg3bEJEPHDIY9uLCw5u48scjXJdJpXkGfV9D34OrPNbm0UJgedBzw-duapyOvMD_-XXwCu7TO54tOobWcr_QZ7Kj35XQxP_fK9QV2qsQx
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8QwEB58gZ58rbg-IwherLZpm6RexUVxXQQVFi9lkiawB6usq-K_N8mmuyiCeEoz5FCm08xkMvN9AIdxjGmS8ioSRYxRZr96JNOqiGJlY3ujKJXMeLIJ3uuJfr-4nYHjSS-M1toXn-kT9-jv8qtn9eZSZafMgavRYhbmHXNW6NZqrMdF3g4N68ecTjMuCY05F767K3e2bc8WDehTmPMA_mMFpzROhQ3OT_zoIUlQPX3jYPEuqLP8v5dfgda0l4_cTrzUKszoeg2WGzIHEv7tdXi8sxvyBw41Ua7U2oRcHtETLGQyqIkNF0kDaEBqh4WMQyv39B-fZ6Rr901rxsRGwn7pGLGkBQ-di_vzyygQL0SYMDqKFEWhM8yte-OV5DLjGGdGMEkNpjynnOW5ocwwrFBzoQzLtGCVoTLRqlJ5ugFz9XOtN4EwWiQyo6hyzTLBlCwM2hGzAh02GLbhwKq1dCeK13LcJJ2XQfVlUH0bjv5cU0qrCtOGdaf48mWM1FEGnW_9Lt6Hxcv7m27Zvepdb8MSbar7kh2YGw3f9C4sqPfR4HW45w3tC-P4x3o
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+ninth+ACM+international+conference+on+Embedded+software&rft.atitle=Software+certification+experience+in+the+canadian+nuclear+industry&rft.au=Wassyng%2C+Alan&rft.au=Lawford%2C+Mark+S.&rft.au=Maibaum%2C+Thomas+S.E.&rft.series=ACM+Conferences&rft.date=2011-10-09&rft.pub=ACM&rft.isbn=1450307140&rft.spage=219&rft.epage=226&rft_id=info:doi/10.1145%2F2038642.2038676
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450307147/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450307147/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450307147/sc.gif&client=summon&freeimage=true