REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66861" target="_blank" >RIV/00216305:26230/06:PU66861 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN
Original language description
This paper deals with reuse of architectural and behavioral specifications of embedded systems employing finite-state and timed automata. The contribution proposes not only how to represent a system's formal specification as an application pattern structure of specification fragments, but also how to measure similarity of formal specifications for retrieval with case-based reasoning support. The paper provides also an insight into case-based reasoning support as applied to formal specification reuse byapplication patterns built on finite-state and timed automata. Those application patterns create a base for a pattern language supporting reuse-oriented design process for a class of real-time embedded systems. <i>Copyright © 2006 IFAC</i>
Czech name
Opakovaná využitelnost formálních specifikací ve vestavěných systémech
Czech description
Příspěvek pojednává o opakované využitelnosti specifikací architektury a chování vestavěných systémů využívajících konečné a časované automaty. Je zde diskutována příslušná podpora usuzováním na základě případů, která tvoří základ jazyka vzorů specifikací pro opakovaný návrh v oblasti vestavěných systémů určených pro práci v reálném čase.

Project
<a href="/en/project/GA102%2F05%2F0467" target="_blank" >GA102/05/0467: Architectures of Embedded Systems Networks</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006
ISBN
80-214-3130-X
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
78-83
Publisher name
Faculty of Electrical Engineering and Communication BUT
Place of publication
Brno
Event location
Brno
Event date
Feb 13, 2006
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)