Vol.8, No 1, 2009 pp. 45 - 65
UDC
621.11 681.5
DESIGN FOR TESTABILITY OF REAL-TIME SYSTEMS FOR INDUSTRIAL PROCESS CONTROL
Milun Jevtić, Milunka Damnjanović
Department of Electronics, University of Niš, Faculty of Electronic Engineering,
Aleksandra Medvedeva 14, 18000 Niš, Serbia
E-mail: (milun.jevtic; milunka.damnjanovic)@elfak.ni.ac.rs
Abstract.
Real-time-systems testing for the reliable functioning and protection of the system environment from damages is considered in this paper. A systematic procedure for real-time systems design with emphasis to system testability implementation is considered. The approach to design for testability (DFT) of hard real-time systems by monitoring is described. Different applied techniques for on-line testing on circuit-, system- and application-level are discussed. The modifications of some techniques made in order to accomplish the effective trade-off between space/time overhead and the cost of dependable real-time-system, are considered too. This paper also describes a realization run-time monitoring of real-time systems that can be used to verify formally some properties in design time, and to enable run-time checks. The goal of real time monitoring is to keep system performance within a range that does not change the order and timing of events.
Key Words:
Design, Real-time systems, Testability, Run-time monitoring, Fault tolerance, Time redundancy.
PROJEKTOVANJE ZA TESTABILNOST SISTEMA ZA RAD U REALNOM VREMENU ZA UPRAVLJANJE INDUSTRIJSKIM PROCESOM
Ovaj rad razmatra proveru sistema za rad u realnom vremenu u cilju pouzdanog rada i zaštite sredine sistema od oštećenja Razmatra se sistematičan postupak za projektovanje sistema za rad u realnom vremenu sa akcentom na implementaciji mogućnosti provere sistema. Opisan je pristup projektovanja za testabilnost (DFT) rigidnih sistema za rad u realnom vremenu pomoću nadzora. U tekstu će biti reči o različitim primenjenim tehnikama on-line provere na nivou kola, sistema i primene. Modifikacije nekih tehnika u cilju postizanja boljeg odnosa između prostornih i vremenskih rešenja i troškova pouzdanog sistema za rad u realnom vremenu, takođe su razmatrane. Ovaj rad takođe opisuje realizaciju nadzora rada sistema za rad u realnom vremenu koji se može koristiti za formalnu verifikaciju nekih vremenskih karakteristika projekta, kao i da omogući provere rada. Cilj nadzora u realnom vremenu je da održi performanse sistema u opsegu koji ne menja raspored i vreme procesa.
Ključne reči:
Projektovanje, Sistemi za rad u realnom vremenu, Testabilnost, Nadzor rada, Tolerisanja otkaza, Vremenska redundansa
