Efficient Memory Safety for TinyOS. Cooprider, N., Archer, W., Eide, E., Gay, D., & Regehr, J. In Proceedings of the International Conference on Embedded Networked Sensor Systems (SenSys), of (SenSys), pages 205-218, 2007. ACM. ![Efficient Memory Safety for TinyOS [link]](https://bibbase.org/img/filetypes/link.svg "link")
Website abstract bibtex Reliable sensor network software is difficult to create: applications are concurrent and distributed, hardware-based memory protection is unavailable, and severe resource constraints necessitate the use of unsafe, low-level languages. Our work improves this situation by providing efficient memory and type safety for TinyOS 2 applications running on the Mica2, MicaZ, and TelosB platforms. Safe execution ensures that array and pointer errors are caught before they can corrupt RAM. Our contributions include showing that aggressive optimizations can make safe execution practical in terms of resource usage; developing a technique for efficiently enforcing safety under interrupt-driven concurrency; extending the nesC language and compiler to support safety annotations; finding previously unknown bugs in TinyOS; and, finally, showing that safety can be exploited to increase the availability of sensor networks applications even when memory errors are left unfixed.
@inProceedings{
title = {Efficient Memory Safety for TinyOS},
type = {inProceedings},
year = {2007},
identifiers = {[object Object]},
keywords = {lowpower,memory,safety,security,sensors},
pages = {205-218},
websites = {http://dx.doi.org/10.1145/1322263.1322283},
publisher = {ACM},
series = {(SenSys)},
id = {da2457ba-b8a8-3c71-8e10-3437cda64f9c},
created = {2018-07-12T21:31:20.419Z},
file_attached = {false},
profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},
group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},
last_modified = {2018-07-12T21:31:20.419Z},
read = {false},
starred = {false},
authored = {false},
confirmed = {true},
hidden = {false},
citation_key = {cooprider:tinyosmemorysafety:2007},
source_type = {inproceedings},
private_publication = {false},
abstract = {Reliable sensor network software is difficult to create: applications are concurrent and distributed, hardware-based memory protection is unavailable, and severe resource constraints necessitate the use of unsafe, low-level languages. Our work improves this situation by providing efficient memory and type safety for TinyOS 2 applications running on the Mica2, MicaZ, and TelosB platforms. Safe execution ensures that array and pointer errors are caught before they can corrupt RAM. Our contributions include showing that aggressive optimizations can make safe execution practical in terms of resource usage; developing a technique for efficiently enforcing safety under interrupt-driven concurrency; extending the nesC language and compiler to support safety annotations; finding previously unknown bugs in TinyOS; and, finally, showing that safety can be exploited to increase the availability of sensor networks applications even when memory errors are left unfixed.},
bibtype = {inProceedings},
author = {Cooprider, Nathan and Archer, Will and Eide, Eric and Gay, David and Regehr, John},
booktitle = {Proceedings of the International Conference on Embedded Networked Sensor Systems (SenSys)}
}
Downloads: 0
{"_id":"yEXSnPSTe2wg9Sx8N","bibbaseid":"cooprider-archer-eide-gay-regehr-efficientmemorysafetyfortinyos-2007","downloads":0,"creationDate":"2019-02-15T15:14:58.818Z","title":"Efficient Memory Safety for TinyOS","author_short":["Cooprider, N.","Archer, W.","Eide, E.","Gay, D.","Regehr, J."],"year":2007,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Efficient Memory Safety for TinyOS","type":"inProceedings","year":"2007","identifiers":"[object Object]","keywords":"lowpower,memory,safety,security,sensors","pages":"205-218","websites":"http://dx.doi.org/10.1145/1322263.1322283","publisher":"ACM","series":"(SenSys)","id":"da2457ba-b8a8-3c71-8e10-3437cda64f9c","created":"2018-07-12T21:31:20.419Z","file_attached":false,"profile_id":"f954d000-ce94-3da6-bd26-b983145a920f","group_id":"b0b145a3-980e-3ad7-a16f-c93918c606ed","last_modified":"2018-07-12T21:31:20.419Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"cooprider:tinyosmemorysafety:2007","source_type":"inproceedings","private_publication":false,"abstract":"Reliable sensor network software is difficult to create: applications are concurrent and distributed, hardware-based memory protection is unavailable, and severe resource constraints necessitate the use of unsafe, low-level languages. Our work improves this situation by providing efficient memory and type safety for TinyOS 2 applications running on the Mica2, MicaZ, and TelosB platforms. Safe execution ensures that array and pointer errors are caught before they can corrupt RAM. Our contributions include showing that aggressive optimizations can make safe execution practical in terms of resource usage; developing a technique for efficiently enforcing safety under interrupt-driven concurrency; extending the nesC language and compiler to support safety annotations; finding previously unknown bugs in TinyOS; and, finally, showing that safety can be exploited to increase the availability of sensor networks applications even when memory errors are left unfixed.","bibtype":"inProceedings","author":"Cooprider, Nathan and Archer, Will and Eide, Eric and Gay, David and Regehr, John","booktitle":"Proceedings of the International Conference on Embedded Networked Sensor Systems (SenSys)","bibtex":"@inProceedings{\n title = {Efficient Memory Safety for TinyOS},\n type = {inProceedings},\n year = {2007},\n identifiers = {[object Object]},\n keywords = {lowpower,memory,safety,security,sensors},\n pages = {205-218},\n websites = {http://dx.doi.org/10.1145/1322263.1322283},\n publisher = {ACM},\n series = {(SenSys)},\n id = {da2457ba-b8a8-3c71-8e10-3437cda64f9c},\n created = {2018-07-12T21:31:20.419Z},\n file_attached = {false},\n profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},\n group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},\n last_modified = {2018-07-12T21:31:20.419Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {cooprider:tinyosmemorysafety:2007},\n source_type = {inproceedings},\n private_publication = {false},\n abstract = {Reliable sensor network software is difficult to create: applications are concurrent and distributed, hardware-based memory protection is unavailable, and severe resource constraints necessitate the use of unsafe, low-level languages. Our work improves this situation by providing efficient memory and type safety for TinyOS 2 applications running on the Mica2, MicaZ, and TelosB platforms. Safe execution ensures that array and pointer errors are caught before they can corrupt RAM. Our contributions include showing that aggressive optimizations can make safe execution practical in terms of resource usage; developing a technique for efficiently enforcing safety under interrupt-driven concurrency; extending the nesC language and compiler to support safety annotations; finding previously unknown bugs in TinyOS; and, finally, showing that safety can be exploited to increase the availability of sensor networks applications even when memory errors are left unfixed.},\n bibtype = {inProceedings},\n author = {Cooprider, Nathan and Archer, Will and Eide, Eric and Gay, David and Regehr, John},\n booktitle = {Proceedings of the International Conference on Embedded Networked Sensor Systems (SenSys)}\n}","author_short":["Cooprider, N.","Archer, W.","Eide, E.","Gay, D.","Regehr, J."],"urls":{"Website":"http://dx.doi.org/10.1145/1322263.1322283"},"bibbaseid":"cooprider-archer-eide-gay-regehr-efficientmemorysafetyfortinyos-2007","role":"author","keyword":["lowpower","memory","safety","security","sensors"],"downloads":0},"search_terms":["efficient","memory","safety","tinyos","cooprider","archer","eide","gay","regehr"],"keywords":["lowpower","memory","safety","security","sensors"],"authorIDs":[]}