Naslov
Formal Verification of Communication Protocols in Distributed Systems

Autori
Pek, Edgar ; Bogunović, Nikola

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Computers in technical systems and intelligent systems / Budin, Leo ; Ribarić, Slobodan - Rijeka : Linia Vera, 2003, 44-49

Skup
XXVI International Convention MIPRO 2003

Mjesto i datum
Opatija, Hrvatska, 19.05.2003. - 23.05.2003

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
formal methods; communication protocols; distributed systems

Sažetak
In distributed applications, software components embedded in the communication protocols collectively provide the interaction and functionality among various parts that run on the common pervasive platform. However, software components, as the target for most of the changes, are expected to carry majority of the design faults. Hence, their verified conformance to the specification (correctness) is crucial for the reliable operation of the application. The paper surveys resent progress in the development of formal techniques as applied to the verification of protocols in distributed systems. Based on this analysis an appropriate method is selected and rigorously scrutinized by its practice to a specific protocol. Performance issues and possible improvements are discussed.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA