W pracy omówiono metodę wykrywania i obsługi błędów w federacji symulacyjnej oraz zwiększania przeżywalności eksperymentu polegającą na rozdzieleniu aplikacji symulatora od interfejsu komunikacyjnego służącego do pracy pod kontrolą RTI. Zaproponowane podejście pozwala na ukrycie awarii aplikacji, wstrzymanie wszystkich działań w ramach federacji do momentu odzyskania sprawności przez uszkodzonego federata, bez przerywania całego eksperymentu. Wydzielony interfejs komunikacyjny pracuje podczas awarii, reaguje na informacje napływające z RTI oraz odtwarza stan federata do ostatniego zapamiętanego. W czasie poprawnej pracy aplikacji symulatora wszystkie aktualizacje symulowanych obiektów oraz wymieniane komunikaty zostają zapisane, aby mogły być następnie użyte w procesie odtwarzania.
EN
The paper presents the method for detecting and handling errors in the simulation federation and especially to improve fault-tolerance of distributed experiment. It can be obtained using the separation of application from the communication interface simulator. The proposed approach allows to hide the application failures, the suspension of all activities within the federation until the recovery efficiency of the faulty federate, without interrupting the experiment. Dedicated communication interface operates during the failure, responding to information coming from the RTI. Moreover, it restores state of the federate to the last stored. During proper work of the simulator all updates of simulated objects and the messages exchanged are stored in order to be used during restoring process (roll-back).
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Exception handling is nowadays a necessary component of error proof information systems. The paper presents overview of techniques and models of exception handling, problems connected with them and potential solutions. The aspects of implementation of propagation mechanisms and exception handling, their effect on semantics and general program efficiency are also taken into account. Presented mechanisms were adopted to modern programming languages. Considering design area, formal methods and formal verification of program properties we can notice exception handling mechanisms are weakly present what makes a field for future research.
PL
Obsługa wyjątków jest współcześnie nieodzownym składnikiem systemów informatycznych odpornych na błędy. W artykule przedstawiono przegląd technik i modeli obsługi błędów, związane z nimi problemy oraz ich potencjalne rozwiązania. Uwzględniono również zagadnienia dotyczące implementacji mechanizmów propagacji i obsługi błędów, ich wpływ na semantykę oraz ogólną efektywność programów. Przedstawione mechanizmy znalazły zastosowanie we współczesnych językach programowania. Jeśli chodzi o dziedzinę projektowania, metody formalne oraz formalne dowodzenie własności, to mechanizmy obsługi wyjątków nie są w nich dostatecznie reprezentowane, co stanowi pole dla nowych badań.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.