Č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}
} |
|