1054 search results - page 4 / 211 » Models for automatic generation of safety-critical real-time... |
172
click to vote
ICPADS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
153
click to vote
HASE
2007
IEEE
15 years 10 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...
150
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
173
click to vote
PRDC
2005
IEEE
15 years 11 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
178
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...