이 논문은 실시간 소프트웨어의 요구 분석을 위한 구조이다. 이 방법은 실제 사용자들과의 쉬운 통신 수단으로 TNPN(Timed Numerical Petri Net)을 사용하는데, 시스템의 정확성을 위해서 RT시(Real Time Temporal Logic)에 기초한다. TNPT은 행위 명세언어로서 사용되며, 그 행위의 정당성은 RTTL로 표현되는데, 도달성 그래프를 통해 분석되었다. 그래서 사용자와 시스템의 두가지 요구사항이 모두 만족된다. 공유트랙 시스템의 예를 통하여 실시간의 성질(안전성, 응답성, 생존성, 우선순위)들이 검증되었다. 또한 이 구조는 자연스럽게 객체와 연결된다.
This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.
