Publikace

informace pocházejí z univerzitní databáze V3S

Autoři:
Mgr. Lucie Kárná, Ph.D.; Klapka, Š.
Publikováno:
2015, Proceedings of the International Conference Applications of Mathematics 2015, Praha, AV ČR, Matematický ústav), p. 77-84), ISBN 978-80-85823-65-3
Anotace:
The error correcting codes are a common tool to ensure safety in various safety-related systems. The usual technique, employed in the past, is to use two independent transmission systems and to send the safety relevant message two times. This article focuses on analysis of the detection properties of this strategy in the binary symmetrical channel (BSC) model. Besides, various modifications of the mentioned technique can be used. Their impact on the detection properties can be significant, positively or negatively. This article demonstrates one of these modifiations.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
Mgr. Lucie Kárná, Ph.D.; Klapka, Š.
Publikováno:
2015, 23rd International Symposium EURO - ŽEL 2015 - Recent Challenges for European Railways - Symposium Proceedings, Žilina, Tribun EU), p. 52-57), ISBN 978-80-263-0936-9
Anotace:
The error correcting codes are common method to ensure safety in railway interlocking systems. The usual technique, employed in the past, is to use two independent transmission systems and to send the safety relevant message two times. This article focuses on analysing of the detection properties of this strategy in the BSC model. Besides, various modifications of the mentioned technique are used. Their impact on the detection properties can be significant, positively or negatively. This article demonstrates one of these modifications.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
Mgr. Lucie Kárná, Ph.D.; Klapka, Š.
Publikováno:
2013, Pokroky matematiky, fyziky a astronomie, 58 (2), p. 100-106), ISSN 0032-2423
Anotace:
Článek přibližuje čtenáři úlohu bezpečnostních kódů při zajištění bezpečné komunikace v železničních zabezpečovacích zařízeních. Seznamuje ho se základními pojmy problematiky: integrita bezpečnosti, bezpečná komunikace, detekční kód. Jako příklad problému, který je nutné při návrhu bezpečnostního kódu vyřešit, je uveden výpočet maximální hodnoty pravděpodobnosti nedetekované chyby kódu v binárním symetrickém kanálu a určení, jedná-li se o "dobrý" či "správný" kód.
Typ:
Článek v periodiku z pozitivního seznamu RVVI česky

Autoři:
Mgr. Lucie Kárná, Ph.D.; Klapka, Š.
Publikováno:
2013, Applications of Mathematics 2013, Praha, Matematický ústav AV ČR), p. 124-130), ISBN 978-80-85823-61-5
Anotace:
This paper describes a model of influence of random errors on the safety of the communication. The role of the communication in railway safety is specified. To ensure a safe communication, an using of safety code is important. The most important parameter of the safety code is the maximal value of the probability of undetected error. Problems related with computing of this value are outlined in the article. As a model for the information transmission the binary symmetrical channel is introduced. The usability of the concept of 'proper' code is discussed.
Typ:
Stať ve sborníku z prestižní konf.

Autoři:
Klapka, Š.; Mgr. Lucie Kárná, Ph.D.
Publikováno:
2013, 21st International Symposium EURO - ŽEL 2013 - Recent Challenges for European Railways - Symposium Proceedings, ŽILINA, ŽILINSKÁ UNIVERZITA), p. 104-111), ISBN 978-80-263-0380-0
Anotace:
The article discusses how a composition of two detection codes increases detection quality. This issue relates to the requirement 7.3.7.2.1 in EN 50159:2010 (IEC 62280). There is explained why neglecting of detection by the transmission code always results in the upper (pessimistic) estimate in case the linear codes are used. In the article several results of detection quality analyses are presented. The procedure of analysis of concatenated linear codes is described. The formula for the worst case of the probability of undetected error of linear code is evaluated.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
Mgr. Lucie Kárná, Ph.D.
Publikováno:
2012, Proceedings of the International Conference Applications of Mathematics 2012, Praha, Matematický ústav AV ČR), p. 107-116), ISBN 978-80-85823-60-8
Anotace:
This article formalizes some aspects of the board game Carcassonne. Combinatorical problems related to the number of tile types are mentioned. Then the paper describes a game map using graph theory.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
Mgr. Lucie Kárná, Ph.D.; Křížek, M.; Křížek, P.
Publikováno:
2012, Vesmír, 91(142) (6), p. 364-367), ISSN 0042-4544
Anotace:
Článek se zabývá aplikací základních pojmů teorie kódování, jako je informační poměr nebo minimální vzdálenost, na přirozený genetický kód (DNA, RNA). Biochemické kontrolní a opravné mechanismy enzymatického aparátu spojeného s replikací DNA zvyšují její odolnost vůči chybám o několik řádů oproti situaci, kdy by byly využívány pouze prostředky svázané s teorií kódů. Dále se demonstruje, že některé zdánlivě nahodilé skutečnosti spojené s genetickým kódem jsou z pohledu statistiky vlastně očekávatelné.
Typ:
Článek v odborném recenzovaném periodiku česky

