1005 search results - page 98 / 201 » Agile Methods for Embedded Systems |
157
click to vote
SAMOS
2007
Springer
16 years 11 days ago
2007
Springer
As multi-processor system-on-chip (MPSoC) has become an effective solution to ever-increasing design complexity of modern embedded systems, fast and accurate HW/SW cosimulation of...
170
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
133
click to vote
INFSOF
2006
15 years 6 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
165
click to vote
RTCSA
2006
IEEE
16 years 8 days ago
2006
IEEE
This article introduces the concept of monotonic transactions. A monotonic transaction is a particular case of transactions for which the load arrival pattern is (or can be by rot...
148
click to vote
HASE
2005
IEEE
15 years 12 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...