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.
Identifer | oai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2006~D_20060606_100749-78799 |
Date | 06 June 2006 |
Creators | Milinis, Tadas |
Contributors | Valakevič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 |
Publisher | Lithuanian Academic Libraries Network (LABT), Kaunas University of Technology |
Source Sets | Lithuanian ETD submission system |
Language | Lithuanian |
Detected Language | English |
Type | Master thesis |
Format | application/pdf |
Source | http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060606_100749-78799 |
Rights | Unrestricted |
Page generated in 0.6893 seconds