V. Idasiak and &. P. David, Accident simulation: Design and results, Proceedings of ESREL 2007 Risk, pp.953-960, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00579513

P. David, V. Idasiak, and &. F. Kratz, A Sensor Placement Approach for the Monitoring of Indoor Scenes, octobre, pp.110-125, 2007.
DOI : 10.1007/978-3-540-75696-5_7

URL : https://hal.archives-ouvertes.fr/hal-00579519

P. David, V. Idasiak, and &. F. Kratz, Towards a better interaction between design and dependability analysis: FMEA derived from UML/SysML models, Proceedings of ESREL 2008 and 17th SRA-EUROPE annual conference, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00579523

P. David, V. Idasiak, and &. F. Kratz, Use and improvements of SysML in reliability study, Proceedings of the 55 th Annual Reliability and Maintainability Symposium, pp.26-29, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00579526

P. David, V. Idasiak, and &. F. Kratz, Automating the synthesis of AltaRica Data-Flow models from SysML, Proceedings of ESREL 2009, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00579532

P. David, V. Idasiak, and &. F. Kratz, Etude pour une meilleure intégration des données de conception dans les analyses de fiabilité, 16 ème Congrès Lambda Mu : les nouveaux défis de la maîtrise des risques, 2008.

P. David, V. Idasiak, and &. F. Kratz, Placement de réseau de capteurs pour l'observation de scènes intérieures. Sixième Colloque capteurs, Capteurs, pp.5-6, 2008.

P. David, V. Idasiak, and &. F. Kratz, Reliability study of complex physical systems using SysML, Reliability Engineering & System Safety, vol.95, issue.4
DOI : 10.1016/j.ress.2009.11.015

URL : https://hal.archives-ouvertes.fr/hal-00528802

A. Belconde, Y. Benezeth, D. Brulin, P. David, and &. E. , CAPTHOM : Vers une évolution des détecteurs de présence humaine, pp.5-6, 2008.

A. Références, The AltaRica language and its semantics, Fundamenta Informaticae, vol.34, pp.109-124, 2000.

. Arnold, AltaRica Manuel méthodologique. Rapport LaBRI, 2005.

. Atkinson, Automated fault analysis for hydraulic systems Part 1: fundamentals, ARCHIVE: Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering 1991-1996 (vols 205-210), vol.206, issue.49, pp.207-214, 1992.
DOI : 10.1243/PIME_PROC_1992_206_336_02

. Bares, A model for constraint-based camera planning, Proceedings of the 2000 AAAI Spring Symposium, Stanford, pp.84-91, 2000.

&. Belconde, &. F. Kratz-belconde, and . Kratz, Problèmes liés à la détection de présence humaine et modélisation. 6 ème Colloque Capteurs, pp.5-6, 2008.

. Benezeth, A Real Time Human Detection System Based on Far Infrared Vision, Proceedings of International Conference on Image and Signal Processing, pp.1-3, 2008.
DOI : 10.1007/978-3-540-69905-7_9

URL : https://hal.archives-ouvertes.fr/hal-00288450

. Benezeth, Détection de la présence humaine et caractérisation de l'activité. XXII ème Colloque GRETSI, pp.8-11, 2009.

. Bernardi, From UML Sequence Diagrams and StateCharts to analyzable Petri Net models, Proceedings of the 3 rd Int. workshop on software on performance, 2002.

. Bézivin, An Introduction to ATLAS Model Management Architecture, ATLAS GDD, 2005.

. Boiteau, The AltaRica data-flow language in use: modeling of production availability of a multi-state system, Reliability Engineering & System Safety, vol.91, issue.7, pp.747-755, 2006.
DOI : 10.1016/j.ress.2004.12.004

URL : https://hal.archives-ouvertes.fr/hal-00182500

. Bondavalli, High-level Integrated Design Environment for dependability (HIDE), Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, pp.87-92, 1999.
DOI : 10.1109/WORDSF.1999.842338

. Bondavalli, Bondavalli, I. Majzik & I. Mura. Automated Dependability Analysis of UML Designs, Proceedings of the 2 nd IEEE International Symposium on Objectoriented Real-time distributed Computing, 1999.

. Savoia, Dependability analysis in the early phases of UML-based system design, International Journal of Computer Systems Science & Engineering, vol.16, issue.5, pp.265-275, 2001.

S. Bonhomme, Méthodologie et Outils pour la Conception d'un Habitat Intelligent, Thèse de doctorat de l'Institut National Polytechnique de Toulouse, 2008.

. Bouissou, Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools, Proceedings of the Safecomp'91, 1991.

M. Bouissou and &. Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes, Reliability Engineering & System Safety, vol.82, issue.2, pp.149-163, 2003.
DOI : 10.1016/S0951-8320(03)00143-1

