Prevención de errores humanos para software autónomo en el borde utilizando C++ moderno minimalista
Autores: Fukano, Ryo; Ishikawa, Masato
Idioma: Inglés
Editor: MDPI
Año: 2019
Acceso abierto
Artículo científico
2019
Prevención de errores humanos para software autónomo en el borde utilizando C++ moderno minimalista
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería de Sistemas
Palabras clave
Software
Validez
Edge
Filtro de tiempo muestreado
Dominio del tiempo
C++
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 39
Citaciones: Sin citaciones
En ciencia e ingeniería utilizando software integrado en el borde, es necesario demostrar la validez de los resultados; por lo tanto, el software responsable de operar un sistema en el borde debe garantizar su propia validez. El objetivo de este estudio es garantizar la validez del filtro de tiempo muestreado y el dominio del tiempo como elementos fundamentales del software integrado en el borde autónomo. Esto requiere que la ley de actualización de un filtro de tiempo muestreado sea invocada una vez por cada ciclo de control, lo cual garantizamos utilizando el lenguaje específico de dominio propuesto implementado por un patrón de diseño de metaprogramación en C++ moderno (C++11 y posterior). Los elementos del dominio del tiempo fueron extraídos del software, después de lo cual pudieron ser inyectados en el software extraído independientemente del entorno de ejecución del software. El enfoque propuesto demostró ser superior a los enfoques convencionales que solo confían en la atención de los programadores para detectar defectos de diseño. Esto muestra que es posible garantizar la validez del software en el borde utilizando solo un lenguaje de programación integrado general como C++ moderno sin herramientas auxiliares de verificación y validación.
Descripción
En ciencia e ingeniería utilizando software integrado en el borde, es necesario demostrar la validez de los resultados; por lo tanto, el software responsable de operar un sistema en el borde debe garantizar su propia validez. El objetivo de este estudio es garantizar la validez del filtro de tiempo muestreado y el dominio del tiempo como elementos fundamentales del software integrado en el borde autónomo. Esto requiere que la ley de actualización de un filtro de tiempo muestreado sea invocada una vez por cada ciclo de control, lo cual garantizamos utilizando el lenguaje específico de dominio propuesto implementado por un patrón de diseño de metaprogramación en C++ moderno (C++11 y posterior). Los elementos del dominio del tiempo fueron extraídos del software, después de lo cual pudieron ser inyectados en el software extraído independientemente del entorno de ejecución del software. El enfoque propuesto demostró ser superior a los enfoques convencionales que solo confían en la atención de los programadores para detectar defectos de diseño. Esto muestra que es posible garantizar la validez del software en el borde utilizando solo un lenguaje de programación integrado general como C++ moderno sin herramientas auxiliares de verificación y validación.