358 search results - page 53 / 72 » Model-Based Specification and Execution of Embedded Real-Tim... |
107
click to vote
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
125
click to vote
ASWEC
2009
IEEE
14 years 10 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
106
click to vote
RTCSA
2009
IEEE
15 years 7 months ago
2009
IEEE
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...
116
Voted
TCAD
2008
15 years 14 days ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
104
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...