A global constraint for over-approximation of real-time streams
| Autor: | Anicet Bart, Eric Monfroy, Charlotte Truchet |
|---|---|
| Přispěvatelé: | Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Théorie, Algorithmes et Systèmes en Contraintes (TASC ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Université de Nantes (UN), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) |
| Rok vydání: | 2017 |
| Předmět: |
Concurrent constraint logic programming
Mathematical optimization Computer science Hybrid algorithm (constraint satisfaction) 020207 software engineering 02 engineering and technology Binary constraint Constraint satisfaction Constraint (information theory) Computational Theory and Mathematics Artificial Intelligence Constraint graph Constraint logic programming 0202 electrical engineering electronic engineering information engineering Constraint programming Discrete Mathematics and Combinatorics [INFO]Computer Science [cs] 020201 artificial intelligence & image processing Algorithm ComputingMilieux_MISCELLANEOUS Software |
| Zdroj: | Constraints Constraints, Springer Verlag, 2017, 22 (3), pp.463-490. ⟨10.1007/s10601-017-9268-z⟩ |
| ISSN: | 1572-9354 1383-7133 |
| DOI: | 10.1007/s10601-017-9268-z |
| Popis: | Formal verification of real time programs, where variables can change values at every time step, is difficult due to the analyses of loops with time lags. In this paper, we propose a constraint programming model together with a global constraint and a filtering algorithm, for computing over-approximation of real-time streams. The global constraint handles the loop analyses by providing an interval over-approximation of the loop invariant. We apply our method to the FAUST language, a language for processing real-time audio streams. Experiments show that our approach provides accurate results in short times. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink