808 search results - page 67 / 162 » Modeling and Analysis of Real-Time and Embedded Systems |
COMPUTER
2000
14 years 9 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
CSREAESA
2003
14 years 11 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 ...
101
click to vote
ICCD
2002
IEEE
15 years 6 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...