Detail publikace
Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains
ŠVÉDA, M.
Originální název
Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains
Anglický název
Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains
Jazyk
en
Originální 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.
Anglický 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.
Dokumenty
BibTex
@inproceedings{BUT28598,
author="Miroslav {Švéda}",
title="Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains",
annote="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.",
address="IEEE Computer Society",
booktitle="IEEE Proceedings of the Second International Conference on Systems, ICONS 2007",
chapter="28598",
howpublished="print",
institution="IEEE Computer Society",
year="2007",
month="april",
pages="11--16",
publisher="IEEE Computer Society",
type="conference paper"
}