Publication Details

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.
Czech title
Opakované využití formálních specifikací při návrhu vestavěných systémů -- Specifikace chování a architektury v doméně RT aplikací
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Keywords

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

Abstract

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.

Published
2007
Pages
11–16
Proceedings
IEEE Proceedings of the Second International Conference on Systems, ICONS 2007
Conference
International Conference on Systems, Fort de France, Martinique, MQ
ISBN
0-7695-2807-4
Publisher
IEEE Computer Society
Place
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"
}
Back to top