Modeling, verification, and testing using timed and hybrid automata
S Tripakis, T Dang - Model-Based Design for Embedded Systems, 2018 - taylorfrancis.com
Models have been used for a long time to build complex systems, in virtually every
engineering field. This is because they provide invaluable helpin making important design …
engineering field. This is because they provide invaluable helpin making important design …
Goal-oriented stimulus generation for analog circuits
We present a methodology to generate goal-oriented test cases for verifying nonlinear
analog circuits. We use a learning-based approach to identify the goal regions in circuit's …
analog circuits. We use a learning-based approach to identify the goal regions in circuit's …
Robust speaker adaptation using a piecewise linear acoustic mapping
JR Bellegarda, PV De Souza, AJ Nádas… - … , Speech, and Signal …, 1992 - computer.org
This paper proposes a functional testing approach for safety properties formalized as hybrid
automata. We first propose a formalism inspired from the concept of operational profile to …
automata. We first propose a formalism inspired from the concept of operational profile to …
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information
Y Grasland, L Du Bousquet, R Groz… - 2013 IEEE Sixth …, 2013 - ieeexplore.ieee.org
This paper proposes a functional testing approach for safety properties formalized as hybrid
automata. We first propose a formalism inspired from the concept of operational profile to …
automata. We first propose a formalism inspired from the concept of operational profile to …
Test fonctionnel de propriétés hybrides
Y Grasland - 2013 - theses.hal.science
On nomme systèmes hybrides les systèmes qui intègrent des comportements continus et
discrets. Leur comportement est en partie déterminé par des contraintes temporelles et/ou …
discrets. Leur comportement est en partie déterminé par des contraintes temporelles et/ou …
[PDF][PDF] Test et validation des services domotiques
Y Grasland - 2011 - semba.conf.citi-lab.fr
Existence de mesures [EKK05, DN08] Des caractéristiques positives... Locale (Esposito et
al.) Anisotropie possible (Dang et al.)... et négatives Statistique constestable pour …
al.) Anisotropie possible (Dang et al.)... et négatives Statistique constestable pour …
[PDF][PDF] Eine Testfallspezifikationssprache für das funktionsorientierte Testen von reaktiven eingebetteten Systemen im Automobilen Bereich
M Ipek - 2011 - kluedo.ub.rptu.de
Beim funktionsorientierten Testen von Steuergeräten im automobilen Bereich ist das
Expertenwissen aufgrund der hohen Komplexität der Testfälle unersetzlich. Bei …
Expertenwissen aufgrund der hohen Komplexität der Testfälle unersetzlich. Bei …
[PDF][PDF] Eine Testfallspezifikationssprache für das funktionsorientierte Testen von reaktiven eingebetteten Systemen im Automobilen Bereich
M Ipek - 2011 - kluedo.ub.rptu.de
Kurzfassung Beim funktionsorientierten Testen von Steuergeräten im automobilen Bereich
ist das Expertenwissen aufgrund der hohen Komplexität der Testfälle unersetzlich. Bei …
ist das Expertenwissen aufgrund der hohen Komplexität der Testfälle unersetzlich. Bei …
[PDF][PDF] Testing of hybrid systems using qualitative models
H Brandl - Proceedings of Formal Methods 2009 Doctoral …, 2009 - fmeurope.org
Hybrid systems originate from control theory where the behavior of a discrete controller is
observed in its environment. In many cases it is not sufficient to test the control programs …
observed in its environment. In many cases it is not sufficient to test the control programs …
[PDF][PDF] Detailed scientific report: TEMPO team
G Frehse, UJF MdC - www-verimag.imag.fr
The group's focus can be characterized as model-based analysis of systems in the large
sense without a priori attachment to a specific application domain. We are interested in …
sense without a priori attachment to a specific application domain. We are interested in …