"REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN"@en . "78-83" . "497478" . "Brno" . "Brno" . "80-214-3130-X" . . "P(GA102/05/0467), Z(MSM0021630503)" . . "1"^^ . . "REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN" . . . "1"^^ . "26230" . "2006-02-13+01:00"^^ . "Opakovan\u00E1 vyu\u017Eitelnost form\u00E1ln\u00EDch specifikac\u00ED ve vestav\u011Bn\u00FDch syst\u00E9mech"@cs . "RIV/00216305:26230/06:PU66861" . . . "Vysok\u00E9 u\u010Den\u00ED technick\u00E9 v Brn\u011B. Fakulta elektrotechniky a komunika\u010Dn\u00EDch technologi\u00ED" . . "RIV/00216305:26230/06:PU66861!RIV07-MSM-26230___" . "REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN"@en . . . "Opakovan\u00E1 vyu\u017Eitelnost form\u00E1ln\u00EDch specifikac\u00ED ve vestav\u011Bn\u00FDch syst\u00E9mech"@cs . . . "6"^^ . . "\u0160v\u00E9da, Miroslav" . "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. Copyright © 2006 IFAC"@en . "Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006" . "[81217D6251A7]" . . . . "Embedded systems, design systems, formal specification, computer communication networks, sensor systems"@en . . "REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN" . "P\u0159\u00EDsp\u011Bvek pojedn\u00E1v\u00E1 o opakovan\u00E9 vyu\u017Eitelnosti specifikac\u00ED architektury a chov\u00E1n\u00ED vestav\u011Bn\u00FDch syst\u00E9m\u016F vyu\u017E\u00EDvaj\u00EDc\u00EDch kone\u010Dn\u00E9 a \u010Dasovan\u00E9 automaty. Je zde diskutov\u00E1na p\u0159\u00EDslu\u0161n\u00E1 podpora usuzov\u00E1n\u00EDm na z\u00E1klad\u011B p\u0159\u00EDpad\u016F, kter\u00E1 tvo\u0159\u00ED z\u00E1klad jazyka vzor\u016F specifikac\u00ED pro opakovan\u00FD n\u00E1vrh v oblasti vestav\u011Bn\u00FDch syst\u00E9m\u016F ur\u010Den\u00FDch pro pr\u00E1ci v re\u00E1ln\u00E9m \u010Dase."@cs . "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. Copyright © 2006 IFAC" . . . .