일반기술

안전하고 실시간 내장형 제어시스템 개발지원도구

본 기술은 실시간 내장형 제어 소프트웨어를 개발할 때 발생하는 이러한 문제점들을 해결할 수 있는 방법들을 개발하여 소프트웨어의 초기 요구사항 분석에서부터 소프트웨어의 명세, 설계, 코딩에 이르는 전 과정에 설쳐 소프트웨어 엔지니어들을 도울 수 있는 컴퓨터 지원 도구 (Computer-Aided Software Engineering; CASE)를 개발하였다.안전한 내장형 제어 시스템을 빠르게 만들어 낼 수 있을 뿐 아니라 개발이 지속되면서 계속적으로 재사용 가능한 컴포넌트들이 라이브러리화 되고 Feature 선택에 따른 여러 성질이 다른 소프트웨어들의 자동 생성이 가능할 것이다.개발된 소프트웨어의 재사용성 극대화 사용자가 접근하기 쉬운 대상 영역 (Domain)의 Feature 분석을 통한 재사용 모델 구축 및 Feature 선택을 통한 자동 명세, 설계, 코드의 선택과 연결을 지원한다. - 소프트웨어의 유효성 검사 및 실시간 성질의 검증 소프트웨어의 실시간 성질들을 실시간 시뮬레이션, 배치 (Batch) 시뮬레이션, 정형적인 수학적 기법을 이용한 검증 등을 통해 검증할 수 있으며 이러한 방법들은 개발 전 단계에 걸쳐 적용되므로 이른 오류 발견이 가능하다. - 가상 테스트 환경 실시간 시스템은 실시간 내장형 제어 소프트웨어의 테스트는 실제 운영 환경상에서 동작시켜 봄으로써 이루어지기도 하지만, 그 특성상 실제 운영 환경을 테스트 환경으로 갖추기 어려운 경우도 많고 오동작이 발생할 때 의료기기와 같이 사람의 생명에 위협을 주는 경우나 비행기 제어 소프트웨어와 같이 그 비용이 많이 드는 경우들 때문에 실제 환경과 비슷한 가상 환경을 빠르게 구축하고 그 환경에서 동작시켜 테스트하는 방법을 제공한다. 뿐만 아니라, 많은 경우 이러한 환경은 3차원 상의 움직임을 포함하고 있으므로 이러한 3차원 행위를 쉽게 표현하는 방법과 가상 현실을 이용한 가시화 (Visualization) 기법을 적용, 유효성 검사의 효과를 극대화하였다. - 코드 자동 생성 소프트웨어에 대한 명세와 설계 결과로부터 사용 가능한 코드를 자동으로 생성함으로써 명세, 설계 결과가 코드에 오류 없이 바로 반영될 수 있게 하였다.