|
| 1 |
SYNDICATE SW 플랫폼: 안전성이 중요한 시스템을 위한 동기식 분산 모듈형 SW 플랫폼
Park, Eun-Ji;Kim, Tae-Ho;Kim, Min-Jo;Ha, Yeong-Mok;Park, Je-Man;Kim, Yong-Yeon;Song, Mun-Seop;
/
Korean Institute of Information Scientists and Engineers
, v.33, no.7, pp.8-14,
|
|
| 2 |
원자로보호계통 소프트웨어 안전 확보를 위한 모델 체킹 및 테스팅 적용 사례 분석과 발전방향 제고
Ji, Eun-Gyeong;Sin, Dong-Hwan;Bae, Du-Hwan;
/
Korean Institute of Information Scientists and Engineers
, v.33, no.7, pp.15-26,
|
|
| 3 |
안전소프트웨어를 위한 소프트웨어 테스팅 관점에서의 차량기능안전 표준(ISO26262) 적용 방안 논의
Jang, Seung-Yeon;
/
Korean Institute of Information Scientists and Engineers
, v.33, no.7, pp.27-32,
|
|
| 4 |
원자로 제어시스템 FPGA 개발에 사용되는 상용 합성도구의 COTS 인증
Jeong, Se-Jin;Kim, Ui-Seop;Yu, Jun-Beom;
/
Korean Institute of Information Scientists and Engineers
, v.33, no.7, pp.33-40,
|
|
| 5 |
소프트웨어 기반의 안전 필수 시스템을 위한 안전성 분석 기법
Lee, Jang-Su;Lee, Dong-A;
/
Korean Institute of Information Scientists and Engineers
, v.33, no.7, pp.41-46,
|
|
| 6 |
인공심장의 예측 가능한 제어를 위한 실시간 소프트웨어 설계 구조 개선 사례
Jeong, Se-Hun;Cha, Seong-Deok;
/
Korean Institute of Information Scientists and Engineers
, v.33, no.7, pp.47-52,
|
|