Abo Bibliothek: Guest
Digitales Portal Digitale Bibliothek eBooks Zeitschriften Referenzen und Berichte Forschungssammlungen
Telecommunications and Radio Engineering
SJR: 0.202 SNIP: 0.2 CiteScore™: 0.23

ISSN Druckformat: 0040-2508
ISSN Online: 1943-6009

Volumes:
Volumen 78, 2019 Volumen 77, 2018 Volumen 76, 2017 Volumen 75, 2016 Volumen 74, 2015 Volumen 73, 2014 Volumen 72, 2013 Volumen 71, 2012 Volumen 70, 2011 Volumen 69, 2010 Volumen 68, 2009 Volumen 67, 2008 Volumen 66, 2007 Volumen 65, 2006 Volumen 64, 2005 Volumen 63, 2005 Volumen 62, 2004 Volumen 61, 2004 Volumen 60, 2003 Volumen 59, 2003 Volumen 58, 2002 Volumen 57, 2002 Volumen 56, 2001 Volumen 55, 2001 Volumen 54, 2000 Volumen 53, 1999 Volumen 52, 1998 Volumen 51, 1997

Telecommunications and Radio Engineering

DOI: 10.1615/TelecomRadEng.v62.i7.30
pages 613-621

Concept of Detection and Correction of Logic Errors in Implementation of Safety Protocol Profiles

V. T. Eremenko

ABSTRAKT

The concept is disclosing the general approach to formation of specific implementation of the safety protocol profiles (SPP). The paper represents mathematical models of occurrence of logic errors because of parallel execution of a number of processes during implementation of the protocols, which, in general case, are running asynchronously due to incorrect description. It is this asynchronous mode that results in occurrence of situation of uncertainty. The procedures for their correction and the procedure for syntax check are determined.