Abstract

컴퓨터 시스템이 우리 주위에서 더 많이 사용됨에 따라, SW 안전성에 대한 위협은 곧 우리 삶의 위협이 되고 있다.

다양한 센서와 디바이스, 컨트롤러가 연결된 네트워크화 안전 중요 실시간 시스템에서,

분산 시스템 동작의 복잡성과 비결정성, 멀티코어 HW 공유자원간의 간섭으로 인한 응용 SW의 성능 저하 등의 문제로 인하여 SW의 안전성 확보는 더 어려워지고 있다.

본 연구에서는 SW 플랫폼 차원에서 SW 안전성을 확보하기 위하여, 다중 코어 지원 분할 구조 운영체제,

비용과 복잡도를 감소시키기 위하여 동기식 계산 모델을 채용한 오류 감내 및 동기화 지원 미들웨어,

분산 SW 통합 검증 도구로 구성된 분산 모듈형 SW 플랫폼을 연구하였다.