Článek ve sborníku konference

 
Češka, M., Fiedor, J., Gach, M.: A Novel Approach to Modechart Verification of Real-Time Systems, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 338-339, ISBN 978-84-693-9560-8
Jazyk publikace:angličtina
Název publikace:A Novel Approach to Modechart Verification of Real-Time Systems
Název (cs):Nový přístup verifikace real-time systémů ve formalismu Modechart
Strany:338-339
Sborník:Proceedings of the 13th International Conference on Computer Aided Systems Theory
Konference:Thirteen International Conference On Computer Aided Systems Theory
Místo vydání:Universidad de Las Palmas de Canaria, ES
Rok:2011
ISBN:978-84-693-9560-8
Vydavatel:Universidad de Las Palmas de Gran Canaria
Klíčová slova
Modechart, verifikace, rt-systém, RTL
Anotace
Jelikož systémy pracující s reálným časem jsou striktně časově omezené a jejich porucha může mít fatální následky, je důležité zajistit jejich korektní chování. Existuje mnoho přístupů k verifikaci systémů pracujících s reálným časem. Jedny používají grafické formalismy, jiné různorodé množství logic umožňujících popis verifikovaných systémů. Ikdyž grafický popis je značně jednodušší pro použití, neumožňuje použít mnoho silných metod pro analýzu a verifikaci. V tomto článku navrhujeme nový přístup k verifikaci systémů pracujících s reálným časem popsaných grafickým formalismem Modechart založený na transformaci výpočtu systému do podoby množiny formulí omezené RTL logiky. Dále, jestli verifikovaná vlastnost systému je známa v době verifikace, jsme schopni redukovat počet výsledných formulí.
BibTeX:
@INPROCEEDINGS{
   author = {Milan Češka and Jan Fiedor and Marek Gach},
   title = {A Novel Approach to Modechart Verification of Real-Time
	Systems},
   pages = {338--339},
   booktitle = {Proceedings of the 13th International Conference on Computer
	Aided Systems Theory},
   year = {2011},
   location = {Universidad de Las Palmas de Canaria, ES},
   publisher = {The Universidad de Las Palmas de Gran Canaria},
   ISBN = {978-84-693-9560-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9744}
}