A methodology based on transformation schema which is an extension of data flow diagram has solutions to the well-known problems of real-time software development: Timing and control aspects of real-time systems are satisfied and token-based execution is used. A scheme to support the methodology under ISLDM/SEM environments has been carried out with the premises that automated support are invaluable in the case of large complex systems such as real-time systems. An automated support tool for the methodology(TSMRTS) has been successfully applied to a command, control, communication, and intelligence(C3I) system. Consistency checking is friendly and documentation is neat and up-to-date. Although completeness is never satisfied, it is increased through report review and automated execution. The automated execution of transformation schema shows more ease and effectiveness than token-based execution.
하드웨어의 급속한 발달로 인한 실시간 시스템의 대두는 소프트웨어 개발에 많은 문제점들을 야기시켰다. 자료 흐름도의 확장 형태인 변환 도해를 바탕으로 하는 개발 초기에 대한 방법론은 이러한 문제점에 대한 중요한 접근법을 제시하고 있다. 가령, 실시간 시스템의 시간,통제 측면에서의 문제점이 제거되고 토큰을 바탕으로 하는 동적인 테스트가 수행된다. 그러나 이 방법론의 가장 큰 단점은 자동화 되어 있지 않다는 것이다. 실시간 시스템과 같이 매우 크고 복잡한 시스템에 대한 소프트웨어 개발을 위한 자동화 도구는 매우 값어치있다는 전제하에 ISLDM/SEM 을 사용하여 이 방법론을 위한 자동화 도구를 디자인하였다. 이 도구는 서울 시경의 명령, 통제, 통신, 그리고 지능(C3I) 시스템에 적용되어 그 가능성이 테스트되었다. 테스트 기간 중 원래의 방법론에 의한 요구 명세서에서 많은 불일치 점들이 발견되고 제거되었으며 동적인 테스트 법칙들을 오류없이 적용하므로서 동적인 특성을 파악하게 되어 완전성을 증가시킬 수 있었다.
결론적으로 이 자동화 도구는 실시간 소프트웨어 개발 초기에 있어서의 오류가 발생하기 쉽고 지루한 작업들의 부하를 덜어주고 가장 최근의 문서 등 적절한 정보로서 분석을 도와준다.
