Deterministic high-speed simulation of complex systems including fault-injection

M Sand, S Potyra, V Sieh - 2009 IEEE/IFIP International …, 2009 - ieeexplore.ieee.org
FAUmachine is a virtual machine for the highly detailed simulation of standard PC hardware
together with an environment. FAUmachine comes with fault injection capabilities and an …

[HTML][HTML] Modélisation des applications distribuées à architecture dynamique: Conception et Validation

MH Kacem - 2008 - hal.science
Nos travaux de recherche consistent à apporter des solutions de modélisation
conformément à l'approche MDA. Nos recherches consistent à fournir des solutions …

An efficient fault tolerance protocol with backup foreign agents in a hierarchical local registration mobile IP

CS Hong, KW Yim, DY Lee, DS Yun - ETRI journal, 2002 - Wiley Online Library
A Mobile IP allows IP hosts to move between different networks without changing their IP
addresses. Mobile IP systems supporting local registration were introduced to reduce the …

[PDF][PDF] Seamless high speed simulation of VHDL components in the context of comprehensive computing systems using the virtual machine faumachine

S Potyra, M Sand, V Sieh, D Fey - Proceedings of the 2010 Winter …, 2010 - Citeseer
Testing the interaction between hard-and software is only possible once prototype
implementations of the hardware exist. HDL simulations of hardware models can help to find …

[引用][C] Modélisation des applications distribuées à architecture dynamique: Conception et Validation

M Hadj Kacem - 2008 - Université de Toulouse, Université …

[引用][C] OF COMPREHENSIVE COMPUTING SYSTEMS USING THE VIRTUAL MACHINE FAUMACHINE

S Potyra, V Sieh, D Fey

[引用][C] Modélisation des applications distribuéesa architecture dynamique: Conception et Validation JURY

MAHK Professeura