2025-02-22T10:30:30-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22oai%3Aojs2.nuclear-journal.com%3Aarticle-1088%22&qt=morelikethis&rows=5
2025-02-22T10:30:30-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22oai%3Aojs2.nuclear-journal.com%3Aarticle-1088%22&qt=morelikethis&rows=5
2025-02-22T10:30:30-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T10:30:30-05:00 DEBUG: Deserialized SOLR response
Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС
This article is devoted to the analysis of results of using of program code static analysis of NPPs Instrumentation and Control Systems (I&C), which was performed in accordance to recommendations of standards of IAEA (International Atomic Energy Agency) and IEC (International Electrotechnica...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Ukrainian |
| Published: |
State Scientific and Technical Center for Nuclear and Radiation Safety
2007
|
| Online Access: | https://nuclear-journal.com/index.php/journal/article/view/1088 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | This article is devoted to the analysis of results of using of program code static analysis of NPPs Instrumentation and Control Systems (I&C), which was performed in accordance to recommendations of standards of IAEA (International Atomic Energy Agency) and IEC (International Electrotechnical Commission). The following questions are considered in the article:
an analysis of requirements of an international normative base to performing of program code static analysis;
techniques of program code static analysis;
an experience of staff of Kharkiv subsidiary ofSSTC NRS in using of static analysis tools during performing of state expertise’s of nuclear and radiation safety.
|
|---|