42 search results - page 6 / 9 » SVERTS - Specification and Validation of Real-Time and Embed... |
ECRTS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to ...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...
DSD
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...