Poster Abstract: Software Verification for TinyOS

机译：海报摘要：TinyOS的软件验证

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We describe the first software tool for the verification of TinyOS 2, MSP430 applications at compile-time. Given assertions upon the state of the sensor node, the tool bound-edly explores all program executions and returns to the programmer an error trace leading to any assertion violation. Besides memory-related errors (out-of-bounds arrays, null-pointer dereferences), we verify application-specific assertions, including low-level assertions upon the state of the registers and peripherals.

机译：我们介绍了第一个用于在编译时验证TinyOS 2，MSP430应用程序的软件工具。给定对传感器节点状态的断言，该工具将边界地探索所有程序执行，并向程序员返回导致任何断言违规的错误跟踪。除了与内存相关的错误（越界数组，空指针取消引用）之外，我们还验证特定于应用程序的断言，包括对寄存器和外设状态的低级断言。

著录项

来源
《9th ACM/IEEE international conference on information processing in sensor networks 2010》|2010年|p.400-401|共2页
会议地点 Stockholm(SE);Stockholm(SE)
作者
Doina Bucur; Marta Z. Kwiatkowska;
展开▼
作者单位

University of Oxford, UK;

University of Oxford, UK;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类信息处理（信息加工）;
关键词
sensor networks; tTinyOS; telos; MSP430; software verifica-tion; model checking; reliability; safety;

机译：传感器网络； tTinyOS； telos; MSP430；软件验证；模型检查；可靠性;安全;

相似文献

外文文献
中文文献
专利

1. Poster Abstract: A System for Secure Verification of Location Claims [J] . Michelle Graham Mobile computing and communications review . 2008,第2期

机译：张贴者摘要：一种安全验证位置声明的系统
2. Abstracts of Invited Talks, Contributed Posters, and Software Demos atthe East Coast Computer Algebra Day 2010 [J] . Vicky Powers ACM communications in computer algebra . 2010,第1a2期

机译：2010年东海岸计算机代数日特邀演讲摘要，投稿海报和软件演示
3. Abstracts of Award-Winning Posters, 22nd Annual Health Sciences Poster Conference, Faculty of Medicine, Health Sciences Centre, Kuwait University, Kuwait, March 7-9, 2017: Abstracts [J] . Medical principles and practice: international journal of the Kuwait University, Health Science Centre . 2017,第6期

机译：获奖海报摘要，第22届年度健康科学海报会议，科威特大学医学部卫生科学中心，科威特，2017年3月7日至9日：摘要
4. Poster Abstract: Software Verification for TinyOS [C] . Doina Bucur, Marta Z. Kwiatkowska ACM/IEEE international conference on information processing in sensor networks . 2010

机译：海报摘要：Tinyos的软件验证
5. Verifying abstract components within concrete software environments. [D] . Bao, Tonglaga. 2009

机译：验证具体软件环境中的抽象组件。
6. Abstracts of Award-Winning Posters 22nd Annual Health Sciences Poster Conference Faculty of Medicine Health Sciences Centre Kuwait University Kuwait March 7–9 2017: Abstracts [O] . R. Al Mutairi, A. Ashqar, S. Kalakh, 2018

机译：获奖海报摘要第22届年度健康科学海报会议科威特大学医学部卫生科学中心科威特2017年3月7日至9日：摘要
7. Poster Abstract: TinyOS 2.1 Adding Threads and Memory Protection to TinyOS The TinyOS Alliance [O] . 2012

机译：海报摘要：TinyOS 2.1在TinyOS中添加线程和内存保护TinyOS联盟

Poster Abstract: Software Verification for TinyOS

摘要

著录项

相似文献

相关主题

期刊订阅