Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Autobusy : technika, eksploatacja, systemy transportowe

1 2016

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Autonomous Moving Platforms

Sortuj według:

Ogranicz wyniki do:

Improving resilience of autonomous moving platforms by real-time analysis of their cooperation

Czejdo B., Bhattacharya S., Baszun M., Daszczuk W. B.

Autobusy : technika, eksploatacja, systemy transportowe

2016

R. 17, nr 6

1294-1301

Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilience of Autonomous Moving Platforms AMPs. The approach is based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives. The upper level diagrams allowed us to model advanced interactions between autonomous AMPs and detect irregularities such as deadlocks live-locks etc. The techniques were presented to verify and analyze combined AMPs’ behaviors using model checking technique. The described system, Dedan verifier, is still under development. In the near future, a graphical form of verified system representation is planned.

Zmiany w otoczeniu, awarie, kolizje czy nawet ataki terrorystyczne mogą spowodować poważne awarie w systemach transportowych. W artykule zaprezentowaliśmy nowe podejście do poprawy odporności autonomicznych platform mobilnych (AMPs). Podejście to opiera się na specyfikacji przy pomocy wielopoziomowych diagramach stanów, opisujących wpływ otoczenia, podejmowane akcje komunikacyjne i prymitywy synchronizacyjne. Schematy na górnym poziomie pozwoliły modelować zaawansowane interakcje między autonomicznymi pojazdami i wykrywać nieprawidłowości, takie jak zakleszczenia, częściowe zakleszczenia itp. Zaprezentowano techniki zastosowane w celu weryfikacji i analizy łącznego zachowania pojazdów techniką weryfikacji modelowej. Opisany system weryfikacyjny Dedan jest wciąż w fazie rozwoju. W niedalekiej przyszłości planowana jest graficzna forma reprezentacji weryfikowanego systemu.