Autoři:
Mgr. Lucie Kárná, Ph.D.; Klapka, Š.
Publikováno:
2011, MIS 2011, Praha, Matfyzpress), p. 13-20), ISBN 978-80-7378-197-2
Anotace:
Detekční kódy, používané v bezpečnostně relevantních aplikacích k ochraně dat, nebývají v systému osamoceny. Ve většině případů je společný přenosový systém využíván i k přenosu jiných dat, zabezpečených jinými kódy. Přenosový systém často používá i své vlastní detekční kódy. Aby se zamezilo ovlivnění detekčních vlastností bezpečnostního kódu požaduje se, aby byly tyto jiné kódy nezávislé. Tento pojem však není řádně definován. V tomto článku navrhujeme několik možných definic nezávislosti kódů. Na příkladu normy EN 50159:2010, upravující podmínky pro železniční aplikace, demonstrujeme všeobecně panující nejasnosti kolem podstaty nezávislosti kódů.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
Mgr. Lucie Kárná, Ph.D.
Publikováno:
2011, Pokroky matematiky, fyziky a astronomie, 56 (2), p. 89-98), ISSN 0032-2423
Anotace:
Článek popisuje genetický kód (DNA) z~pohledu matematické teorie kódování. Zabývá se především detekčními a samoopravnými vlastnostmi genetického kódu. Demonstruje, že některé z~mechanismů ochrany a oprav genetické informace je možné dobře popsat terminologií kódování, zatímco jiné jsou založeny čistě na biochemických principech.
Typ:
Článek v periodiku z pozitivního seznamu RVVI česky

Autoři:
Mgr. Lucie Kárná, Ph.D.
Publikováno:
2010, MIS 2010, Praha, Matfyzpress), p. 33-44), ISBN 978-80-7378-148-4
Anotace:
Jednou z důležitých technik používaných v bezpečnostnė relevantních aplikacích jsou detekční kódy, určené především k ochraně informací při přenosu v komunikačních systémech nebo při jejich uložení na paměťovém médiu. Pro jejich návrh a zejména pro kvantitativní hodnocení jejich detekčních vlastností byla v rámci disertační práce autorky vytvořena přehledná a korektní metodika, zaměřená na potřeby a možnosti praxe.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
Klapka, Š.; Mgr. Lucie Kárná, Ph.D.; Harlenderová, M.
Publikováno:
2010, EURO - Žel 2010, Žilina, Žilinská univerzita), p. 27-32), ISBN 978-80-554-0197-3
Anotace:
This contribution refers to the detection properties of the safety codes in transmission systems. Some issues of the safety code assessment related to the proposed new version of the European Standard EN 50159 are discussed. The q-nary transmission channel acting as a probabilistic communication model is demonstrated. This model hasn't been used for this purpose yet. The paper includes practical results of the safety codes evaluation.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
Bondavalli, A.; Ceccarelli, A.; Gronbaek, J.; Iovino, D.; Mgr. Lucie Kárná, Ph.D.; Klapka, Š.; Madsen, T.K.; Magyar, M.; Majzik, I.; Salzo, A.
Publikováno:
2009, International Journal of Performability Engineering, 5 (2), p. 153-166), ISSN 0973-1318
Anotace:
Driver Machine Interface (DMI) is a slave unit of the train onboard computer in the ERTMS automatic train control system. The SAFEDMI project aimed at the development of a DMI which fulfills the requirements of Safety Integrity Level 2 according to the CENELEC development standards. The main challenges were (i) the reduction of the hardware complexity and costs by implementing the safety mechanisms in software and (ii) provide a safe and secure wireless communication interface to support diagnostics and maintenance. This paper presents the requirements, the design of the architecture and the wireless communication protocol, and the evaluation of the applied solutions.
Typ:
Článek v odborném recenzovaném periodiku

Autoři:
Bondavalli, A.; Ceccarelli, A.; Gronbaek, J.; Iovino, D.; Mgr. Lucie Kárná, Ph.D.; Klapka, S.; Madsen, T. K.; Magyar, M.; Majzik, I.; Salzo, A.
Publikováno:
2009, International Journal of Performability Engineering, 5 (2), p. 153-166), ISSN 0973-1318
Anotace:
Driver Machine Interface (DMI) is a slave unit of the train onboard computer in the ERTMS automatic train control system. The SAFEDMI project aimed at the development of a DMI which fulfills the requirements of Safety Integrity Level 2 according to the CENELEC development standards. The main challenges were (i) the reduction of the hardware complexity and costs by implementing the safety mechanisms in software and (ii) provide a safe and secure wireless communication interface to support diagnostics and maintenance. This paper presents the requirements, the design of the architecture and the wireless communication protocol, and the evaluation of the applied solutions.
Typ:
Článek v odborném recenzovaném periodiku

