527 search results - page 5 / 106 » Case Study: System Model of Crane and Embedded Control |
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
GI
2007
Springer
15 years 1 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
114
click to vote
ECRTS
2006
IEEE
15 years 3 months ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...
EPEW
2008
Springer
14 years 11 months ago
2008
Springer
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...