Safe tinyos - PowerPoint PPT Presentation

Efficient Type and Memory Safety for Tiny Embedded Systems

John Regehr Nathan Cooprider Will Archer Eric Eide University of Utah School of Computing. Efficient Type and Memory Safety for Tiny Embedded Systems. A conflict in embedded systems. Tiny embedded systems coded in C These are used in important and even safety critical systems

★ ★ ★ ★ ★

243 views • 18 slides

Safe TinyOS

Safe TinyOS. What is Safe TinyOS?. Memory safe execution for TinyOS 2.1 apps Compiler inserts safety checks These checks trap pointer / array errors before they can corrupt memory Behavior of memory-safe applications is unchanged Why use Safe TinyOS?

★ ★ ★ ★ ★

390 views • 16 slides

Tool Working Group Report

Tool Working Group Report. John Regehr. Tool WG Agenda. Technology transfer: Move software tools from research into practical use for TinyOS 2.x developers What kind of tools? Verification / validation Optimization Debugging Etc. Current Focus: Safe TinyOS. Language-based safety on motes

★ ★ ★ ★ ★

228 views • 10 slides

View Safe tinyos PowerPoint (PPT) presentations online in SlideServe. SlideServe has a very huge collection of Safe tinyos PowerPoint presentations. You can view or download Safe tinyos presentations for your school assignment or business presentation. Browse for the presentations on every topic that you want.