110
click to vote
HASE
15 years 6 months ago
2007 IEEE 
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
HASE
15 years 4 months ago
2007 IEEE 
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
104
click to vote
HASE
15 years 6 months ago
2007 IEEE 
—Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This a...
HASE
15 years 6 months ago
2007 IEEE 
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
HASE
15 years 6 months ago
2007 IEEE 
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
|
Control Systems