S. Start_meas_select, . Idle_samp, and R. Sampling_select, End_sampling_select : std_ulogic; SIGNAL init : std_ulogic :='1'; quantity Temp_V across Temp to electrical_ref; quantity Hum_V across Hum to electrical_ref; quantity Press_V across Press to electrical_ref; quantity Mov_V across Mov to electrical_ref; terminal X Signal : electrical

<. Sampling_select, -p3; --pb de timing si on utilise t1 --transitions en conflit ASSERT NOT (t1='1' and t4='1')--and t2='1' report "Petri Net may be deadlocked Severity error

E. Not, Le signal d'initialisation n'est pas pris en compte" -- Severity warning; --ASSERT NOT (p4='1' and pi1='1') -report "Conflit entre t4 et pi1" -- Severity warning; --ASSERT NOT (pi1='1' and p1='1') -report "Pi1 n'est pas consommé lors de la transition ti1" -- Severity warning

-. Temp, Mov : in voltage; --QUANTITY X_Signal : out voltage)

=. Elsif-x_meas_type, 1') use Hum_V==X_V_Signal

. Nom, Maurice --Date : 27/01/05 --Commentaires : Routines de séquencement des mesures. --Testé dans le projet MT_compo

S. Auto_wake_up and I. , Idle : in std_ulogic; SIGNAL End_Meas : out std_ulogic :='0'; SIGNAL X_Meas_type : out std_ulogic_VECTOR (n downto 0):="UU"; SIGNAL Start_meas_select : out std_ulogic:='0'; SIGNAL End_Process : out std_ulogic

I. Wait-on, Wait for 20ms; --si l'on utilise le signal de controle idle_sample, les mesures ne se declenchent pas elsif i = 2 then X_Meas_type <=

<. X_meas_type and . Test_type, Wait for 100us, Start_meas_select <=

<. X_meas_type, -necessité de 5 types temp,hum,press,mov et "idle" ('X','X') pour measure type End_meas <=, electrical_ref End_Process <=

. X_datas<=datas, X_data doit contenir les infos : moyenne, min, max Data_moy<=Datas; Wait for 1ms

L. Références-bibliographiques-andreu, N. Bruchon, and T. Gil, ouvrages sont notées par les initiales majuscules du nom des principaux auteurs, suivies de l'année de la publication Dans le cas d'un auteur unique, la référence est notée par les trois premières lettres du nom dont la première est en majuscule et les suivantes en minuscules, et ceci suivi de la date de la publication, Du modèle à l'exécution :Traduction automatique de réseau de Petri interprété en Langage VHDL, 2004.

]. V. Alb05 and . Albert, « Traduction d'un modèle de système hybride basé réseaux de Petri en VHDL-AMS », Master de conception en architecture de machines et systèmes informatiques, 2005.

