1 / 12

Entorno cruzado ORK para PC’s

Entorno cruzado ORK para PC’s. Sistemas Empotrados Departamento de Informática Aplicada. Índice. Resumen histórico ADA-95 Introducción a ORK Arquitectura de ORK GNAT/GCC sobre ORK Instalación Utilización Bibliografía. Resumen histórico ADA-95 [1].

michi
Download Presentation

Entorno cruzado ORK para PC’s

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Entorno cruzado ORKpara PC’s Sistemas Empotrados Departamento de Informática Aplicada

  2. Índice • Resumen histórico ADA-95 • Introducción a ORK • Arquitectura de ORK • GNAT/GCC sobre ORK • Instalación • Utilización • Bibliografía

  3. Resumen histórico ADA-95[1] • Sistema empotrado es un sistema informático que forma parte de otro sistema más amplio. • 1974. DoD (EEUU) detecta un gasto excesivo en software de sistemas empotrados. • 1983. Estándar ANSI de ADA-83 (RM83). • 1987. Estándar ISO de ADA-83. • 1988. Arranca el proyecto ADA-9X. • 1995. Estándar ISO ADA-95. Se define el núcleo del lenguaje junto con un conjunto de anexos de construcción opcional (RM95).

  4. Introducción a ORK[2] • Open Ravenscar Real-Time Kernel (ORK) • Núcleo de tiempo real. • Pequeño. • Altas prestaciones. • Soporta un conjunto restringido de tareas de ADA-95. • Sistemas de alta fiabilidad • Sistemas verificables • Sistemas que puedan someterse a un proceso de certificación

  5. Introducción a ORK[2] • Ada-95 dispone de un mecanismo estándar para forzar la utilización exclusiva de un subconjunto del lenguaje (pragma Restrictions). • En los sistemas de alta integridad generalmente no se considera seguro utilizar tareas. • Avances recientes en el análisis del tiempo de respuesta para planificadores expulsores con prioridades fijas permiten un uso limitado de tareas. • Las restricciones planteadas en el Perfil de Ravenscar permite soportar tareas por un núcleo pequeño y fiable en lugar de utilizar un sistema operativo completo.

  6. Arquitectura de ORK[2]

  7. GNAT/GCC sobre ORK[2]

  8. Instalación[2] • Pasar al directorio /usr/local • tar –zxvf openravenscar-beta-0.1-pc-linux-gnu-bin.tar.gz • Introducir en la variable PATH /usr/local/openravenscar-i386/bin

  9. Utilización[2] • Poner el fichero gnat.adc en el directorio de trabajo (contiene los pragmas). • Se puede compilar con i386-ork-gnatmake nombre de programa –largs –k -specs /usr/local/openravenscar-i386/i386-or-ef/lib/ork-specs • Para ejecutar es necesario preparar un disco de arranque

  10. Utilización[2] • Preparación de un disco de arranque con grub • Descomprimir grub-0.91-i386-pc.tar.gz (tar –zxvf ….) • Ejecutar el comando cd grub-0.91-i386-pc/boot/grub • En dicho directorio se encuentran los ficheros stage1 y stage2 configurados para i386. Si es necesario cambiar la configuración hay que recompilar grub. • Deben prepararse dos disquetes formateados con alguno de los siguientes sistemas: DOS FAT, Linux ext2fs o BSD FFS • Es necesario que preparemos un primer disquete (grub raw) con los siguientes comandos:dd if=stage1 of=/dev/fd0 bs=512 count=1dd if=stage2 of=/dev/fd0 bs=512 seek=1 • Debemos preparar un segundo (grub fs) copiando en él los ficheros stage1 y stage2. • Debemos arrancar el ordenador con el disquete grub raw • Cuando arranque el ordenador debemos cambiar el disquete e introducir grub fs para convertirlo en fichero de arranque con el siguiente comando:install=(fd0)/stage1 (fd0) (fd0)/stage2 0x8000 (fd0)/grubmenu • Podemos borrar ahora stage1 del disquete grub fs • Debemos copiar el fichero grubmenu, en grub fs, con los comandos para arrancar nuestro programa. También debemos copiar el fichero que contenga nuestro programa

  11. Utilización[2] • Ejemplo de grubmenutimeout 0hiddenmenutitle= Hola mundokernel= (fd0)/hola

  12. Bibliografía • Barnes, J. (1997): Programming in Ada 95. Addison-Wesley. • Puente, J.; et. al (2001): Open Ravenscar Real-Time Kernel. Operation Manual. Version beta-0.1. For OpenRavenscar-i386-beta-01.DIT (ETSI-UPM).

More Related