1980 search results - page 267 / 396 » Compositional Model Checking of Real Time Systems |
148
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
107
click to vote
IJVR
2008
15 years 3 months ago
2008
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...
134
click to vote
HAPTICS
2010
IEEE
15 years 3 months ago
2010
IEEE
Limitations of state-of-the-art teleoperation systems can be compensated by using shared-control teleoperation architectures that provide haptic assistance to the human operator. T...
118
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
106
click to vote
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...