208 search results - page 1 / 42 » Run-Time Checking of Dynamic Properties |
ENTCS
2006
13 years 4 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
CCGRID
2006
IEEE
13 years 11 months ago
2006
IEEE
— Over the years, the use of global grid environments have become widespread. In order to make applications robust against the dynamics of those grid environments it is essential...
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...