loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Naoyasu Ubayashi ; Yasutaka Kamei and Ryosuke Sato

Affiliation: Kyushu University, Fukuoka and Japan

Keyword(s): Model Checking, Uncertainty, Known Unknowns, Modular Uncertainty Representation, Partial Model, State Explosion Problem.

Abstract: Embracing uncertainty in software development is one of the crucial research topics in software engineering. In most projects, we have to deal with uncertain concerns by using informal ways such as documents, mailing lists, or issue tracking systems. This task is tedious and error-prone. Especially, uncertainty in programming is one of the challenging issues to be tackled, because it is difficult to verify the correctness of a program when there are uncertain user requirements, unfixed design choices, and alternative algorithms. This paper proposes iArch-U/MC, an uncertainty-aware model checker for verifying whether or not some important properties are guaranteed even if Known Unknowns remain in a program. Our tool is based on LTSA (Labelled Transition System Analyzer) and is implemented as an Eclipse plug-in.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.226.226.30

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ubayashi, N.; Kamei, Y. and Sato, R. (2018). iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. In Proceedings of the 13th International Conference on Software Technologies - ICSOFT; ISBN 978-989-758-320-9; ISSN 2184-2833, SciTePress, pages 176-184. DOI: 10.5220/0006889502100218

@conference{icsoft18,
author={Naoyasu Ubayashi. and Yasutaka Kamei. and Ryosuke Sato.},
title={iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns},
booktitle={Proceedings of the 13th International Conference on Software Technologies - ICSOFT},
year={2018},
pages={176-184},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006889502100218},
isbn={978-989-758-320-9},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - ICSOFT
TI - iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns
SN - 978-989-758-320-9
IS - 2184-2833
AU - Ubayashi, N.
AU - Kamei, Y.
AU - Sato, R.
PY - 2018
SP - 176
EP - 184
DO - 10.5220/0006889502100218
PB - SciTePress