Detail publikace

Integration of Formal Methods in a Specification Framework for Embedded Systems

RYŠAVÝ Ondřej, BUREŠ František, ŠČUGLÍK František a Š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, s. 57-63. ISBN 1-85769-1970.
Název česky
Integrace formálních metod do specifikačního rámce pro vestavěné systémy
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Bureš František, Ing. (UIFS FIT VUT)
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt

Příspěvek pojednává o integraci formálních metod do vyvinutého specifikačního rámce zaměřeného na podporu objektově orientovaného návrhu vestavěných systémů. Jádro rámce je tvořeno třídovým specifikačním jazykem založeným na logickém kalkulu objektů. Doplňující nástroje vytvářejí vhodné uživatelské rozhraní umožňující generovat CSP specifikace jak z návrhových diagramů chování, tak ze zdrojového kódu pro opakované využití. Případová studie nepřerušitelného zdroje napájení demonstruje využití vyvinutých metod a nástrojů.

Rok
2004
Strany
57-63
Sborník
Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Brno, CZ
ISBN
1-85769-1970
Vydavatel
IEEE Computer Society
Místo
Stirling, GB
BibTeX 
@INPROCEEDINGS{FITPUB7471,
   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 = "https://www.fit.vut.cz/research/publication/7471"
}
Nahoru