- Tytuł:
- Verifying RTECTL properties of a train controller systems
- Autorzy:
-
Woźna-Szcześniak, B.
Zbrzezny, A.
Zbrzezny, Andrzej - Powiązania:
- https://bibliotekanauki.pl/articles/121877.pdf
- Data publikacji:
- 2011
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
RTECTL
train controller systems
BMC method
system kontrolera pociągu
metoda BMC - Opis:
- 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.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 153-162
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki
Artykuł