447 search results - page 1 / 90 » Embedded Software Analysis with MOTOR |
SFM
2004
Springer
13 years 10 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
CSSE
2008
IEEE
13 years 11 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
SEUS
2009
IEEE
13 years 11 months ago
2009
IEEE
ICCAD
1994
IEEE
13 years 9 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
DATE
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper explores the role of data analysis methods to support system-level designers in characterising the performance of embedded applications. In particular, we address the p...