Resumen

Los componentes de hardware, como la memoria y las unidades aritméticas, son parte integral de cada sistema controlado por computadora, por ejemplo, los Vehículos Aéreos no Tripulados (UAVs). El requisito fundamental de estos componentes de hardware es que deben comportarse como se desea; de lo contrario, todo el sistema construido sobre ellos puede fallar. Para determinar si un componente se comporta adecuadamente o no, a menudo se especifica el comportamiento deseado del componente en el álgebra booleana. El álgebra booleana es una de las herramientas matemáticas más ampliamente utilizadas para analizar componentes de hardware representados a nivel de compuertas utilizando funciones booleanas. Para garantizar un diseño fiable de sistemas controlados por computadora, se utilizan comúnmente métodos de simulación y pruebas para detectar fallas; sin embargo, dichos métodos no garantizan la ausencia de fallas. En el diseño de sistemas críticos, como los UAVs, las técnicas basadas en simulación a menudo se complementan con herramientas y técnicas matemáticas para demostrar propiedades más

• Materias:Redes de radio Sistemas de información Comunicaciones inalámbricas Cifrado de bloques
• Subjects:Radio Networks Information systems Wireless communications Block ciphers
• Palabras claves:Componentes de hardware; álgebra booleana; Sistema controlado por computadora; Simulación; Herramientas matemáticas; Demostrador de teoremas
• Keywords:Hardware components; Boolean algebra; Computer-controlled system; Simulation; Mathematical tools; Theorem prover