کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
448965 693616 2006 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Achieving dependability in sensor networks through automated requirements-based programming
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش صفحه اول مقاله
Achieving dependability in sensor networks through automated requirements-based programming
چکیده انگلیسی

A sensor network can be viewed as a distributed system consisting of many nodes (processes) that communicate and exchange data. Such a system, including an application running on top of the sensor network, is inherently difficult to model and validate. System requirements and actual application code may not be consistent, with the implementation failing to implement all of the requirements, or failing to implement them correctly. Requirements can be expressed as a set of services that the sensor network should provide. Each service may be described using one or more scenarios. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This represents a significant step forward toward high-dependability system engineering for numerous possible application domains, including sensor networks.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computer Communications - Volume 29, Issue 2, 10 January 2006, Pages 246–256
نویسندگان
, , , ,