Conference paper

Š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.
Publication language:english
Original title:Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains
Title (cs):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í
Pages:11-16
Proceedings:IEEE Proceedings of the Second International Conference on Systems, ICONS 2007
Conference:International Conference on Systems
Place:New York, US
Year:2007
ISBN:0-7695-2807-4
Publisher:IEEE Computer Society
Keywords
Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8330}
}

Your IPv4 address: 54.225.39.142
Switch to IPv6 connection

DNSSEC [dnssec]