PROYECTO

Desarrollo de un modelo Sistemático en

lenguaje formal, para modelado de sistemas
operativos en tiempo real para
microcontroladores

Roberto Carlos Guevara Calume

rcgcalume@une.net.co

Octubre de 2009
CONTENIDO
Í

1. FICHA TÉCNICA DEL PROYECTO

2. ANTECEDENTES
3. JUSTIFICACIÓN
4. PLANTEAMIENTO DEL PROBLEMA
4.1 DESCRIPCIÓN DEL PROBLEMA
4.2 SÍNTESIS DEL PROBLEMA
5. HIPÓTESIS
6. OBJETIVOS
6.1 OBJETIVO GENERAL
6.2 OBJETIVOS ESPECÍFICOS
7.METODOLOGIA
8. ACTIVIDADES
9. ALCANCES
10 CRONOGRAMA DE ACTIVIDADES
11. IMPACTOS ESPERADOS A PARTIR DEL USO DE LOS RESULTADOS
12.REFERENCIAS BIBLIOGRÁFICAS

Octubre de 2009
ANTECEDENTES
Título de ingeniero
 Driver y software de captura tarjeta de adquisición DASCOM
Windows 95/98, especificaciones “logo de Windows”, para 8 y
16 bits.

Título de especialista en redes corporativas e integración de

tecnologías,
Implementacion red se servicios como DNS, DHCP, HTTP, otros

Ambiente virtual y heterogéneo Windows y Linux

Implementacion de ataques
suplantación de identidad
negación de servicios entre otros.

Grupos y Semilleros Investigación

Tecnologico de Antioquia, grupo estudio sobre delitos informáticos Facultades
•
de criminalística y sistemas

Octubre de 2009
ANTECEDENTES
•ITM, grupo de sistemas móviles e inalámbricos, 1.5 años
•Estudio de los dispositivos móviles como celulares, Ipaq,
IPhone, Palms y otros dispositivos de
• Estudio sobre implementacion sistemas operativos como
Symbiam, PamlOS, WindowsCE y Windows Mobile.
•Creación del espacio TeleParaTodos en este espacio
escribo sobre tema relacionados.
Publicaciones
libro Sentencias básicas usadas en la programación de
computadores impreso en el 2008, con ISBN 978-958-
8351-75
libro para ser lanzado gratis en formato digital a través
del fondo editorial del ITM, que trata sobre el Hardware
del PC y los sistemas operativos,.

Octubre de 2009
JUSTIFICACIÓN
Ingeniería de software: formalismo y pautas claras para el diseño, construcción
y desarrollo de proyectos asociados al desarrollo de software

Aplica métodos y técnicas para resolver problemas, la informática



•Mejorar la calidad de los productos de software

•Aumenta la productividad y trabajo de los ingenieros del software.
•Facilitar el control del proceso de desarrollo de software.
•Suministrar a los desarrolladores las bases para construir software de
alta calidad en una forma eficiente.
.
Los desarrolladores de software para microcontroladores de las aéreas
como Electrónica y Telecomunicaciones, no tienen los elementos y el
formalismo requerido para la elaboración de procesos propios de un
sistema operativo.

Octubre de 2009
PLANTEAMIENTO DEL PROBLEMA
Sistemas
Operativos
Diseñados Son

Herramientas
Lenguaje Formal
permiten
Se Lenguajes de
Interface practica implementan programación
ayuda

procedimientos Programador Manipula

Plataforma Plataforma
Software hardware
Buscan
Independencia
Sencillez Mejores programador
practicas

Octubre de 2009
DESCRIPCIÓN DEL PROBLEMA

Octubre de 2009
DESCRIPCIÓN DEL PROBLEMA
Los microcontroladores cada día poseen mejores prestaciones, estas
deben redundar también en la facilidad de programación

Una de las funciones de un sistema operativo

ocultar la complejidad del hardware
interfaz amigable
Actuardo como mediador entre el programador y el hardware,

existen otras consideraciones.

Eficiencia: El programador y el usuario en general no desea

enfrentarse a la problemática del hardware sino que desea una
abstracción sencilla y fácil de entender
El sistema operativo hace que el usuario vea una maquina mas
sencilla de programar y utilizar

Octubre de 2009
DESCRIPCIÓN DEL PROBLEMA

“los sistemas deben estar constituidos por subsistemas muy delimitados”, con
esto se garantiza que se pueden aislar efectivamente problemas de
implementación, además de facilitar su organización interna.

Se encontró que en el diseño existen unos subsistemas aplicables a

básicamente cualquier tipo de sistema operativo incluso a los enfocados a
microcontroladores.

Octubre de 2009
DESCRIPCIÓN DEL PROBLEMA
La programación de Microcontroladores Generalmente No tiene en
cuenta:

“Aislar los procesos, de manera que un proceso no interfiera en los datos o

en la memoria de otro.

Ubicar y gestionar automáticamente a los procesos de una manera

transparente hacia los programadores,

el sistema asigna memoria a los procesos según las limitaciones que tenga
y teniendo en cuenta las necesidades de los distintos trabajos.

Soporte para programación modular

Controlar el acceso y proteger la memoria,

Octubre de 2009
DESCRIPCIÓN DEL PROBLEMA

