Computación integrada
El término computación a bordo se utiliza para designar los aspectos de software que se encuentran dentro del equipo y que no están destinados exclusivamente a la computación . El conjunto de software y hardware integrado en un equipo constituye un sistema a bordo .
Hoy en día, la informática de a bordo está presente en todas partes: electrodomésticos , teléfonos móviles , automóviles , escáneres o lectores de códigos de barras desde cajas hasta tiendas, televisores, etc. El campo del transporte, incluidos los vehículos , pero también los satélites y, en general , el aeroespacial , puede considerarse el campo privilegiado de la informática de a bordo.
Caracteristicas
La informática integrada tiene requisitos diferentes a la informática personal ( microcomputadoras ). Estos son principalmente:
- La criticidad : los sistemas integrados son a menudo críticos y los sistemas críticos casi siempre están integrados. De hecho, como tal sistema actúa en un entorno físico, las acciones que realiza son irremediables. El grado de criticidad depende de las consecuencias de las desviaciones del comportamiento nominal, consecuencias que pueden afectar la seguridad de las personas y los bienes, la seguridad, el desempeño de las misiones, la rentabilidad económica;
- Reactividad: estos sistemas deben interactuar con su entorno a la velocidad que éste les impone. Por lo tanto, esto induce requisitos de tiempo de respuesta. Por esta razón, la informática de a bordo se basa a menudo en un sistema de tiempo real ;
- Autonomía: Los sistemas empotrados generalmente deben ser autónomos, es decir, cumplir su misión durante largos períodos sin intervención humana. Esta autonomía es necesaria cuando la intervención humana es imposible, pero también cuando la reacción humana es demasiado lenta o insuficientemente confiable;
- Robustez, seguridad y fiabilidad : El entorno suele ser hostil, por motivos físicos (golpes, variaciones de temperatura, impacto de iones pesados en los sistemas espaciales, etc.) o humanos (malevolencia). Por ello, la seguridad (en el sentido de resistencia a actos maliciosos) y la fiabilidad (en el sentido de continuidad del servicio) suelen estar vinculadas al problema de los sistemas de a bordo;
- Y finalmente restricciones no funcionales, como ocupación de memoria, consumo de energía, etc.
Lenguajes de programación
Varios lenguajes de programación están destinados a ser dedicados a este uso, entre los que se encuentra Ada . También se utilizan lenguajes de tipo máquina como C y, en menor medida, C ++ . El lenguaje ensamblador sigue siendo una opción adecuada para sistemas sujetos a graves limitaciones de tiempo real.
Para la programación de sistemas embebidos críticos, se han propuesto lenguajes construidos de forma diferente:
- Lenguajes basados en semántica formal : sincrónico Esterel , Lustre , Signal , Lucid Synchronous ... Estos lenguajes se utilizan actualmente con éxito en la industria de la aviónica . Por ejemplo, EADS utiliza el taller de software SCADE, basado en el lenguaje Lustre , para programar el software de control / comando de vuelo a bordo para Airbus ( A340 / 600 y A380 );
- Lenguajes formales basados en métodos : método B , Coq , etc. Estos lenguajes se utilizan actualmente con éxito en la industria del transporte. Desde 1995, se han desarrollado muchos pilotos automáticos de metro utilizando el método B , como la línea 14 del metro de París ( METEOR ) producida en 1998.
Actualmente asistimos al surgimiento de sistemas embebidos basados en tecnologías de software y hardware libres. Los procesadores libres son del tipo LEON o Open Risc . Para el software, encontramos a Linux como una opción de referencia. La arquitectura MIPS se usa ampliamente.
La transferencia de archivos binarios se suele realizar en formatos 'texto' en formato estandarizado como S-Record de Motorola o formato HEX (Intel) de Intel .
Lenguajes de modelado
Existen varios lenguajes de especificación y diseño para la informática integrada:
Notas y referencias
-
Página de idioma Lustre en el laboratorio Verimag / Synchrone .
Artículos relacionados