한국산업정보학회:학술대회논문집 (Proceedings of the Korea Society for Industrial Systems Conference)
- 한국산업정보학회 1998년도 공동추계학술대회 경제위기 극복을 위한 정보기술의 효율적 활용
- /
- Pages.655-662
- /
- 1998
A Specifying method for Real-Time Software Requirement
- Kim, Jung-Sool (Kyungsam University Dept. of MIS instructor) ;
- Lee, chang-soon (Kyungsan University Dept. of Information science)
- 발행 : 1998.10.01
초록
This paper is on the anlaysis for real-time software requirement . This method can be used for TNPIN(Timed Numerical Petri Net) as a easy communication means with a real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness fo 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 reachability graph. Thus , the requirement of between user and system is satisfied. By the example of shared track, the validity of the property of real-time (safetiness, responsiveness, liveness, priority) is verified. Also, this framework is give to connection with a object natually.
키워드