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 ,
-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 ,
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 ,
Mov : in voltage; --QUANTITY X_Signal : out voltage) ,
1') use Hum_V==X_V_Signal ,
Maurice --Date : 27/01/05 --Commentaires : Routines de séquencement des mesures. --Testé dans le projet MT_compo ,
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 ,
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 <= ,
Wait for 100us, Start_meas_select <= ,
-necessité de 5 types temp,hum,press,mov et "idle" ('X','X') pour measure type End_meas <=, electrical_ref End_Process <= ,
X_data doit contenir les infos : moyenne, min, max Data_moy<=Datas; Wait for 1ms ,
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. ,
« 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. ,
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
Smart-Its: An Embeded Plateform for Smart Objects, Smart Objects Conference, Symposium Objets communicants, 2003. ,
Object-Oriented Design with Applications " . The Benjamin, 1993. ,
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
UML : le guide de l'utillisateur ,
« 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. ,
Validation of a remote monitoring system for the elderly: Application to mobility measurement, Technology and Health Care, vol.10, pp.5-391, 2002. ,
A Top Down Microsystems Design Methodology and Associated Challenges, Proceedings of the Design, Automation and Test in Europe Conference and Exhibtion, 2003. ,
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. ,
Hypovigilance diagnosis module : developments and experiments, Contrat AWAKE N° IST, p.16, 2000. ,
A Component Based Approach for System Design and Virtual Prototyping, 12th Annual European Concurrent Engineering Conference (ECEC'2005), pp.11-1385, 2005. ,
Basic Research for Microsystems Integration, BARMINT, 1997. ,
IC-processed electrostatic micromotors, Sensors and Actuators, vol.20, pp.41-49, 1989. ,
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
Requirements Engineering, Proceedings of IEEE International Symposium on 4-6, pp.152-164, 1993. ,
Integrating wireless sensor networks with the grid, IEEE Internet Computing, vol.8, issue.4, pp.32-39, 2004. ,
DOI : 10.1109/MIC.2004.18
« Mémoire de Stage de Fin d'étude. Codesign HW-SW : Etude d'une interface entre outil de conception système et VHDL-AMS ,
Mica: a wireless platform for deeply embedded networks, IEEE Micro, vol.22, issue.6, pp.12-24, 2002. ,
DOI : 10.1109/MM.2002.1134340
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
System Architecture Directions for Networked Sensors, th International Conference on Architectural Support for Programming Languages and Operating Systems, pp.93-104, 2000. ,
Object-Oriented Software Engineering : A Use Case Driven Approach, 1994. ,
« Spécification et Conception de Micro-systèmes Basés sur des Circuits Asynchrones, Thèse de doctorat, 2000. ,
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
Down Design of Mixed-Signal Circuits, Advances in Analog Circuits Design, 2000. ,
An object oriented model for rapid prototyping of data path / control systems, the 9th symposium on information control in manufacturing, 1998. ,
« 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. ,
« Cahier des charges fonctionnel pour la conception d'un microsystème multi-capteurs autonome interrogeable à distance », note EDF R&D, HP- 18, 2003. ,
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 ,
« 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. ,
« 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 ,
Low-power wireless sensor networks, VLSI Design 2001. Fourteenth International Conference on VLSI Design, pp.3-7, 2001. ,
DOI : 10.1109/ICVD.2001.902661
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
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
Object-Oriented Modeling andDesign, 1991. ,
« 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. ,
Camon, « Space microsystems and reliability : the contribution of behavioral modelling, Conference on Micro-Nano-Technologies for Aerospace Applications, pp.1-595, 2004. ,
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
Sze Semiconductor sensors, 1994. ,
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
An Examination of Requirements Specification Languages, The Computer Journal, vol.34, issue.2, pp.143-152, 1991. ,
DOI : 10.1093/comjnl/34.2.143
Modélisation de systèmes analogiques et mixtes : Introduction à VHDL- AMS ,
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
Smart Dust: communicating with a cubic-millimeter computer, Computer, vol.34, issue.1, pp.44-51, 2001. ,
DOI : 10.1109/2.895117
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
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