DEPARTAMENTO DE ENERGA Y MECNICA

CARRERA DE INGENIERA AUTOMOTRZ

INFORME DE LABORATORIO No. 1

ASIGNATURA: CDIGO: NRC: NIVEL: SEMANA CLASE: DURACIN:

PROGRAMACIN II COMP[15083] 1728 II I 6 HORAS
DEPARTAMENTO: CARRERA: REA DEL CONOCIMIENTO: TEMA:
ENERGA Y MECNICA INGENIERA PROGRAMACIN CONCEPTOS
AUTOMOTRZ GENERALES
DOCENTE: ALUMNOS: FECHA REALIZACIN: EJE DE FORMACIN:
ING. LUIS ALBERTO GUERRA DIAZ QUINGA 24-OCTUBRE-2016 PROFESIONAL
CRUZ MsC JEFFERSON ARMANDO FECHA DE ENTREGA:
-DURAN CAPA RUBN 26-OCTUBRE-2016
RADIO-
ENRIQUEZ YAR LUIS
ALEXANDER -
ESPINOZA MORALES
STALIN WLADIMIR

A. FUNDAMENTACIN:

ANALISIS DEL PROYECTO: Comprobacin de seguridad eficiente para los sistemas operativos
para automviles utilizando la generacin de entorno basado en la propiedad de restriccin de
corte.

B. DESCRIPCIN:
ste laboratorio est formado por un ejercicio:

1. Aplicacin de la materia adquirida en clases y ponerlas en prctica en un ejercicio para

resolver un problema.

C. OBJETIVO:

Comprobar la seguridad eficiente para los sistemas operativos de los automviles.

D. PROYECTO:

Utilizando la generacin de entorno basado en la propiedad de extensin de corte y comprobar

la seguridad de sistemas operativos

E. TAREAS A REALIZAR:

En grupo de trabajo traducir y analizar para una mayor comprensin, posteriormente realizar un
informe de laboratorio de sistemas de seguridad para automviles.

F. ANLISIS:

ANLISIS DE DATOS:

ANLISIS DE FUNCIONES:
G. DISEO:

DISEO LGICO:

DISEO FSICO:

H. IMPLEMENTACIN:

I. PRUEBAS:

J. Reporte

REQUERIMIENTOS ANLISIS DISEO IMPLEMENTACIN PRUEBAS TOTAL

FUNCIONALES

CALIFICACIN

K. RESULTADOS Y CONCLUSIONES:

L. ACTIVIDADES SEGN CRONOGRAMA:

PRIMERA ENTREGA: 26 de OCTUBRE del 2016

Conceptos Generales

M. REFERENCIAS BIBLIOGRFICAS:

English-Spanish Interpreter Professional 4.4 : Traductor INGLES-ESPAOL