Publication Details

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

ŠVÉDA Miroslav. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. In: IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007, pp. 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
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, US
BibTeX
@INPROCEEDINGS{FITPUB8330,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains",
   pages = "11--16",
   booktitle = "IEEE Proceedings of the Second International Conference on Systems, ICONS 2007",
   year = 2007,
   location = "New York, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2807-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8330"
}
Back to top