289 search results - page 11 / 58 » Verification Patterns for Rapid Embedded System Verification |
RTCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
IASTEDSEA
2004
13 years 8 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...