hrcak mascot   Srce   HID

Izvorni znanstveni članak

Logical Consistency Validation Tools for Distributed Systems

Drago Žagar ; J. J. Strossmayer University of Osijek, Faculty of Electrical Engineering
Nino Vrandečić ; Hrvatska elektroprivreda, Osijek
Antun Stoić ; J. J. Strossmayer University of Osijek, Faculty of Mechanical Engineering in Slavonski Brod

Puni tekst: engleski, pdf (676 KB) str. 1-11 preuzimanja: 148* citiraj
APA 6th Edition
Žagar, D., Vrandečić, N. i Stoić, A. (2013). Logical Consistency Validation Tools for Distributed Systems. International journal of electrical and computer engineering systems, 4. (1.), 1-11. Preuzeto s https://hrcak.srce.hr/133177
MLA 8th Edition
Žagar, Drago, et al. "Logical Consistency Validation Tools for Distributed Systems." International journal of electrical and computer engineering systems, vol. 4., br. 1., 2013, str. 1-11. https://hrcak.srce.hr/133177. Citirano 24.11.2020.
Chicago 17th Edition
Žagar, Drago, Nino Vrandečić i Antun Stoić. "Logical Consistency Validation Tools for Distributed Systems." International journal of electrical and computer engineering systems 4., br. 1. (2013): 1-11. https://hrcak.srce.hr/133177
Harvard
Žagar, D., Vrandečić, N., i Stoić, A. (2013). 'Logical Consistency Validation Tools for Distributed Systems', International journal of electrical and computer engineering systems, 4.(1.), str. 1-11. Preuzeto s: https://hrcak.srce.hr/133177 (Datum pristupa: 24.11.2020.)
Vancouver
Žagar D, Vrandečić N, Stoić A. Logical Consistency Validation Tools for Distributed Systems. International journal of electrical and computer engineering systems [Internet]. 2013 [pristupljeno 24.11.2020.];4.(1.):1-11. Dostupno na: https://hrcak.srce.hr/133177
IEEE
D. Žagar, N. Vrandečić i A. Stoić, "Logical Consistency Validation Tools for Distributed Systems", International journal of electrical and computer engineering systems, vol.4., br. 1., str. 1-11, 2013. [Online]. Dostupno na: https://hrcak.srce.hr/133177. [Citirano: 24.11.2020.]

Sažetak
As a result of using Information Technology (IT) in different technological processes it is necessary to develop new application specific communication protocols. The number of application specific protocols is growing rapidly in different areas: medicine, communication, industry, power systems, computer networks, etc. Protocol errors discovered in the implementation phase are usually a consequence of inconsistent protocol design, which implies the necessity of methodology for error detection in an early design phase. This paper describes formal methods for distributed systems, especially SPIN/Promela tool for formal verification of logical consistency in distributed systems. A protocol used in power systems IEC60870-5-101 has been verified as an example of formal verification of a distributed system. Formal specification, simulation and verification of logical consistency have been successfully done by using SPIN/Promela software.

Ključne riječi
distributed systems; finite state machine; protocol; validation

Hrčak ID: 133177

URI
https://hrcak.srce.hr/133177

Posjeta: 267 *