Zastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnych

• Autorzy: Szmuc T. , Oskwarek S.

Warianty tytułu

EN

Process algebra supporting design of correct software for reactive systems

• Języki publikacji: PL

Abstrakty

PL

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.

Słowa kluczowe

PL

oprogramowanie systemów reaktywnych; bisymulacja; SDL; CCS

EN

software for reactive systems; bisimulation; SDL; CCS

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2001
• Tom: T. 5, z. 1/2
• Strony: 523--533
• Opis fizyczny: Bibliogr. 16 poz., rys.

Twórcy

autor

Szmuc T.

autor

Oskwarek S.

• Katedra Automatyki, Akademia Górniczo-Hutnicza w Krakowie