3387 search results - page 392 / 678 » Model-Checking for Real-Time Systems |
162
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
Many computer scientists recognize the adverse relationship between Microsoft Windows, a general purpose operating system, which by design does not support Real Time, a specific ...
189
click to vote
QEST
2009
IEEE
16 years 2 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
195
click to vote
FAC
2008
15 years 7 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
220
Voted
APCCM
2009
15 years 8 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
193
click to vote
JAIR
2008
15 years 7 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...