Detail výsledku

Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains

ŠVÉDA, M. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007. p. 11-16. ISBN: 0-7695-2807-4.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Abstrakt

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 by application 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.

Klíčová slova

Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning

Rok
2007
Strany
11–16
Sborník
IEEE Proceedings of the Second International Conference on Systems, ICONS 2007
Konference
International Conference on Systems
ISBN
0-7695-2807-4
Vydavatel
IEEE Computer Society
Místo
New York
BibTeX 
@inproceedings{BUT28598,
  author="Miroslav {Švéda}",
  title="Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains",
  booktitle="IEEE Proceedings of the Second International Conference on Systems, ICONS 2007",
  year="2007",
  pages="11--16",
  publisher="IEEE Computer Society",
  address="New York",
  isbn="0-7695-2807-4"
}
Projekty
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru