Programación de Sistemas de Tiempo Real - Web de ARCOS
Programación de Sistemas de Tiempo Real - Web de ARCOS
Programación de Sistemas de Tiempo Real - Web de ARCOS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Características <strong>de</strong> Java<br />
Robusto<br />
– Comprobación <strong>de</strong> referencias.<br />
– Comprobación <strong>de</strong> límites <strong>de</strong> los vectores.<br />
– Excepciones.<br />
– Verificación <strong>de</strong> byte-co<strong>de</strong>s:<br />
• No <strong>de</strong>sbordamientos <strong>de</strong> pila<br />
• Parámetros conocidos y correctos<br />
• No conversiones ilegales <strong>de</strong> tipos<br />
• Accesos legales a campos/métodos <strong>de</strong> objetos<br />
• No intentos <strong>de</strong> violar normas acceso/seguridad<br />
Características <strong>de</strong> Java<br />
Seguro<br />
– Cargador <strong>de</strong> clases<br />
• Separa el espacio <strong>de</strong> nombres local <strong>de</strong> los recursos<br />
proce<strong>de</strong>ntes <strong>de</strong> la red<br />
• No caballos <strong>de</strong> Troya. Las clases se buscan primero<br />
entre las locales (luego en exteriores)<br />
– Apertura <strong>de</strong> ficheros y arranque <strong>de</strong> otras<br />
aplicaciones en máquina remota, no en local<br />
– Permite <strong>de</strong>sensamblado <strong>de</strong> byte-co<strong>de</strong>s.<br />
Solución programadores (código nativo)<br />
4