Validation-Driven Development
- URL: http://arxiv.org/abs/2308.06028v1
- Date: Fri, 11 Aug 2023 09:15:26 GMT
- Title: Validation-Driven Development
- Authors: Sebastian Stock, Atif Mashkoor, Alexander Egyed
- Abstract summary: This paper introduces a validation-driven development (VDD) process that prioritizes validating requirements in formal development.
The effectiveness of the VDD process is demonstrated through a case study in the aviation industry.
- Score: 54.50263643323
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Formal methods play a fundamental role in asserting the correctness of
requirements specifications. However, historically, formal method experts have
primarily focused on verifying those specifications. Although equally
important, validation of requirements specifications often takes the back seat.
This paper introduces a validation-driven development (VDD) process that
prioritizes validating requirements in formal development. The VDD process is
built upon problem frames - a requirements analysis approach - and validation
obligations (VOs) - the concept of breaking down the overall validation of a
specification and linking it to refinement steps. The effectiveness of the VDD
process is demonstrated through a case study in the aviation industry.
Related papers
- Analogous Alignments: Digital "Formally" meets Analog [0.0]
This paper focuses on the pragmatic formal verification of a mixed signal Intellectual Property (IP) that has a combination of digital and analog blocks.
Digital and Analog Mixed-Signal (AMS) designs, which are fundamentally different in nature, are integrated seamlessly in a formal verification setup.
arXiv Detail & Related papers (2024-09-23T13:38:31Z) - Beyond One-Time Validation: A Framework for Adaptive Validation of Prognostic and Diagnostic AI-based Medical Devices [55.319842359034546]
Existing approaches often fall short in addressing the complexity of practically deploying these devices.
The presented framework emphasizes the importance of repeating validation and fine-tuning during deployment.
It is positioned within the current US and EU regulatory landscapes.
arXiv Detail & Related papers (2024-09-07T11:13:52Z) - Towards an Enforceable GDPR Specification [49.1574468325115]
Privacy by Design (PbD) is prescribed by modern privacy regulations such as the EU's.
One emerging technique to realize PbD is enforcement (RE)
We present a set of requirements and an iterative methodology for creating formal specifications of legal provisions.
arXiv Detail & Related papers (2024-02-27T09:38:51Z) - Extending Rely-Guarantee thinking to handle Real-Time Scheduling [1.5527108310849955]
Real-time systems need ways of both requiring progress and relating that progress to some notion of time.
This paper extends rely-guarantee ideas to cope with specifications of -- and assumptions about -- real-time schedulers.
arXiv Detail & Related papers (2023-11-30T20:04:30Z) - Towards Scenario-based Safety Validation for Autonomous Trains with Deep
Generative Models [0.0]
We report our practical experiences regarding the utility of data simulation with deep generative models for scenario-based validation.
We demonstrate the capabilities of semantically editing railway scenes with deep generative models to make a limited amount of test data more representative.
arXiv Detail & Related papers (2023-10-16T17:55:14Z) - Better Practices for Domain Adaptation [62.70267990659201]
Domain adaptation (DA) aims to provide frameworks for adapting models to deployment data without using labels.
Unclear validation protocol for DA has led to bad practices in the literature.
We show challenges across all three branches of domain adaptation methodology.
arXiv Detail & Related papers (2023-09-07T17:44:18Z) - STL: Surprisingly Tricky Logic (for System Validation) [0.04301276597844757]
Ground-truth validity of a specification, subjects' familiarity with formal methods, and subjects' level of education were found to be significant factors in determining validation correctness.
Participants exhibited an affirmation bias, causing significantly increased accuracy on valid specifications, but significantly decreased accuracy on invalid specifications.
arXiv Detail & Related papers (2023-05-26T21:01:26Z) - Conformance Checking with Uncertainty via SMT (Extended Version) [66.58864135810981]
We show how to solve the problem of checking conformance of uncertain logs against data-aware reference processes.
Our approach is modular, in that it homogeneously accommodates for different types of uncertainty.
We show the correctness of our approach and witness feasibility through a proof-of-concept implementation.
arXiv Detail & Related papers (2022-06-15T11:39:45Z) - Unsupervised Domain Generalization for Person Re-identification: A
Domain-specific Adaptive Framework [50.88463458896428]
Domain generalization (DG) has attracted much attention in person re-identification (ReID) recently.
Existing methods usually need the source domains to be labeled, which could be a significant burden for practical ReID tasks.
We propose a simple and efficient domain-specific adaptive framework, and realize it with an adaptive normalization module.
arXiv Detail & Related papers (2021-11-30T02:35:51Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.