Title :
PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints
Author :
Kang, Kyo C. ; KO, Kwang-Il
Author_Institution :
Dept. of Comput. Sci. & Eng., Pohang Univ. of Sci. & Technol., South Korea
Abstract :
Areas of computer application are being broadened rapidly due to the rapid improvement of the performance of computer hardware. This results in increased demands for computer applications that are large and have complex temporal characteristics. This paper introduces a real-time systems analysis method named PARTS. PARTS supports analyses from two viewpoints: external viewpoint, a view of the system from the user´s perspective, and internal viewpoint, a view from the developer´s perspective. These viewpoints are specified using formal languages, which are: Real-Time Events Trace (RTET) for the external viewpoint, and Time Enriched Statechart (TES) and PARTS Data Flow Diagram (PDFD) for the internal viewpoint. All PARTS languages are based on the Metric Temporal Logic (MTL), and consistency of the specifications made from the two different viewpoints are analyzed based on the same MTL formalism
Keywords :
diagrams; formal languages; formal specification; real-time systems; specification languages; systems analysis; temporal logic; Metric Temporal Logic; PARTS; PARTS Data Flow Diagram; RTET; Real-Time Events Trace; Time Enriched Statechart; computer hardware performance; developer perspective; external viewpoint; formal languages; internal viewpoint; multiple-viewpoints; real-time software specification; real-time systems analysis; temporal characteristics; temporal logic; user perspective; Application software; Computer applications; Computer science; Formal languages; Hardware; Large-scale systems; Performance analysis; Real time systems; Software systems; Specification languages;
Conference_Titel :
Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific
Conference_Location :
Tokyo
Print_ISBN :
0-8186-6960-8
DOI :
10.1109/APSEC.1994.465247