322 search results - page 6 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
142
click to vote
CIMCA
2006
IEEE
15 years 12 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
188
click to vote
ADAEUROPE
2007
Springer
15 years 12 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
178
Voted
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
165
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
165
click to vote
ICST
2009
IEEE
16 years 13 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...