2022
DOI: 10.1007/978-3-031-19992-9_24
|View full text |Cite
|
Sign up to set email alerts
|

Repairing Real-Time Requirements

Abstract: We consider the problem of repairing inconsistent real-time requirements with respect to two consistency notions: non-vacuity, which means that each requirement can be realized without violating other ones, and rt-consistency, which means that inevitable violations are detected immediately. We provide an iterative algorithm, based on solving SMT queries, to replace designated parameters of real-time requirements with new Boolean expressions and time constraints, so that the resulting set of requirements become… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 29 publications
0
1
0
Order By: Relevance
“…Retraining the Cityscapes dataset to include aquatic environments poses significant challenges, including high computational demands and extensive time requirements [12,13]. Simplification techniques, such as fixed-point calculations [14] or binary neural networks [15][16][17], offer some relief, but their impact is marginal given the scale and complexity of the data [18].…”
Section: Introductionmentioning
confidence: 99%
“…Retraining the Cityscapes dataset to include aquatic environments poses significant challenges, including high computational demands and extensive time requirements [12,13]. Simplification techniques, such as fixed-point calculations [14] or binary neural networks [15][16][17], offer some relief, but their impact is marginal given the scale and complexity of the data [18].…”
Section: Introductionmentioning
confidence: 99%