Sistemas reactivos

Sistemas reactivos

Los sistemas reactivos, a diferencia de los puramente transformacionales, mantienen una continua interacción con su entorno, respondiendo ante los estímulos externos en función de su estado interno. Esto causa que su comportamiento sea complejo de analizar y muy sujeto a errores. Muchos de estos errores pueden causar problemas de seguridad, por lo que a menudo los sistemas reactivos son también sistemas críticos.

Entre los formalismos utilizados para especificación de sistemas en tiempo real y sistemas reactivos destacan los métodos estructurados. Son métodos operacionales que tienen amplia difusión en la industria por ser gráficos, fáciles de aprender, de utilizar y de revisar. Sin embargo, al no ser métodos formales, no existe, en general la posibilidad de analizar propiedades tan importantes como pueden ser las de seguridad.

Véase también:


Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Sistemas microelectromecánicos — Un ácaro cerca de un grupo de engranajes producidos utilizando MEMS. Cortesía de los Laboratorios Nacionales Sandia (Sandia National Laboratories), tecnologías SUMMiTTM, www.mems.sandia.gov. Sistemas Microelectromecánicos (Microelectromechanical… …   Wikipedia Español

  • Sistemas de monitorización y control — Los sistemas de monitorización y control son sistemas capaces de obtener información del entorno donde se desplegan para su posterior análisis. En base de este análisis, realizan las acciones pertinentes. Para obtener la información de su entorno …   Wikipedia Español

  • Sistema de detección de intrusos — Un sistema de detección de intrusos (o IDS de sus siglas en inglés Intrusion Detection System) es un programa usado para detectar accesos no autorizados a un computador o a una red. Estos accesos pueden ser ataques de habilidosos hackers, o de… …   Wikipedia Español

  • Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… …   Wikipedia Español

  • Division de Ciencias Básicas e Ingeniería Azcapotzalco — Saltar a navegación, búsqueda La División de ciencias Básicas e Ingeniería Azcapotzalco o DCBI es una de las tres divisiones de la Universidad Autónoma Metropolitana Unidad Azcapotzalco. La integran 5 departamentos: Ciencias Básicas, Electrónica …   Wikipedia Español

  • Interconductismo — El Interconductismo, también llamado Conductismo de Campo , fue propuesto por el filósofo y psicólogo estadounidense J. R. Kantor (1888 1984). La psicología interconductual y el conductismo radical skinneriano comparten varios supuestos, entre… …   Wikipedia Español

  • Número de Damköhler — Los Números de Damköhler (Da) son números adimensionales utilizados en ingeniería química para relacionar la escala temporal de una reacción química con otros fenómenos que ocurran en el sistema. Se llaman así en honor al químico alemán Gerhard… …   Wikipedia Español

  • Equilibrio químico — Saltar a navegación, búsqueda En un proceso químico, el equilibrio químico es el estado en el que las actividades químicas o las concentraciones de los reactivos y los productos no tienen ningún cambio neto en el tiempo. Normalmente, este sería… …   Wikipedia Español

  • Pila de combustible — Saltar a navegación, búsqueda Pila de hidrógeno. La celda en sí es la estructura cúbica del centro de la imagen. Una pila de combustible, también llamada célula o celda de combustible es un dispositivo electroquímico de conversión de energía… …   Wikipedia Español

  • Electricidad — Este artículo o sección puede ser demasiado extenso(a). Algunos navegadores pueden tener dificultades al mostrar este artículo. Por favor, considera separar cada sección por artículos independientes, y luego resumir las secciones presentes en… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”