1163 search results - page 11 / 233 » Case Studies of Model Checking for Embedded System Designs |
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
CODES
2004
IEEE
15 years 3 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...
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
100
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...