1456 search results - page 15 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
ARCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Evolutionary hardware design reveals the potential to provide autonomous systems with self-adaptation properties. We first outline an architectural concept for an intrins...
122
click to vote
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
102
click to vote
DATE
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...