. Bouti, Automated manufacturing systems failure analysis based on a functional reasoning, Proceedings of the 10th ISPE-IFAC International Symposium on CAD/CAM, Robotics and factories of the Ftuture, pp.423-429, 1994.

&. Bowles, J. B. Pelaez, &. E. Bowles, and . Pelaez, Fuzzy logic prioritization of failures in a system failure mode, effects and criticality analysis, Reliability Engineering & System Safety, vol.50, issue.2, pp.203-213, 1995.
DOI : 10.1016/0951-8320(95)00068-D

. Brulin, Visual Receding Horizon Estimation for human presence detection. ICRA 2009, Workshop People Detection and Tracking of the, IEEE International Conference on Robotics and Automation, pp.12-17, 2009.

. Chakrabarty, Grid coverage for surveillance and target location in distributed sensor networks, IEEE Transactions on Computers, vol.51, issue.12, pp.1448-1453, 2002.
DOI : 10.1109/TC.2002.1146711

. Chenouard, Model-driven constraint programming, Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '08, pp.15-17, 2008.
DOI : 10.1145/1389449.1389479

URL : https://hal.archives-ouvertes.fr/hal-00456549

&. Clavareau and . Labeau, A Petri net-based modelling of replacement strategies under technological obsolescence, Reliability Engineering & System Safety, vol.94, issue.2, pp.357-369, 2009.
DOI : 10.1016/j.ress.2008.03.034

R. Cressent, Comparaison et mise en placed'une méthode d'analyse et de modélisation de systèmes complexes, temps réel et embarqués, 2009.

. David, A Sensor Placement Approach for the Monitoring of Indoor Scenes, octobre, pp.110-125, 2007.
DOI : 10.1007/978-3-540-75696-5_7

URL : https://hal.archives-ouvertes.fr/hal-00579519

. David, Towards a better interaction between design and dependability analysis: FMEA derived from UML/SysML models, Proceedings of ESREL 2008 and 17 th SRA-EUROPE annual conference, pp.2259-2266, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00579523

. David, Etude pour une meilleure intégration des données de conception dans les analyses de fiabilité, Actes du 16 ème Congrès Lambda Mu : les nouveaux défis de la maîtrise des risques, pp.7-9, 2008.

. David, Use and improvements of SysML in reliability study, Proceedings of the 55 th Annual Reliability and Maintainability Symposium, RAMS 2009, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00579526

. David, Automating the synthesis of AltaRica Data-Flow models from SysML, Proceedings of ESREL 2009, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00579532

S. Dhillon and &. K. Chakrabarty, Sensor placement for effective coverage and surveillance in distributed sensor networks, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003., pp.1609-1614, 2003.
DOI : 10.1109/WCNC.2003.1200627

. Dumas, Vers le génération de modèles de sûreté de fonctionnement, 15 ème Conférence francophone sur les Langages et Modèles à Objets (LMO) & Architectures Logicielles (CAL), pp.5-7, 2008.

. Dunn, Parisian camera placement for vision metrology, Pattern Recognition Letters, vol.27, issue.11, pp.1209-1219, 2006.
DOI : 10.1016/j.patrec.2005.07.019

. Dutuit, Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases, Reliability Engineering & System Safety, vol.55, issue.2, pp.117-124, 1997.
DOI : 10.1016/S0951-8320(96)00108-1

&. Erdem, &. S. Sclaroff-erdem, and . Sclaroff, Automated camera layout to satisfy task-specific and floor plan-specific coverage requirements, Computer Vision and Image Understanding, vol.103, issue.3, pp.156-169, 2006.
DOI : 10.1016/j.cviu.2006.06.005

. Mai, Survey of Model-Based Systems Engineering (MBSE) Methodologies, Rev. B. INCOSE MBSE Initiative, p.23, 2008.

. Forsberg, 4.4.4 Application of the ???Vee??? to Incremental and Evolutionary Development, Proceedings of the 5 th Annual International Symposium of the National Council on Systems Engineering, 1995.
DOI : 10.1002/j.2334-5837.1995.tb01948.x

URL : https://hal.archives-ouvertes.fr/hal-00661255

. Friedenthal, A Practical Guide to SysML : The Systems Modeling Language, The MK, 2008.

&. Gilmore, S. Kloul, &. L. Gilmore, and . Kloul, A unified tool for performance modelling and prediction. Reliability engineering and system safety, pp.17-32, 2005.

J. Gobeau, Détecteurs de mouvement à infrarouge passif. 5 ème rencontres capteurs Capteurs, 2006.

