1264 search results - page 172 / 253 » Designing Safe, Reliable Systems using Scade |
127
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
136
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Translational research requires taking basic science observations and developing them into clinically useful tests and therapeutics. We have developed a process to dev...
139
click to vote
TR
2010
14 years 10 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
141
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
149
click to vote
EATIS
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...