Autoři:
Mgr. Lucie Kárná, Ph.D.
Publikováno:
2009, MIS 2009, Praha, Matfyzpress), p. 20-29), ISBN 978-80-7378-095-1
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
Mgr. Lucie Kárná, Ph.D.
Publikováno:
2009
Anotace:
Práce prezentuje podrobnou a v praxi ověřenou metodiku návrhu a kvantitativního hodnocení lineárních detekčních kódů, zaměřenou na jejich použití v bezpečnostnì relevantních aplikacích. Je založena na propojení teoretických poznatků s problémy objevujícími se v technické praxi. V práci jsou přehledně popsány jednotlivé kroky návrhu a hodnocení bezpečnostních kódů. Zvláštní pozornost je věnována určení maximální hodnoty pravděpodobnosti nedetekované chyby kódu v binárním symetrickém kanálu. Při hodnocení kódu je obtížným krokem vypočtení jeho váhové struktury, resp. váhové struktury kódu duálního. Pro výpočet váhové struktury duálního kódu k binárnímu CRC kódu může být použita "metoda dvou LFSR", využívající modelu lineárního registru se zpětnou vazbou. Tato metoda je zde detailně rozpracována pro konkrétní typy generujících polynomů. Zmíněny jsou výsledky hodnocení řady v praxi užívaných kódů.
Typ:
Disertační práce (PhD)

Autoři:
Mgr. Lucie Kárná, Ph.D.; Klapka, Š.; Harlenderová, M.
Publikováno:
2008, Formal Methods for Automation and Safety in Railway and Automotive Systems (Proceedings of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan), p. 249-255), ISBN 978-963-236-138-3
Anotace:
This paper presents results of calculation of detection properties of the safety codes used in an onboard part of ETCS. A more effective method of the weight distribution of the dual code computation is used. We showed that examined codes fulfill quantitative safety requirements stated in the SUBSET 057, although they are not "proper" in the sense of the EN 501591 standard. We found one example of the code which is not "proper" but it is "good".
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
Harlenderová, M.; Mgr. Lucie Kárná, Ph.D.; Klapka, Š.
Publikováno:
2007, Formal Methods for Automation and Safety in Railway and Automotive Systems (Proceedings of Symposium FORMS/FORMAT 2007), Braunschweig, Technical University of Braunschweig), p. 436-446), ISBN 978-3-937655-09-3
Anotace:
This paper discusses the undetected error probability in BSC. It presents results of calculation of detection codes properties and compares them with usually used bounds for a risk analysis. A method of computing the weight distribution of the code with the help of the dual code using MacWilliams formula is presented. This method is illustrated by the example of the safety code used in an on-board part of ETCS. The weight distributions for the samples of the most popular codes as the Hamming, BCH and Reed-Solomon are considered.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
Mgr. Lucie Kárná, Ph.D.; Klapka, Š.; Harlenderová, M.
Publikováno:
2006, 5th Conference on Advanced Engineering Design AED 2006, Praha, České vysoké učení technické v Praze), ISBN 80-86059-44-8
Anotace:
In critical applications it is essential to exactly evaluate the probability of hazard events. Block detection codes are basic method for data integrity check. Requirements on detection codes are specified in the EU norm EN 50159-1. One of parameters is the probability of undetected error in the binary symmetrical channel. To compute this probability, it is necessary to know weight distribution of the code. This problem is quite time-complex, hence the norm suggests using an estimate of the maximum probability of undetected error, that is based only on the number of check characters. In this article a method of computing weight distribution of the code with help of the dual code using MacWilliams formula is demonstrated. It appears, that the recommendation of the norm to use mentioned estimate for safety critial applications cannot be respected and computation of the weight distribution has to be performed. Computational difficulty of this calculation is then discussed.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
Mgr. Lucie Kárná, Ph.D.
Publikováno:
2006, International Conference Presentation of Mathematics '05, Liberec, Technická univerzita), p. 267-273), ISBN 80-7372-055-8
Anotace:
In the article the genetic code is studied. A short simpified introduction of the biochemical principles of genetics is given. Then the genetic code is introduced and significance of its degeneracy is discussed.The error-correcting capability of the double-stranded DNA code is referred.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně