Using SysML for smart surface modeling

Proceedings - 2010 First Workshop on Hardware and Software Implementation and Control of Distributed MEMS, dMEMS 2010

Volumn , Issue , 2010, Pages 100-107

  Giorgetti, Alain ^a   Hammad, Ahmed ^a   Tatibouët, Bruno ^a  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

Author keywords

Modeling; Smart surface; SysML

Indexed keywords

COMPLEX SYSTEMS; CONTROL UNIT; HIGH LEVEL DESCRIPTION; MESOSCALE; MICRO CELL; MICROELECTROMECHANICAL SYSTEMS; MODELING; SMART SURFACES; SYSML; SYSTEM MODELING;

HIGH LEVEL LANGUAGES; MICROELECTROMECHANICAL DEVICES;

COMPOSITE MICROMECHANICS;

EID: 77955783915     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dMEMS.2010.22     Document Type: Conference Paper

References (8)

1. Y.-A. Chapuis, L. Zhou, H. Fujita, and Y. Hervé, "Multi-domain simulation using VHDL-AMS for distributed MEMS in functional environment: Case of a 2D air-jet micromanipulator," Sensors and Actuators A: Physical, vol. 148, no. 1, pp. 224-238, 2008.
2. L. Zhou, "Modélisation VHDL-AMS multi-domaines de structures intelligentes, autonomes et distribuées à base de MEMS," Ph.D. dissertation, Institut d'Electronique du Solide et des Systèmes, University of Strasbourg (France), 2007.
3. L. Zhou, Y.-A. Chapuis, J.-P. Blondé, H. Berviller, Y. Fukuta, and H. Fujita, "Integrated control strategy for autonomous decentralized conveyance systems based on distributed MEMS arrays," in Proc. SPIE, Smart Structures and Materials 2004: Modeling, Signal Processing, and Control, R. C. Smith, Ed., vol. 5383, March 2004, pp. 498-506.
4. E. Christen and K. Bakalar, "VHDL-AMS-A Hardware Description Language for Analog and Mixed-Signal Applications," in IEEE Trans. Circuits & Systems-II, vol. 46, no. 10, Oct 1999, pp. 1263-1272.
5. A. Hammad, H. Mountassir, and B. Tatibouet, "Using the profile UML4SoC for modeling a smart surface," in ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology, Nov. 2008, proceedings on CD-ROM. 6 pages.
6. R. Malik and R. Mühlfeld, "A case study in verification of UML statecharts: the PROFIsafe protocol," in Proc. 5th Workshop on Tools for System Design and Verification, FM-TOOLS 2002, 2002, pp. 89-93.
7. D. Drusinsky, Modeling and Verification using UML State-charts. Elsevier, 2006.
8. P. Alexander and C. Kong, "Rosetta: Semantic support for model-centered systems-level design," IEEE Computer, vol. 34, no. 11, pp. 64-70, 2001.