1163 search results - page 81 / 233 » Case Studies of Model Checking for Embedded System Designs |
165
click to vote
IJES
2006
15 years 4 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
140
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
125
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
176
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
We propose a technique which leverages configurable data caches to address the problem of cache interference in multitasking embedded systems. Data caches are often necessary to p...
136
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...