Return to search

Realiojo laiko sistemų veiksenos įvertinimas / Evaluation of Real Time System Behavior

Complexity and variety of systems that are working in real time mode need to be specified regarding all behavior conditions. The correctness of the specification, determines whether implemented system will supply conditions that were set. To ensure that specification of the described real-time system is correct, we have to do verification and validation of the specification. Traditional verification methods do not assure full real time system inspection. The main drawback, talking about them, is impossibility of system evaluation according time. In this paper a reachable states graph and its generating algorithms are described, while two time moments are compared using linear programming, Simplex method. Therefore, method for checking equivalent state in system behavioral pathway was suggested. Also, theoretical reasoning for creating computer applications, which automates generation of reachable states graph, is given. Reachable states graph fully evaluates real time system behavior.

Identiferoai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2006~D_20060606_100749-78799
Date06 June 2006
CreatorsMilinis, Tadas
ContributorsValakevičius, Eimutis, Maciulevičius, Stasys, Jasinevičius, Raimundas, Barauskas, Rimantas, Makackas, Dalius, Mockus, Jonas, Plėštys, Rimantas, Pranevičius, Henrikas, Telksnys, Laimutis, Kaunas University of Technology
PublisherLithuanian Academic Libraries Network (LABT), Kaunas University of Technology
Source SetsLithuanian ETD submission system
LanguageLithuanian
Detected LanguageEnglish
TypeMaster thesis
Formatapplication/pdf
Sourcehttp://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060606_100749-78799
RightsUnrestricted

Page generated in 0.0018 seconds