A knowledge-based framework for specification verification of real-time systems

Author

Jang, Hung-Chin

Author_Institution

Dept. of Comput. Sci., Nat. Chengchi Univ., Taipei, Taiwan

fYear

1994

fDate

28-31 Mar 1994

Firstpage

204

Lastpage

209

Abstract

We propose a knowledge-based framework of specification verification of real-time systems. In this framework, we present RT-FRORL as a formal requirements specification language which exploits knowledge representation techniques as an aid in the specification, analysis and development of KBSs for real-time systems. RT-FRORL uses a combination of resolution refutation, anomaly detection matrix, and graph theory methods to verify a number of properties which might exist in KBSs

Keywords

formal specification; knowledge based systems; knowledge representation; program verification; real-time systems; specification languages; RT-FRORL; anomaly detection matrix; formal requirements specification language; graph theory; knowledge based systems; knowledge representation; knowledge-based framework; real-time systems; resolution refutation; specification verification; Computer science; Formal specifications; Graph theory; Knowledge based systems; Knowledge representation; Object oriented modeling; Programming; Real time systems; Software prototyping; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Expert Systems for Development, 1994., Proceedings of International Conference on

Conference_Location

Bangkok

Print_ISBN

0-8186-5780-4

Type

conf

DOI

10.1109/ICESD.1994.302280

Filename

302280