Modèles comportementaux pour l'avionique modulaire intégrée In: Bibliographie Proceeding of the 1er Congrès plurisectoriel " Logiciel Temps Réel Embarqué, 2002. ,
The SIGNAL declarative synchronous language: controller synthesis & systems/Architecture design, Proceedings of the 40 th IEEE conference on Decision and Control, pp.3284-3289, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00526268
Testability of Software Components, IEEE Transactions on Software Engineering, vol.17, pp.553-564, 1991. ,
Static analysis of arithmetical congruences, International Journal of Computer Mathematics, vol.30, issue.3-4, pp.165-190, 1989. ,
DOI : 10.1145/29873.29875
IEEE Standard Glossary of Software Engineering Terminology, 1990. ,
ISO/IEC 9126-1:2001 Software engineering --Product quality --Part 1: Quality model " . International Organization for Standardization, 2006. ,
A perspective on assumption-based truth maintenance, Artificial Intelligence, vol.59, issue.1-2, pp.1-2, 1993. ,
DOI : 10.1016/0004-3702(93)90171-7
Towards a unified approach to the testability of co-designed systems, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, pp.278-285, 1995. ,
DOI : 10.1109/ISSRE.1995.497668
Analyse conjointe logiciel/matériel de la testabilité de systèmes flot de données, Thèse, Institut National Polytechnique de Grenoble, 1997. ,
A Complexity Measure, IEEE Transactions on Software Engineering, vol.2, issue.4, pp.308-320, 1976. ,
DOI : 10.1109/TSE.1976.233837
Design for a Tool to Manage Specification- Based Testing, Workshop on Software Testing, pp.41-50, 1986. ,
Control flow, data flow and program complexity, Proceedings of the 4 th International Computer Software and Applications Conference, pp.146-152, 1980. ,
Safety-Critical Software Development for Integrated Modular Avionics [Pro] Prover Technology Prover Product " . http://www.prover.com/products Selecting software test data using data flow information, IEEE Transactions on Software Engineering, vol.11, issue.4, pp.367-375, 1985. ,
Arp4754: certification considerations for highly-integrated or complex systems, 1996. ,
Verification and validation of simulation models, Proceedings of the 30th conference on Winter simulation, pp.121-130, 1998. ,
Systems Simulation: The Art and Science, IEEE Transactions on Systems, Man, and Cybernetics, vol.6, issue.10, 1975. ,
DOI : 10.1109/TSMC.1976.4309432
http://www.esterel-technologies.com/products/scade-suite/simulation, 2009. ,
A program complexity metric based on data flow information in control graphs, Proceedings of the 7 th international conference on Software engineering, pp.239-248, 1984. ,