1005 search results - page 98 / 201 » Agile Methods for Embedded Systems |
108
Voted
SAMOS
2007
Springer
15 years 8 months 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...
126
Voted
DAGSTUHL
2004
15 years 4 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...
INFSOF
2006
15 years 2 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...
125
Voted
RTCSA
2006
IEEE
15 years 8 months 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...
106
Voted
HASE
2005
IEEE
15 years 8 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...