. Godts, Nouveaux microcapteurs de flux thermique et de rayonnement infrarouge planaires à faible coût en technologie silicium pour applications domotiques. 6 ème Colloque Capteurs, pp.18-19, 2008.

&. Hurtado-ramos, Optimal Camera Placement for Total Coverage, Proceedings of IEEE International Conference on Robotics and Automation, pp.844-848, 2009.

&. Hause, &. F. Thom-hause, and . Thom, 7.2.1 Building Bridges Between Systems and Software with SysML and UML, Proceedings of International Symposium of the INCOSE, pp.15-19, 2008.
DOI : 10.1002/j.2334-5837.2008.tb00843.x

. Hecht, Computer-aided Software FMEA. The Annual Reliability and Maintainability Symposium, pp.26-29, 2004.

H. Hoffmann, Harmony-SE/SysML Deskbook: Model-Based Systems Engineering with Rhapsody. Telelogic/I-Logix white paper, 2006.

. Hughes, Automating Mechanical FMEA Using Functional Models, Proceedings of the 12th International FLAIRS, 1999.

&. Idasiak, &. P. David-idasiak, and . David, Accident simulation: Design and results, Proceedings of ESREL 2007 Risk, Reliability and Societal Safety ? Aven & Vinnem, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00579513

. Iwu, Integrating safety and formal analyses using UML and PFS. Reliability engineering and system safety, pp.156-170, 2007.
DOI : 10.1016/j.ress.2005.11.060

. Johnson, Integrating Models and Simulations of Continuous Dynamics Into SysML, Proceedings of the 6 th International Modelica Conference, 2008.
DOI : 10.1115/1.4005452

&. Jouault and . Kurtev, Jouault & I. Kurtev. Transforming Models with ATL, Proceedings of 8 th International Conference on Model Driven Engineering Languages and Systems (MODELS Satellite Events 2005), pp.128-138, 2005.

&. Keller, &. D. Keller, and . Cima, <title>Achieving High Reliability In Passive Infrared Intruder Alarms With Lithium Tantalate Pyroelectric Detectors</title>, Advanced Infrared Sensor Technology, pp.18-22, 1983.
DOI : 10.1117/12.935208

&. King, P. Pooley, &. R. King, and . Pooley, Using UML to Derive Stochastic Petri Net Models, Proceedings of 15th Annual UK Performance Engineering Workshop, 1999.

&. Kleyner, &. V. Volovoi-kleyner, and . Volovoi, Reliability prediction using Petri nets for on-demand safety systems with fault detection Proceedings of ESREL 2008 and 17 th SRA-EUROPE annual conference, pp.22-25, 2008.

. Thévenod, Guide de la sûreté defonctionnement, 1995.

. Larish, SysML aided functional safety assessment, Proceedings of ESREL 2008 and 17 th SRA-Europe Annual Conference, 2008.

. Latella, Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker, Formal Aspects of Computing, vol.11, issue.6, pp.637-664, 1999.
DOI : 10.1007/s001659970003

. Leangsukun, Reliability modeling using UML, Proceedings of the International conference on software engineering research and practice, 2003.

&. Lienhart, &. E. Horster-lienhrat, and . Horster, On the optimal placement of multiple visual sensor, Proceedings of the 4 th ACM International Workshop on Video Surveillance and Sensor Networks, pp.111-120, 2006.

. López-grao, From UML Activity Diagrams to Stochastic Petri Nets: Application to software performance engineering, Proceedings of the 4 th Int. workshop on software and performance, 2004.

. Lykins, Adapting UML for an Object- Oriented systems engineering method (OOSEM), Proceedings of the 10 th annual INCOSE symposium, 2000.

. Meilich, 1 An Application of Object Oriented Systems Engineering (OOSE) To an Army Command And Control System: A New Approach to Integration of System and Software Requirements and Design, Meilich et M. Rickels Proceedings of the INCOSE internationnal Symposium, pp.6-11, 1999.
DOI : 10.1002/j.2334-5837.1999.tb00268.x

. Merle, Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees, Proceedings of 2 nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09, 2009.
DOI : 10.3182/20090610-3-IT-4004.00025

URL : https://hal.archives-ouvertes.fr/hal-00394459

. Merseguer, A compositional semantics for UML state machines aimed at performance evaluation, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002.
DOI : 10.1109/WODES.2002.1167702

. Muller, Weaving Executability into Object-Oriented Meta-languages, Proceedings of MODELS/UML 2005, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

&. Pai, G. Dugan, &. J. Pai, and . Dugan, Automatic synthesis of dynamic fault trees from UML system models, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., pp.243-254, 2002.
DOI : 10.1109/ISSRE.2002.1173261

