Human-Error Prevention for Autonomous Edge Software Using Minimalistic Modern C++
In science and engineering using edge-embedded software, it is necessary to demonstrate the validity of results; therefore, the software responsible for operating an edge system is required to guarantee its own validity. The aim of this study is to guarantee the validity of the sampled-time filter a...
Main Authors: | Ryo Fukano, Masato Ishikawa |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2019-11-01
|
Series: | Big Data and Cognitive Computing |
Subjects: | |
Online Access: | https://www.mdpi.com/2504-2289/3/4/52 |
Similar Items
-
Testing concurrent software systems
by: Kilgore, Richard Brian
Published: (2008) -
Integration of model checking into software development processes
by: Xie, Fei
Published: (2008) -
Software-Defined Computational Offloading for Mobile Edge Computing
by: Krishna, Nitesh
Published: (2018) -
A Formal Method to Analyze Framework-Based Software
by: Larson, Trent N.
Published: (2002) -
Automated test case generation for reactive software systems based on environment models
by: Imanian, James A.
Published: (2012)