일반기술

실시간 객체모델에 대하여 시나리오 기반 멀티쓰레드 구현을 자동 생성하는 방법

본 기술은 실시간 객체 모델에 시간 제약 조건을 모델링하는 방법과 모델링된 시간 제약 조건을 만족시키면서 불필요한 블록킹을 최대한으로 줄인 코드를 자동으로 생성하는 방법에 관한 기술이다. 본 기술은 객체 모델을 직접 수정하지 않고 다중 쓰레딩 명세를 가능하게 하는 모델 변환 방법을 제공하는 동시에 기존의 캡슐 기반 다중 쓰레딩의 불필요한 블록킹을 없앤 시나리오 기반 다중 쓰레딩 구현 기법을 제공하며, 이를 바탕으로 하여 스케줄링 가능성을 보장하도록 다중 쓰레드 모델을 변환시키는 방법이다. 기존의 캡슐 기반 다중 쓰레딩과 달리 시나리오 기반 다중 쓰레딩 방법이며, 모델 변환 기법과 접목하여 시나리오를 모델링하여 시간 제약 조건을 고려한 자동화된 코드 생성이 가능하고, 시나리오 기반 다중 쓰레딩은 기존 방법의 불필요한 블록킹을 없애주어 생성된 코드의 성능을 향상시켜줄 뿐만 아니라, 기존에 불가능했던 시나리오 모델링을 가능하게 하여준다. 또한 시간 제약 조건을 모델링하는 것을 가능하게 하고 이를 코드에 자동 반영되게 함으로써 설계자는 시행착오 없이 시간 제약 조건을 만족시키는 코드를 자동으로 생성할 수 있다. 본 기술은 이미 IBM Rational RoseRT에 구현되고 PBX 시스템과 같은 실세계의 복잡한 시스템에 활용되어있다.