Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

1 2011

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: train controller systems

Sortuj według:

Ogranicz wyniki do:

Verifying RTECTL properties of a train controller systems

Woźna-Szcześniak B., Zbrzezny A., Zbrzezny Andrzej

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2011

Vol. 16

153--162

In the paper we deal with a classic concurrency problem - a faulty train controller system (FTC). In particular, we formalize it by means of finite automata, and consider several properties of the problem, which can be expressed as formulae of a soft real-time branching time temporal logic, called RTECTL. Further, we verify the RTECTL properties of FTC by means of SAT-based bounded model checking (BMC) method, and present the performance evaluation of the BMC method with respect to the considered problem. The performance evaluation is given by means of the running time and the memory used.