کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5003165 1368468 2006 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Reuse of formal specifications in Embedded systems design
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
Reuse of formal specifications in Embedded systems design
چکیده انگلیسی
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 ofreal-lime embedded systems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 39, Issue 21, February 2006, Pages 78-83
نویسندگان
,