دانلود مقاله ISI انگلیسی شماره 43104
عنوان فارسی مقاله

پالایش داده ها مبتنی بر فاصله: یک روش یکسان برای همزمانی واقعی در سیستم های گسسته و بی درنگ

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
43104 2015 34 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Science of Computer Programming, Volume 111, Part 2, 1 November 2015, Pages 214–247

کلمات کلیدی
پالایش - استدلال بر اساس فاصله - همزمانی واقعی - سیستم های زمان گسسته - سیستم های بی درنگ
پیش نمایش مقاله
پیش نمایش مقاله پالایش داده ها مبتنی بر فاصله: یک روش یکسان برای همزمانی واقعی در سیستم های گسسته و بی درنگ

چکیده انگلیسی

The majority of modern systems exhibit sophisticated concurrent behaviour, where several system components observe and modify the state with fine-grained atomicity. Many systems also exhibit truly concurrent behaviour, where multiple events may occur simultaneously. Data refinement, a correctness criterion to compare an abstract and a concrete implementation, normally admits interleaved models of execution only. In this paper, we present a method of data refinement using a framework that allows one to view a component's evolution over an interval of time, simplifying reasoning about true concurrency. By modifying the type of an interval, our theory may be specialised to cover data refinement of both discrete and real-time systems. We develop a sound interval-based forward simulation rule that enables decomposition of data refinement proofs, and apply this rule to verify data refinement for two examples: a simple concurrent program and a more in-depth real-time controller.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.