Conference paper

RYŠAVÝ Ondřej and RÁB Jaroslav. A Component-based Approach to Verification of Embedded Control Systems using TLA+. In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology. Wisla: IEEE Computer Society Press, 2008, pp. 719-725. ISBN 978-83-60810-14-9.
Publication language:english
Original title:A Component-based Approach to Verification of Embedded Control Systems using TLA
Title (cs):Verifikace vestavěných řídících systémů v jazyce TLA+ založená na komponentovém přístupu
Pages:719-725
Proceedings:IEEE Proceedings of International Multiconference on Computer Science and Information Technology
Conference:International Multiconference on Computer Science and Information Technology - RTS 2008
Place:Wisla, PL
Year:2008
ISBN:978-83-60810-14-9
Publisher:IEEE Computer Society Press
URL:http://www.fit.vutbr.cz/~rysavy/bibpdf/rysavy_08_component.pdf [PDF]
Files: 
+Type Name Title Size Last modified
iconrysavy_08_component.pdfA Component-based Approach to Verification of Embedded Control Systems using TLA131 KB2008-12-15 14:28:53
^ Select all
With selected:
Keywords
Control systems, real-time software, temporal logic of actions, verification of RT systems, component based approach
Annotation
The method for writing TLA+specifications that obey a formal model called Masaccio is presented in this paper. The specifications consist of components, which are built from atomic components by parallel and serial composition. Using a simple example, it is illustrated how to write specifications of atomic components and components that are products of parallel or serial compositions. The specifications have standard form of the TLA+specifications hence they are amenable to automatic verification using the TLA+model-checker.
BibTeX:
@INPROCEEDINGS{
   author = {Ond{\v{r}}ej Ry{\v{s}}av{\'{y}} and Jaroslav R{\'{a}}b},
   title = {A Component-based Approach to Verification of Embedded
	Control Systems using TLA},
   pages = {719--725},
   booktitle = {IEEE Proceedings of International Multiconference on
	Computer Science and Information Technology},
   year = {2008},
   location = {Wisla, PL},
   publisher = {IEEE Computer Society Press},
   ISBN = {978-83-60810-14-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8772}
}

Your IPv4 address: 54.224.13.210
Switch to IPv6 connection

DNSSEC [dnssec]