Conference paper

RYŠAVÝ Ondřej, BUREŠ František, ŠČUGLÍK František and ŠVÉDA Miroslav. Integration of Formal Methods in a Specification Framework for Embedded Systems. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: IEEE Computer Society, 2004, pp. 57-63. ISBN 1-85769-1970.
Publication language:english
Original title:Integration of Formal Methods in a Specification Framework for Embedded Systems
Title (cs):Integrace formálních metod do specifikačního rámce pro vestavěné systémy
Pages:57-63
Proceedings:Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Conference:IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Place:Stirling, GB
Year:2004
ISBN:1-85769-1970
Publisher:IEEE Computer Society
Keywords
Specification framework, object oriented, object logic, CSP, reverse specification
Annotation
The contribution deals with formal methods integration in frame of a developed specification framework that aims to support object-oriented design of embedded systems. While class specification language based on a logic calculus of objects forms kernel of this framework, complementary set of tools provides a fitting user interface that enables to generate CSP specifications both from behavioral diagrams for design and from source code for reuse. To explain utilization and integration of the developed methods and related tools, an uninterruptible power supply system provides a demonstration case study.
BibTeX:
@INPROCEEDINGS{
   author = {Ond{\v{r}}ej Ry{\v{s}}av{\'{y}} and Franti{\v{s}}ek
	Bure{\v{s}} and Franti{\v{s}}ek {\v{S}}{\v{c}}ugl{\'{i}}k
	and Miroslav {\v{S}}v{\'{e}}da},
   title = {Integration of Formal Methods in a Specification Framework
	for Embedded Systems},
   pages = {57--63},
   booktitle = {Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint
	Workshop on Formal Specifications of Computer-Based Systems},
   year = {2004},
   location = {Stirling, GB},
   publisher = {IEEE Computer Society},
   ISBN = {1-85769-1970},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7471}
}

Your IPv4 address: 54.157.81.13
Switch to IPv6 connection

DNSSEC [dnssec]