ToyLotos/Ada : Object-Behavior Simulation System for Developing a Real-time Ada Software

ToyLotos/Ada : 실시간 Ada 소프트웨어 개발을 위한 객체행위 시뮬레이션 시스템

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

본 논문에서는 기존 객체행위 설계방법에 의해 개발된 '시각적 실시간 객체모델'의 설계의미를 검증·확인하기 위한 시뮬레이션 기반 지원 시스템을 제안한다. 이 시스템은 실행 가능한 Ada 코드 생성에 의한 객체 프로세스들간의 동적이 상호작용을 시뮬레이션 할 수 있게 하며, 실제 시스템 구현에 앞서 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 한다. 또한, 시뮬레이션에 의해 검증·확인된 명세서로부터 Ada 프로토타잎 코드를 직접 생성시켜 준다. 이 시스템은 Visual C++ 버전4.2로 개발되었다. 그리고, 시뮬레이션 코드로 Ada를 사용하였는데, 이것은 Ada의 병행 행위 및 시간 표현력 등의 실시간 시스템의 표현력에 있어 기존의 언어들에 비해 우수성을 가지고 있기 때문이다. 이 작업은 방법론 기반 시각적 모델과 자동화 된 정형기법 기반 시뮬레이션 시스템의 연결, 그리고 자동화된 명세 검증·확인 기술의 실현이라는 점에서 기여한다.