1163 search results - page 14 / 233 » Case Studies of Model Checking for Embedded System Designs |
155
click to vote
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
121
click to vote
ENTCS
2006
15 years 1 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
126
Voted
CSREAESA
2003
15 years 3 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
89
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
141
click to vote
DSD
2007
IEEE
15 years 8 months ago
2007
IEEE
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...