. Pap, Methods of checking general safety criteria in UML StateChart specifications. Reliability engineering and system safety, pp.89-107, 2005.

. Papadopoulos, A Method and Tool Support for Model-Based Semi-automated Failure Modes and Effects Analysis of Engineering Designs, The 9 th Australian Workshop on Safety Related Programmable Systems (SCS'04), 2004.

. Peak, 9.3.2 Simulation-Based Design Using SysML Part 1: A Parametrics Primer, Proceedings of International Symposium of the INCOSE, 2007.
DOI : 10.1002/j.2334-5837.2007.tb02964.x

URL : https://hal.archives-ouvertes.fr/in2p3-00011403

. Peak, 9.3.3 Simulation-Based Design Using SysML Part 2: Celebrating Diversity by Example, Proceedings of International Symposium of the INCOSE, 2007.
DOI : 10.1002/j.2334-5837.2007.tb02965.x

URL : https://hal.archives-ouvertes.fr/in2p3-00011403

. Philips, Automatic viewing control for 3D direct manipulation, Proceedings of the 1992 symposium on Interactive 3D graphics , SI3D '92, pp.71-74, 1992.
DOI : 10.1145/147156.147167

. Picardi, AUTAS: a tool for supporting FMECA generation in aeronautic systems, 16 th European Conference on Artificial Intelligence août, pp.22-27, 2004.

. Picardi, Model Synthesis for Model-Based Fault Analysis, Proceedings of 15 th International Workshop on the Principles of Diagnosis, DX 04, pp.23-28, 2004.

&. Pillay, &. J. Wang-pillay, and . Wang, Modified failure mode and effects analysis using approximate reasoning, Reliability Engineering & System Safety, vol.79, issue.1, pp.69-85, 2003.
DOI : 10.1016/S0951-8320(02)00179-5

. Pop, Towards Unified Systems Modeling with the Modelica ML UML Profile. International Workshop on Equation-Based Object- Oriented Languages and Tools, 2007.

. Price, The Flame system: Automating Electrical Failure Modes & Effect Analysis (FMEA). The Annual Reliability and Maintainability Symposium, janvier, 1995.

&. Price, N. Taylor-price, and . Taylor, Automated multiple failure FMEA, Reliability Engineering & System Safety, vol.76, issue.1, pp.1-10, 2002.
DOI : 10.1016/S0951-8320(01)00136-3

. Rauzy, Sûreté de Fonctionnement et Analyse de Performance, Actes du 16 ème Congrès Lambda Mu : les nouveaux défis de la maîtrise des risques, pp.7-9, 2008.

. Saadat, Camera Placement for Network Design In Vision Metrology based On Fuzzy Inference System. XX th ISPRS Congress, pp.12-23, 2004.

. Sachveda, Reliability modelling of a industrial system with Petri nets, Proceedings of ESREL 2007 Risk, Reliability and Societal Safety ? Aven & Vinnem, pp.25-27, 2007.

. Signoret, High Integrity Protection Systems (HIPS): Methods and tools for efficient Safety Integrity Levels (SIL) analysis and calculations, Proceedings of ESREL 2007 Risk, Reliability and Societal Safety ? Aven & Vinnem, pp.25-27, 2007.

. State, An Interactive Camera Placement and Visibility Simulator for Image-Based VR Applications Stereoscopic Displays and Virtual Reality Systems, Proceedings of the SPIE, pp.640-651, 2006.

&. K. Teoh and . Case, Modelling and reasoning for failure modes and effects analysis generation, Proceedings of the Institute of Mechanical Engineers, pp.289-300, 2004.
DOI : 10.1243/095440504322984849

. Tumer, Requirements for a Failure Mode Taxonomy for Use in Conceptual Design, ICED 03 Stockholm, 2003.

. Turki, A SysML profile for mechatronics integrating Bond Graphs, Proceedings of the 9 th WSEAS, International Conference on Circuits, pp.11-16, 2005.

S. Turki, Ingénierie système guidée par les modèles : Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques Thèse de doctorat de l'Université du Sud Toulon-Var, Vanderperren & W. Dehaene. From UML/SysML to Matlab/Simulink: current state and future perspectives. Proceedings of the conference on Design , automation and test in Europe, pp.6-10, 2006.

&. Yeh and . Hsieh, FUZZY ASSESSMENT OF FMEA FOR A SEWAGE PLANT, Journal of the Chinese Institute of Industrial Engineers, vol.24, issue.6, pp.505-512, 2007.
DOI : 10.1016/S0951-8320(01)00101-6

&. V. Zarras and . Isarny, A UML-Based Framework for Assessing the Reliability of Software Systems, Proceedings of the 1 st ICSE workshop on describing software architecture with UML, pp.36-40, 2001.