28.11.2014 Views

Spécification, vérification et optimisation des systèmes temps réel ...

Spécification, vérification et optimisation des systèmes temps réel ...

Spécification, vérification et optimisation des systèmes temps réel ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Synchronized Distributed Executives<br />

■ Sans interblocage <strong>et</strong> à faible surcoût<br />

■ Macro-code processeur-indépendant (m4)<br />

– extensible, facilement portable (C ... asm)<br />

■ Noyaux d’exécutif (macros) pour :<br />

– microcontrôleurs : MC68332, i80C196<br />

– DSP : Sharc, TMS320C40<br />

– microprocesseurs : 386, Transputer, C/Unix<br />

– médias : links, CAN, RS232, TCP/IP

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!