Sciweavers

1022 search results - page 11 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
14 years 4 months ago
Verification of Embedded Memory Systems using Efficient Memory Modeling
Malay K. Ganai, Aarti Gupta, Pranav Ashar
DT
2006
180views more  DT 2006»
13 years 10 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...
IJES
2006
134views more  IJES 2006»
13 years 10 months ago
Applying model-driven development to distributed real-time and embedded avionics systems
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
Krishnakumar Balasubramanian, Arvind S. Krishna, E...