diff --git a/reconstruct_artifacts_from_reference_readout.sh b/reconstruct_artifacts_from_reference_readout.sh new file mode 100755 index 0000000000000000000000000000000000000000..78ed26be77ff8d4f2c1bbb1e84a57925213af29a --- /dev/null +++ b/reconstruct_artifacts_from_reference_readout.sh @@ -0,0 +1,27 @@ +#!/bin/bash + +## This file is part of the execution-time evaluation for the qronos observer abstractions. +## Copyright (C) 2022-2023 Tim Rheinfels <tim.rheinfels@fau.de> +## See https://gitlab.cs.fau.de/qronos-state-abstractions/execution-time +## +## This program is free software: you can redistribute it and/or modify +## it under the terms of the GNU General Public License as published by +## the Free Software Foundation, either version 3 of the License, or +## (at your option) any later version. +## +## This program is distributed in the hope that it will be useful, +## but WITHOUT ANY WARRANTY; without even the implied warranty of +## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +## GNU General Public License for more details. +## +## You should have received a copy of the GNU General Public License +## along with this program. If not, see <https://www.gnu.org/licenses/>. + +set -e + +if [[ ! -f "results_reference.json" ]]; then + echo "results_reference.json is not available. If this happened in the final release, please contact the authors to request the data." + exit 1 +fi + +pipenv run python scripts/evaluate.py results_reference.json results_reference diff --git a/run_evaluation_execution_time_measurements.sh b/run_evaluation_execution_time_measurements.sh new file mode 100755 index 0000000000000000000000000000000000000000..56557491bae09b345faa86e44c85002b90560eb5 --- /dev/null +++ b/run_evaluation_execution_time_measurements.sh @@ -0,0 +1,28 @@ +#!/bin/bash + +## This file is part of the execution-time evaluation for the qronos observer abstractions. +## Copyright (C) 2022-2023 Tim Rheinfels <tim.rheinfels@fau.de> +## See https://gitlab.cs.fau.de/qronos-state-abstractions/execution-time +## +## This program is free software: you can redistribute it and/or modify +## it under the terms of the GNU General Public License as published by +## the Free Software Foundation, either version 3 of the License, or +## (at your option) any later version. +## +## This program is distributed in the hope that it will be useful, +## but WITHOUT ANY WARRANTY; without even the implied warranty of +## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +## GNU General Public License for more details. +## +## You should have received a copy of the GNU General Public License +## along with this program. If not, see <https://www.gnu.org/licenses/>. + +set -e + +if [[ ! -e /dev/ttyBenchmark ]]; then + echo "Please connect the benchmark (micro USB port on STM32F411E-Disco)" + exit 1 +fi + +pipenv run scripts/readout.sh /dev/ttyBenchmark 2000000 results.json +pipenv run python scripts/evaluate.py results.json results