2193 search results - page 201 / 439 » A System for Performance Evaluation of Embedded Software |
161
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
191
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
Strict control over the scheduling and execution of processor resources is essential for many fixed-priority real-time applications. To facilitate this common requirement, the Re...
194
click to vote
SAFECOMP
2009
Springer
16 years 1 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
174
click to vote
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
162
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...