Smart Dust: communicating with a cubic-millimeter computer

Domain-specific integrated development environments can help capture specifications in the form of domain models. These tools support the design process by automating analysis and simulating essential system behavior. In addition, they can automatically generate, configure, and integrate target application components. The high cost of developing domain-specific, integrated modeling, analysis, and application-generation environments prevents their penetration into narrower engineering fields that have limited user bases. Model-integrated computing (MIC), an approach to model-based engineering that helps compose domain-specific design environments rapidly and cost effectively, is particularly relevant for specialized computer-based systems domains-perhaps even single projects. The authors describe how MIC provides a way to compose such environments cost effectively and rapidly by using a metalevel architecture to specify the domain-specific modeling language and integrity constraints. They also discuss the toolset that implements MIC and describe a practical application in which using the technology in a tool environment for the process industry led to significant reductions in development and maintenance costs.

[1]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[2]  Suzan Uskudarli.  Generating visual editors for formally specified languages , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[3]  Margaret M. Burnett,et al.  A Classification System for Visual Programming Languages , 1994, J. Vis. Lang. Comput..

[4]  Gabor Karsai,et al.  A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming , 1995, Computer.

[5]  James D. Meindl,et al.  Low power microelectronics: retrospect and prospect , 1995, Proc. IEEE.

[6]  David A. Patterson,et al.  Computer architecture (2nd ed.): a quantitative approach , 1996 .

[7]  Amit Misra,et al.  Model-integrated toolset for fault detection, isolation and recovery (FDIR) , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

[8]  C. Piguet,et al.  Low-power design of 8-b embedded CoolRisc microcontroller cores , 1997, IEEE J. Solid State Circuits.

[9]  John Seely Brown,et al.  The coming age of calm technolgy , 1997 .

[10]  K.S.J. Pister,et al.  Optical communication using micro corner cube reflectors , 1997, Proceedings IEEE The Tenth Annual International Workshop on Micro Electro Mechanical Systems. An Investigation of Micro Structures, Sensors, Actuators, Machines and Robots.

[11]  C. Piguet.  Low-power and low-voltage CMOS digital design , 1997 .

[12]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.

[13]  Jos Warmer,et al.  The object constraint language , 1998 .

[14]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[15]  Joseph M. Kahn,et al.  Imaging diversity receivers for high-speed infrared wireless communication , 1998, IEEE Commun. Mag..

[16]  G. Asada,et al.  Wireless integrated network sensors: Low power systems on a chip , 1998, Proceedings of the 24th European Solid-State Circuits Conference.

[17]  CALUM A.M. GRANT.  Visual Language Editing Using a Grammar-Based Visual Structure Editor , 1998, J. Vis. Lang. Comput..

[18]  E. Long,et al.  Increasing Productivity at Saturn , 1998, Computer.

[19]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[20]  Charles Simonyi.  The Future is Intentional , 1999, Computer.

[21]  Gabor Karsai.  Structured specification of model interpreters , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[22]  Janos Sztipanovits,et al.  Multi-domain surety modeling and analysis for high assurance systems , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[23]  K. Pister,et al.  2-DOF Actuated Micromirror Designed for Large DC Deflection , 1999 .

[24]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.

[25]  A. Chandrakasan,et al.  A micropower programmable DSP powered using a MEMS-based vibration-to-electric energy converter , 2000, 2000 IEEE International Solid-State Circuits Conference. Digest of Technical Papers (Cat. No.00CH37056).

[26]  Randy H. Katz,et al.  Emerging challenges: Mobile networking for “Smart Dust” , 2000, Journal of Communications and Networks.

[27]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[28]  G. Nordstrom,et al.  On metamodel composition , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[29]  Mark Minas,et al.  Abstraction in Graph-Transformation Based Diagram Editors , 2001, GT-VMT@ICALP.

[30]  Gabor Karsai,et al.  An evolvable tri-reasoner IVHM system , 2001, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542).

[31]  Edward A. Lee,et al.  Overview of the Ptolemy project , 2001 .