1739 search results - page 148 / 348 » Battery Model for Embedded Systems |
RTCSA
2006
IEEE
15 years 4 months ago
2006
IEEE
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
EUROMICRO
2006
IEEE
15 years 1 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
ATAL
2008
Springer
15 years 2 days ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...