T. [. Burrell, R. Brooke, and . Beckwith, Sensor and actuator networks - Vineyard computing: sensor networks in agricultural production, IEEE Pervasive Computing, vol.3, issue.1, pp.38-45, 2004.
DOI : 10.1109/MPRV.2004.1269130

H. [. Beigl and . Gellersen, Smart-Its: An Embeded Plateform for Smart Objects, Smart Objects Conference, Symposium Objets communicants, 2003.

]. G. Boo93 and . Booch, Object-Oriented Design with Applications " . The Benjamin, 1993.

S. [. Baron, D. Rochet, and . Estève, GESOS: A Multi-Objective Genetic Tool for Project Management Considering Technical and Non-Technical Constraints, 1st IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI'2004), pp.22-27329, 2004.
DOI : 10.1007/1-4020-8151-0_29

J. [. Booch, I. Rumbraugh, and . Jacobson, UML : le guide de l'utillisateur

P. [. Berthomieu, F. Ribet, and . Vernadat, « L'outil TINA --Construction d'espaces d'états abstraits pour les réseaux de Petri et réseaux Temporels, Modélisation des Systèmes Réactifs, 2003.

E. [. Chan, E. Campo, D. Laval, and . Estève, Validation of a remote monitoring system for the elderly: Application to mobility measurement, Technology and Health Care, vol.10, pp.5-391, 2002.

F. [. Corquodale, K. L. Gebara, D. M. Kraver, R. M. Marsman, R. B. Senger et al., A Top Down Microsystems Design Methodology and Associated Challenges, Proceedings of the Design, Automation and Test in Europe Conference and Exhibtion, 2003.

J. [. Campo, D. Scotto-di-rinaldi, N. Estève, F. Bailly, and . Benard, Développement d'une nouvelle génération de gestionnaire d'énergie auto-configurable pour l'habitat : le concept ERGDOM, Annales du Bâtiment et des Travaux Publics, pp.1270-9840, 2003.

B. [. Estève, A. Jammes, M. Titli, A. Gonzales-mendoza, and . Santana-diaz, Hypovigilance diagnosis module : developments and experiments, Contrat AWAKE N° IST, p.16, 2000.

[. Esteban, A. Ouardani, M. Paludetto, and J. C. Pascal, A Component Based Approach for System Design and Virtual Prototyping, 12th Annual European Concurrent Engineering Conference (ECEC'2005), pp.11-1385, 2005.

]. D. Est97 and . Estève, Basic Research for Microsystems Integration, BARMINT, 1997.

[. Tai and R. S. Muller, IC-processed electrostatic micromotors, Sensors and Actuators, vol.20, pp.41-49, 1989.

C. [. Guitierrez, L. Baron, P. Geneste, D. Clermont, S. Estève et al., How to interconnect product design and project management including experience feedback and reusability requirements, IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005., pp.15-17, 2005.
DOI : 10.1109/IRI-05.2005.1506489

C. [. Goguen and . Linde, Requirements Engineering, Proceedings of IEEE International Symposium on 4-6, pp.152-164, 1993.

M. Gaynor, S. L. Moulton, M. Welsh, E. Lacombe, A. Rowan et al., Integrating wireless sensor networks with the grid, IEEE Internet Computing, vol.8, issue.4, pp.32-39, 2004.
DOI : 10.1109/MIC.2004.18

]. D. Gui03 and . Guihal, « Mémoire de Stage de Fin d'étude. Codesign HW-SW : Etude d'une interface entre outil de conception système et VHDL-AMS

D. [. Hill and . Culler, Mica: a wireless platform for deeply embedded networks, IEEE Micro, vol.22, issue.6, pp.12-24, 2002.
DOI : 10.1109/MM.2002.1134340

T. [. Hender, .. D. Rodgers, J. F. Dean, and . Nunamaker, Improving group creativity: brainstorming versus non-brainstorming techniques in a GSS environment, Proceedings of the 34th Annual Hawaii International Conference on System Sciences, pp.3-6, 2001.
DOI : 10.1109/HICSS.2001.926248

R. [. Hill, A. Szewczyk, S. Woo, D. Hollar, K. Culler et al., System Architecture Directions for Networked Sensors, th International Conference on Architectural Support for Programming Languages and Operating Systems, pp.93-104, 2000.

]. I. Jac94 and . Jacobson, Object-Oriented Software Engineering : A Use Case Driven Approach, 1994.

]. F. Jim00 and . Jimenez, « Spécification et Conception de Micro-systèmes Basés sur des Circuits Asynchrones, Thèse de doctorat, 2000.

M. [. Kawahara, H. Minami, T. Morikawa, and . Aoyama, Design and implementation of a sensor network node for ubiquitous computing environment, 2003 IEEE 58th Vehicular Technology Conference. VTC 2003-Fall (IEEE Cat. No.03CH37484), pp.6-9, 2003.
DOI : 10.1109/VETECF.2003.1286175

]. K. Kun00, . Kundert, and . Top, Down Design of Mixed-Signal Circuits, Advances in Analog Circuits Design, 2000.

]. R. Mac98 and A. Machado, An object oriented model for rapid prototyping of data path / control systems, the 9th symposium on information control in manufacturing, 1998.

]. R. Mau03a and . Maurice, « Etat actuel des réalisations des composants et des technologies d'assemblage utilisables pour la conception d'un microsystème multicapteur autonome interrogeable à distance, 2003.

]. R. Mau03b and . Maurice, « Cahier des charges fonctionnel pour la conception d'un microsystème multi-capteurs autonome interrogeable à distance », note EDF R&D, HP- 18, 2003.

]. R. Mau04b and . Maurice, Méthodologie de conception pour la réalisation d'un microsystème multicapteurs autonome communicant, Article et poster, 7èmes Journées Nationales du Réseau Doctoral de Microélectronique, pp.4-6

]. R. Mau05a and . Maurice, « Simulation VHDL-AMS pour la validation comportementale d'un système intégré multicapteurs communicant ». Article et poster, Journée annuelle de l'école doctorale GEET, pp.17-20, 2005.

]. R. Mau05b, D. Maurice, E. Bouchet, D. Campo, and . Estève, « From requirements analysis to virtual prototyping: top-down design methodology for a reusable industrial microsystem, Présentation orale et article, 18 th International Conference on Software and Systems Engineering and their Applications (ICSSEA2005) Novembre et 1 er Décembre 2005, pp.29-30

[. Min, M. Bhardwaj, S. Cho, E. Shih, A. Sinha et al., Low-power wireless sensor networks, VLSI Design 2001. Fourteenth International Conference on VLSI Design, pp.3-7, 2001.
DOI : 10.1109/ICVD.2001.902661

J. [. Mainwaring, R. Polastre, D. Szewczyk, J. Culler, and . Anderson, Wireless sensor networks for habitat monitoring, Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications , WSNA '02, pp.88-97
DOI : 10.1145/570738.570751

J. [. Pinel, J. P. Tasselli, A. Bailbé, P. Marty, D. Puech et al., Mechanical lapping, handling and transfer of ultra-thin wafers, Journal of Micromechanics and Microengineering, vol.8, issue.4, pp.338-342, 1998.
DOI : 10.1088/0960-1317/8/4/013

M. [. Rumbaugh, W. Blaha, F. Premerlani, W. Eddy, and . Lorensen, Object-Oriented Modeling andDesign, 1991.

J. [. Rochet, C. Hamon, C. Gutierrez, D. Baron, and . Estève, « Vers une démarche de conception cohérente : Proposition d'une méthode et d'outils pour la gestion des alternatives de conception, 6e Congrès international de génie industriel, 2005.

J. [. Schmitt, F. Nicot, X. Pressecq, C. Lafontan, D. Oudea et al., Camon, « Space microsystems and reliability : the contribution of behavioral modelling, Conference on Micro-Nano-Technologies for Aerospace Applications, pp.1-595, 2004.

P. [. Shinotani, M. Raj, S. Seo, H. Bansal, S. K. Sakurai et al., Evaluation of Alternative Materials for System-on-Package (SOP) Substrates, IEEE Transactions on Components and Packaging Technologies, vol.27, issue.4, 2004.
DOI : 10.1109/TCAPT.2004.838906

]. S. Sze94, Sze Semiconductor sensors, 1994.

V. [. Tummala and . Madisetti, System on chip or system on package?, IEEE Design & Test of Computers, vol.16, issue.2, pp.48-56, 1999.
DOI : 10.1109/54.765203

L. [. Tse and . Pong, An Examination of Requirements Specification Languages, The Computer Journal, vol.34, issue.2, pp.143-152, 1991.
DOI : 10.1093/comjnl/34.2.143

«. Pdf, . Vhdl-ams, and . Essentiel, Modélisation de systèmes analogiques et mixtes : Introduction à VHDL- AMS

W. [. Vanderperren and . Dehaene, UML2 and SysML: an Approach to Deal with Complexity in SoC/NoC Design, Proceedings of the Design, Automation and Test in Europe Conference and Exhibtion, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00181194

M. [. Warneke, B. Last, K. S. Liebowitz, and . Pister, Smart Dust: communicating with a cubic-millimeter computer, Computer, vol.34, issue.1, pp.44-51, 2001.
DOI : 10.1109/2.895117

N. [. Wise and . Najafi, The coming opportunities in microsensor systems, TRANSDUCERS '91: 1991 International Conference on Solid-State Sensors and Actuators. Digest of Technical Papers, pp.24-272, 1991.
DOI : 10.1109/SENSOR.1991.148784

K. [. Yang, W. R. Ong, K. Dreschel, C. S. Zeng, C. A. Mungle et al., Design of a Wireless Sensor Network for Long-term, In-Situ Monitoring of an Aqueous Environment, Sensors, vol.2, issue.11, pp.455-472, 2002.
DOI : 10.3390/s21100455