SNPD
2008
14 years 2 months ago
2008
As processing power becomes cheaper and more available in cluster of computers, the need for parallel algorithm that can harness this computing potentials will increase. One applic...
SNPD
2008
14 years 2 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
SNPD
2008
14 years 2 months ago
2008
The selective application of technological and related procedural safeguards is an important responsibility of every organization in providing adequate security to its electronic ...
SNPD
2008
14 years 2 months ago
2008
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagram...
SNPD
2008
14 years 2 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
SNPD
2008
14 years 2 months ago
2008
SNPD
2008
14 years 2 months ago
2008
A complete diagnostic Bayesian network model cannot be achieved and the result of the constructed model cannot be guaranteed unless correct and reliable data are provided to the m...
SNPD
2008
14 years 2 months ago
2008
SNPD
2008
14 years 2 months ago
2008
In launching a product, requirement change is always risk to an embedded system designer. Including requirements change, limited resources (e.g. development time and cost) are als...
SNPD
2008
14 years 2 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...