Estimado colega lo invitamos a participar en nuestro próximo
WEBINAR (demostración en vivo vía internet)
este
Martes 23 de Febrero de 2010
Título: "Eliminando
Errores Críticos de Software en Código Embebido"
 |
|
Horario: 8:00
a.m.
y 1:00 p.m (Hora de México D.F.) Incrementar el contenido y la complejidad en el Software en los dispositivos embebidos actuales amplifica el riesgo de fallas y complica el proceso conservación de la seguridad y fiabilidad en la alta confidencialidad. Los métodos de pruebas tradicionales de Software están limitados en vista y basados en análisis estáticos que producen una alta tasa de falsos positivos. Los métodos formales basados en interpretación abstracta fácilmente se transforman en la solución deseada por que da la ausencia de un conjunto definido de errores de ejecución en el código: El software y la calidad de los equipos de ingeniería mejoran sobretodo la fiabilidad del software por medio de la verificación del código que este libre de errores de ejecución como: |
|---|
|
||||
|
||||
Si por alguna razón recibió este mensaje sin haberlo solicitado y desea ser eliminado
de nuestra lista para dejar de recibir esta información,
de clic aqui
© 2009 The MathWorks, Inc. MATLAB and Simulink are registered trademarks of The MathWorks,
Inc. See www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand
names may be trademarks or registered trademarks of their respective holders.
