1163 search results - page 35 / 233 » Case Studies of Model Checking for Embedded System Designs |
129
click to vote
ECRTS
2006
IEEE
15 years 8 months ago
2006
IEEE
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...
131
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Wireless sensor network (WSN) applications have been studied extensively in recent years. Such applications involve resource-limited embedded sensor nodes that have small size and...
134
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
105
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes an agile development methodology which combines agile principles with organizational patterns and adapts them to build embedded real-time systems focusing on ...
118
click to vote
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
We describe results of a case study whose intent was to determine whether new techniques for hardware/software partitioning of an application’s binary are competitive with parti...