Sciweavers

1739 search results - page 75 / 348
» Battery Model for Embedded Systems
Sort
View
ASWSD
2006
Springer
15 years 1 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
MOMPES
2008
IEEE
15 years 4 months ago
Separation of Distributed Real-Time Embedded Concerns with Theme/UML
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
Cormac Driver, Vinny Cahill, Siobhán Clarke
JUCS
2010
98views more  JUCS 2010»
14 years 8 months ago
Embedding Hygiene-Compatible Macros in an Unhygienic Macro System
: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also ...
Pascal Costanza, Theo D'Hondt
ASPDAC
2008
ACM
164views Hardware» more  ASPDAC 2008»
14 years 12 months ago
The Shining embedded system design methodology based on self dynamic reconfigurable architectures
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
Carlo Curino, Luca Fossati, Vincenzo Rana, Frances...
IPPS
2000
IEEE
15 years 2 months ago
A Framework for Embedded Real-Time System Design
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee