지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2015.1
- 수록면
- 212 - 218 (7page)
이용수
초록· 키워드
오류제보하기
We describe a comparative analysis of different tools used to assess safety-critical softwareused in nuclear power plants. To enhance the credibility of safety assessments and tooptimize safety justification costs, Electricit e de France (EDF) investigates the use ofmethods and tools for source code semantic analysis, to obtain indisputable evidence andhelp assessors focus on the most critical issues. EDF has been using the PolySpace tool formore than 10 years. Currently, new industrial tools based on the same formal approach,Abstract Interpretation, are available. Practical experimentation with these new toolsshows that the precision obtained on one of our shutdown systems software packages issubstantially improved. In the first part of this article, we present the analysis principles ofthe tools used in our experimentation. In the second part, we present the main characteristicsof protection-system software, and why these characteristics are well adapted forthe new analysis tools. In the last part, we present an overview of the results and thelimitations of the tools.
목차
등록된 정보가 없습니다.
참고문헌 (5)
참고문헌 신청
AbsInt / / Astree Run-Time Error Analyzer
Frama-C / / Value plug-in presentation
MathWorks / / PolySpace Code Prover
N. Thuy / 2003 / Dependability Assessment of safetycritical system software by static analysis methods / Proceedings of 2003 International Conference on Dependable Systems and Netw
P. Couzot / 1977 / Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fix points / Proceedings of the Sixth Annual
Frama-C / / Value plug-in presentation
MathWorks / / PolySpace Code Prover
N. Thuy / 2003 / Dependability Assessment of safetycritical system software by static analysis methods / Proceedings of 2003 International Conference on Dependable Systems and Netw
P. Couzot / 1977 / Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fix points / Proceedings of the Sixth Annual
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
EDF: An Interactive Tool for Event Log Generation for Enabling Process Mining in Small and Medium-sized Enterprises
한국컴퓨터정보학회논문지
2024 .06
-
스마트팩토리를 위한 실시간 자동발주 Tool 매니지먼트 시스템
한국정밀공학회 학술발표대회 논문집
2018 .05
-
인간공학적 사용자 관점에서의 농작업 및 편이장비 문헌 연구
대한인간공학회 학술대회논문집
2024 .11
-
화재영향분석용 모바일 어플리케이션 개발: FDTs 계산모듈
한국에너지학회 학술발표회
2023 .04
-
이미지 데이터를 이용한 딥러닝 기반 공구상태 분류
한국정밀공학회 학술발표대회 논문집
2022 .05
-
SiRENE: A new generation of engineering simulator for real-time simulators at EDF
Nuclear Engineering and Technology
2024 .03
-
안전패러다임 전환에(Safety-Ⅱ) 따른 기업안전문화 평가 기법연구
대한인간공학회 학술대회논문집
2020 .10
-
Intelligent Components for Autonomous Machine Tools
한국생산제조학회 학술발표대회 논문집
2020 .10
-
금형수명 예측을 위한 금형 마멸 특성에 관한 연구
한국생산제조학회 학술발표대회 논문집
2015 .04
-
상용해석 툴을 이용한 고강성 링 타입 자동공구교환장치의 최적 설계에 관한 연구
한국생산제조학회지
2023 .02
-
Smart Machine Tools
한국생산제조학회 학술발표대회 논문집
2020 .10
-
산업안전보건법에 의한 화력발전소의 전기안전 실태 조사 분석
전기학회논문지 P
2017 .06
-
티타늄 합금(Ti-6Al-4V) 가공 시 Tool Orientation에 따른 공구 마모 특성 연구
한국기계가공학회 춘추계학술대회 논문집
2021 .06
-
드론용 EDF 기반 초미립화 방역기 개발
유공압건설기계학회 학술대회논문집
2022 .12
-
Performance evaluation of safety-critical systems of nuclear power plant systems
Nuclear Engineering and Technology
2020 .01
-
Toward Next Generation of Machine Tools: Perspectives on Smart Machine Tools and Artificial Intelligence
한국생산제조학회 학술발표대회 논문집
2022 .05
-
A novel approach to tool condition monitoring during end-milling
한국생산제조학회 학술발표대회 논문집
2018 .10
-
확률론적 전력계통 과도안정도 평가 Tool 디자인
대한전기학회 학술대회 논문집
2020 .07
-
소셜네트워크 게임 구현을 위한 게임 제작 도구 설계 및 구현
한국컴퓨터게임학회논문지
2015 .01
-
Concurrent Scheduling of Machines and Tools without Tool Delay in a Multi Machine FMS using Flower Pollination Algorithm
Industrial Engineering & Management Systems
2023 .09
이 논문의 저자 정보
최근 본 자료
댓글(0)
0