Search Sciweavers | Sciweavers

1663 search results - page 19 / 333

» Software Reuse and Safety

104

click to vote

SOSP
2009
ACM

177views Operating System» more SOSP 2009»

Surviving sensor network software faults

15 years 10 months ago

Download www.sigops.org

We describe Neutron, a version of the TinyOS operating system that efﬁciently recovers from memory safety bugs. Where existing schemes reboot an entire node on an error, Neutron...

Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva...

claim paper

Read More »

Voted

HASE
2007
IEEE

115views Control Systems» more HASE 2007»

Arguing safety with Problem Oriented Software Engineering

15 years 8 months ago

Download computing-reports.open.ac.uk

Jon G. Hall, Derek Mannering, Lucia Rapanotti

claim paper

Read More »

104

Voted

SRDS
1997
IEEE

99views Operating System» more SRDS 1997»

Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints

15 years 6 months ago

Download www.cc.gatech.edu

Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...

Beth A. Schroeder, Karsten Schwan, Sudhir Aggarwal

claim paper

Read More »

117

click to vote

EDCC
2010
Springer

207views Applied Computing» more EDCC 2010»

Towards verification-based development of in-vehicle safety critical software: a case study

15 years 5 months ago