Octubre de 2009
SÍNTESIS DEL PROBLEMA

En la programación de microcontroladores
para sistemas de control, no se usan
parámetros de diseño adecuados y no se
tiene en cuenta la funcionalidad un
sistema operativo que tenga el control
total del hardware.

Octubre de 2009
HIPÓTESIS

La caracterización y modelado de sistemas

operativos en un lenguaje formal, permite
eficiencia en el desarrollo de software para
microcontroladores

Octubre de 2009
OBJETIVO GENERAL

Proponer una metodología de construcción de

sistemas operativos para microcontroladores
perfilado a sistemas de control inteligente,
bajo parámetros de simplicidad de uso en
tiempo real.

Octubre de 2009
 OBJETIVOS ESPECÍFICOS
•Realizar un análisis comparativo sobre las diferencias de los modelos de construcción de
sistemas operativos proponiendo forma de evaluación de estos.

•Realizar un análisis comparativo de los modelos de lenguajes formales más usados

proponiendo forma de evaluación de estos.

•Caracterizar los procesos de diseño de sistemas operativos entiempo real Investigar

sobre el estado del arte en construcción de sistemas operativos en tiempo real

•Proponer un modelo general que puede ser fraccionado en subsistemas independientes

que se Interrelacionen y que cumplan con los requerimientos en tiempo real

•definir el lenguaje y los términos de comunicación entre los procesos y el sistema

operativo con el fin de validar sobre el modelo propuesto aplicaciones en tiempo real

Octubre de 2009
 ACTIVIDADES
•Consultar sobre estado del arte en construcción de sistemas
operativos (tiempo real, control, uso comercial).

•Seleccionar y analizar las mejores prácticas usadas en modelos de

construcción de sistemas operativos aplicables a diferentes tipos de
hardware y aplicarlas a los microcontroladores.

•Dividir el modelo seleccionado en subsistemas (memoria,

periféricos, lectura de puertos, y todos los que sean requeridos luego
de un análisis objetivo.

•Caracterizar los requerimientos generados que implican el control y

el tiempo real.

•Analizar cada uno de los subsistemas del hardware de los

microcontroladores y diseñar un subsistema que lo gobierne en el
sistema operativo

Octubre de 2009
ACTIVIDADES
•perfilar cada uno de los subsistemas y su aplicación de acuerdo a las
necesidades especificas de tiempo real, control y facilidad.

•Plasmar los resultados en un lenguaje formal, reconocido a nivel

mundial, prefiriendo un lenguaje formal con alto contenido grafico y
esquemático

Octubre de 2009
ALCANCES
•El proyecto especificará en un lenguaje formal reconocido, la escogencia de este
lenguaje quedara a discreción de quien elabora el trabajo de grado, estos procesos
serán sustentados y explicados, sin tener en cuenta consideraciones de terceros

•El trabajo se limitará a la entrega de un Modelo que permita el desarrollo de

sistemas operativos para microprocesadores, a terceros. Es decir no se
compromete con la implementación del modelo planteado en un lenguaje de
programación.

•La orientación proyecto a los requerimientos de tiempo real, serán solo para los
procedimientos que se considere debe ser aplicados, y no se compromete a hacer
o incluir este análisis para todos y cada uno de los subsistemas planteados.

•Durante el desarrollo del proyecto se consideraran, luego de un análisis, los

procesos clave que intervienen y gobiernan el sistema operativos desarrollados
para microcontroladores, estos procesos serán sustentados y explicados, sin tener
en cuenta consideraciones de terceros

Octubre de 2009
CRONOGRAMA DE ACTIVIDADES
Año 2009 2009 2009 2009 2009 2009 2009 2010 2010 2010 2010 2010
Actividades Mes oct oct Nov Nov Dic Dic Ene Ena Feb Feb Mar Mar
presentación de propuesta
correcciones
documentación sistemas
operativos
documentación lenguajes
formales
documentación real time
documentación control
inteligente
primer bosquejo del sistema
correcciones
prototipo del modelo
correcciones
Modelo

Octubre de 2009
IMPACTOS ESPERADOS
Diseño e implementación Completa de un sistema operativo orientado a
microcontroladores, ITM

Impulsar y disminuir el tiempo de implementación para sistemas

producción que requieran de control y monitoreo

Sobre un Diseño funcional, implementar rutinas de manipulación de

hardware

Reducir problemas de programación relacionadas con el mal diseño de

funciones propias de un sitema operativo

Octubre de 2009
 REFERENCIAS BIBLIOGRÁFICAS

[1]Aidee Grissel Villegas Martínez Universidad Autónoma del Estado de México,

Irene Aguilar Juárez Centro Universitario UAEM Texcoco
[2] Andrew S Tenenbaum , Sistemas operativos Modernos, segunda edición
[3] Andrew S Tenenbaum , Organización de Computadoras - Un Enfoque
Estructurado - Tercera Edición. Prentice Hall Hispanoamericana S. A. 2003,
[4] H. M. Deitel. Introducción a los Sistemas Operativos. Addison-Wesley
Iberoamericana, México, 1987.
[5]J. Boria. Kapelusz, Operative Systems Bs.As.-Argentina, 2004

Octubre de 2009