Clánek ve sborníku konference

 
Ceska, 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:anglictina
Název publikace:A Novel Approach to Modechart Verification of Real-Time Systems
Název (cs):Nový prístup verifikace real-time systému 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ícová slova
Modechart, verifikace, rt-systém, RTL
Anotace
Jelikoz systémy pracující s reálným casem jsou striktne casove omezené a jejich porucha muze mít fatální následky, je dulezité zajistit jejich korektní chování. Existuje mnoho prístupu k verifikaci systému pracujících s reálným casem. Jedny pouzívají grafické formalismy, jiné ruznorodé mnozství logic umoznujících popis verifikovaných systému. Ikdyz grafický popis je znacne jednodussí pro pouzití, neumoznuje pouzít mnoho silných metod pro analýzu a verifikaci. V tomto clánku navrhujeme nový prístup k verifikaci systému pracujících s reálným casem popsaných grafickým formalismem Modechart zalozený na transformaci výpoctu systému do podoby mnoziny formulí omezené RTL logiky. Dále, jestli verifikovaná vlastnost systému je známa v dobe verifikace, jsme schopni redukovat pocet výsledných formulí.
BibTeX:
@INPROCEEDINGS{
   author = {Milan Ceska 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}
}