399 search results - page 63 / 80 » Verification of System Level Model Transformations |
123
click to vote
ASWEC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
137
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
111
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
127
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
111
click to vote
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
A multiple description scalar quantization (MDSQ) based coding system can be regarded as a source coder (quantizer) followed by a channel coder, i.e. the combination of index and ...