W pracy pokazano możliwość wspomagania analizy poprawności oprogramowania systemów reaktywnych. Pokazano translację między specyfikacją systemu w języku SDL (FSM) a algebrą procesów CCS oraz opisano koncepcję dowodzenia poprawności (bisymulacji). Rozważania prowadzone są na znanym w literaturze przykładzie systemu obronnego krążownika rakietowego.
EN
An application of process algebra (CCS) supporting design of correct software for reactive systems is presented in the paper. A translation between SDL (FSM) diagrams and process algebra is shown and a concept of correctness (bisimulation) proving is given. All the considerations are carried out using well-known Naval Vessel problem.
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ć.