Archivo de la etiqueta: sistemas embebidos

Lenguajes y herramientas de especificación y verificación de sistemas

Hoy hemos tenido la primera sesión de esta asignatura troncal del máster en computación especialidad sistemas embebidos: M15: Lenguajes y herramientas de especificación y verificación de sistemas ( Periodo: 19 Nov. A 19 de Dic. 2008 ) El profesor, Eugenio Villar Bonet, nos ha informado de que vamos a tener un entorno virtual de aprendizaje en el Aula Virtual de la Universidad de Cantabria donde vamos a encontrar todo el material del curso.

El período de la asignatura se distribuye en 45 horas presenciales y 80 horas de trabajo del alumno (no presencial) Las 45 horas presenciales se distribuyen en 30 horas de seminario teórico con ejercicios propuestos (a realizar dentro de las 80 horas, supongo) y 15 horas de laboratorio. Las horas de laboratorio las da Fernando Herrera. Las horas teóricas las da Eugenio Villar. El horario de las teóricas de lunes a viernes de 17 a 20 horas. Vamos a tener un profesor visitante, Axel Jantsch, que va a impartir una parte del temario, en concreto los modelos de computación. Su parte será impartida en una semana de Febrero (10-15 horas)

La evaluación de la asignatura sigue las directrices innovadoras de Bolonia. El 50% de la calificación se deriva de la resolución de los ejercicios propuestos. La calificación se realiza por el método de evaluación colectiva. Los ejercicios se plantean a todos los alumnos pero se asigna a uno, que debe resolverlo y defender su solución ante el resto de los compañeros y profesor. Tras la presentación se abrirá un periodo de discusión. Al final el profesor dará una calificación y los compañeros otra. La nota final será la media de la nota del profesor y la media de la nota del resto de los compañeros. Para evitar suspicacias y asegurar una calificación justa de los compañeros (que idealmente deben juzgar la solución con conocimiento de causa y comparando con la propia) se utilizará un sistema mediante el cual la nota que individualmente emita cada compañero se comparará con la emitida por el profesor y si la diferencia es mayor que una cierta cantidad, la nota del alumno se descartará y se le penalizará con unas décimas en su nota final.

El otro 50% de la nota provendrá de la evaluación de las prácticas de laboratorio.

Sigue leyendo Lenguajes y herramientas de especificación y verificación de sistemas

radio uned: plataforma de distribución de información contextual basada en tecnología inalámbrica

Hoy se ha radiado en Radio UNED, dentro de la Revista de Informática, una interesante mesa redonda en la que se ha hablado de un proyecto de investigación que se ha desarrollado por diversos grupos de investigación en la Universidad Rey Juan Carlos (URJC), en concreto el Departamento de Tecnología Electrónica en el que se ha desarrollado una plataforma de desarrollo de aplicaciones contextuales. Este tipo de aplicaciones funciona con información de contexto de los usuarios de la aplicación (ya los vimos en el curso de verano de la UIMP de este año)

Sigue leyendo radio uned: plataforma de distribución de información contextual basada en tecnología inalámbrica

máster en computación

Hoy he cumplido con una condición de mi jefe de proyecto a la que me comprometí cuando ingresé en mi puesto de trabajo. Me he matriculado en el máster en computación del programa oficial de posgrado en ciencias, tecnología y computación de la Universidad de Cantabria. El máster oficial de posgrado tiene 60 créditos (un año académico) con 20 créditos obligatorios de especialidad, 20 créditos optativos y 20 créditos de la tesis de máster.

Sigue leyendo máster en computación

los vehículos que ven a los peatones

Esta mañana me he encontrado al leer el periódico una noticia que seguramente habrá sorprendido a mucha gente pero que yo ya había conocido en algún curso de verano (no recuerdo exactamente cuál) Una universidad española ha presentado en el marco de los cursos de verano de la UIMP un prototipo de sistema de visión inteligente que permite a los vehículos estar pendientes de los peatones y evitar atropellos. Esto sin duda va a suponer un paso más en la seguridad vial, junto con lo que ya comenté hace uno días sobre la comunicación entre los vehículos.

Sigue leyendo los vehículos que ven a los peatones

openmoko: puesta en marcha

Hoy he leído casualmente una entrada de blog en donde se dan instrucciones precisas para instalar en Linux un entorno de desarrollo llamado openmoko, basado en un hardware virtualizado con un procesador ARM. Dado que estoy trabajando actualmente en el mundo de los sistemas embebidos y que la emulación es uno de los temas que me interesan me ha parecido una buena idea arremangarme y tratar de poner en marcha el sistema en mi vetusto Ubuntu Feisty. Sorprendentemente (o no) solamente he tardado veinte minutos …

Sigue leyendo openmoko: puesta en marcha