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 ...
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