کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422532 685102 2008 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
چکیده انگلیسی

We describe how we use Lustre to build global and accurate executable models of energy consumption in sensor networks, intended to be used for both simulations and formal validation. One of the key ideas is to build a component-based global model, in such a way that various abstractions of the same model can be derived by unplugging a component and plugging a more abstract (or more detailed) one. This ability to play with various abstractions that can be formally compared with one another is essential for a virtual prototyping approach connected to formal validation tools. We comment on the properties of Lustre and its development environment that make this approach feasible.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 203, Issue 4, 5 June 2008, Pages 95-110