arXiv Open Access 2022

Contract-Based Specification Refinement and Repair for Mission Planning

Piergiuseppe Mallozzi Inigo Incer Pierluigi Nuzzo Alberto Sangiovanni-Vincentelli

Lihat Sumber

Abstrak

We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications at various levels of abstraction and implement them using a library of pre-implemented specifications. Suppose the specification cannot be met using components from the library. In that case, we compute a proxy for the best approximation to the specification that can be generated using elements from the library. Afterward, we propose a systematic way to either 1) search for and refine the `missing part' of the specification that the library cannot meet or 2) repair the current specification such that the existing library can refine it. Our methodology for searching and repairing mission requirements leverages the quotient, separation, composition, and merging operations between contracts.

Topik & Kata Kunci

cs.RO cs.FL cs.SE

Penulis (4)

Piergiuseppe Mallozzi

Inigo Incer

Pierluigi Nuzzo

Alberto Sangiovanni-Vincentelli

Format Sitasi

APA MLA BibTeX

Mallozzi, P., Incer, I., Nuzzo, P., Sangiovanni-Vincentelli, A. (2022). Contract-Based Specification Refinement and Repair for Mission Planning. https://arxiv.org/abs/2211.11908

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2022
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