Sciweavers

77 search results - page 3 / 16
» A Verification Approach for GALS Integration of Synchronous ...
Sort
View
109
Voted
ENTCS
2010
144views more  ENTCS 2010»
15 years 1 months ago
Integrating Component Tests to System Tests
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
Bernhard Schätz, Christian Pfaller
111
Voted
FMICS
2010
Springer
15 years 2 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
107
Voted
ECAI
2008
Springer
15 years 2 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
ISSS
2002
IEEE
120views Hardware» more  ISSS 2002»
15 years 6 months ago
Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
Soonhoi Ha, Sungchan Kim, Chan-Eun Rhee, Hyunguk J...
114
Voted
ARC
2010
Springer
183views Hardware» more  ARC 2010»
15 years 1 months ago
Integrated Design Environment for Reconfigurable HPC
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
Lilian Janin, Shoujie Li, Doug Edwards