Distributed intelligent MEMS: A survey and a real-time programming framework

ACM Computing Surveys

Volumn 49, Issue 1, 2016, Pages

  Liang, Junbin ^a   Cao, Jiannong ^b   Liu, Rui ^b   Li, Tao ^b  

^a GUANGXI UNIVERSITY   (China)

^b HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

Author keywords

Autonomous devices; Distributed collaboration; Distributed intelligent MEMS; Programming framework; Real time programming language

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; ELECTROMECHANICAL DEVICES; EMBEDDED SYSTEMS; MEMS; REAL TIME CONTROL; SURVEYS;

AUTONOMOUS DEVICES; DESIGN CHALLENGES; DISTRIBUTED COLLABORATION; DISTRIBUTED EMBEDDED SYSTEM; PROGRAMMING FRAMEWORK; REAL TIME PROGRAMMING; REAL-TIME PROGRAMMING LANGUAGES; RUNTIME SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84978151287     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/2926964     Document Type: Article

References (128)

1. M. Afanasov, L. Mottola, and C. Ghezzi. 2014. Context-oriented programming for adaptive wireless sensor network software. In IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS'14). 233-240. DOI:http://dx.doi.org/10.1109/DCOSS.2014.31
2. H. Ahmadi and T. F. Abdelzaher. 2009. An adaptive-reliability cyber-physical transport protocol for spatiotemporal data. In Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS'09). 238-247. DOI:http://dx.doi.org/10.1109/RTSS.2009.45
3. G. Anastasi, M. Conti, M. Di Francesco, and A. Passarella. 2009. Energy conservation in wireless sensor networks: A survey. Ad Hoc Networks 7, 3 (May 2009), 537-568. DOI:http://dx.doi.org/10.1016/j.adhoc.2008.06.003
4. G. Antoniol, R. Fiutem, E. Merlo, and P. Tonella. 1995. Application and user interface migration from BASIC to visual C++. In Proceedings of the International Conference on Software Maintenance (ICSM'95). 76. DOI:http://dx.doi.org/10.1109/ICSM.1995.526529
5. M. P. Ashley-Rollman, S. C. Goldstein, P. Lee, T. C. Mowry, and P. Pillai. 2007. Meld: A declarative approach to programming ensembles. In 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems. 2794-2800. DOI:http://dx.doi.org/10.1109/IROS.2007.4399480
6. M. P. Ashley-Rollman, P. Lee, S. C. Goldstein, P. Pillai, and J. Campbell. 2009. A language for large ensembles of independently executing nodes. In Proceedings of the 25th International Conference on Logic Programming (ICLP'09). 265-280. DOI:http://dx.doi.org/10.1007/978-3-642-02846-5-24
7. J. Aweya. 2014. Implementing synchronous ethernet in telecommunication systems. IEEE Communications Surveys and Tutorials 16, 2 (2014), 1080-1113. DOI:http://dx.doi.org/10.1109/SURV.2013.103113.00260
8. A. A. Aziz, Y. A. Sekercioglu, P. G. Fitzpatrick, and M. V. Ivanovich. 2013. A survey on distributed topology control techniques for extending the lifetime of battery powered wireless sensor networks. IEEE Communications Surveys and Tutorials 15, 1 (2013), 121-144. DOI:http://dx.doi.org/10.1109/SURV.2012.031612.00124
9. L. S. Bai, R. P. Dick, and P. A. Dinda. 2009. Archetype-based design: Sensor network programming for application experts, not just programming experts. In Proceedings of the 8th International Conference on Information Processing in Sensor Networks (IPSN'09). 85-96. DOI:http://dx.doi.org/10.1145/1602165.1602175
10. P. Basanta-Val, M. García-Valls, and I. Estévez-Ayres. 2011. A dual programming model for distributed real-time java. IEEE Transactions on Industrial Informatics 7, 4 (2011), 750-758. DOI:http://dx.doi.org/10.1109/TII.2011.2166796
11. J. Beal and J. Bachrach. 2006. Infrastructure for engineered emergence on sensor/actuator networks. IEEE Intelligent Systems 21, 2 (2006), 10-19. DOI:http://dx.doi.org/10.1109/MIS.2006.29
12. A. A. Berlin and K. J. Gabriel. 1997. Distributed MEMS: New challenges for computation. IEEE Computational Science and Engineering 4, 1 (Jan. 1997), 12-16. DOI:http://dx.doi.org/10.1109/99.590851
13. D. M. Blough, G. Resta, P. Santi, and M. Leoncini. 2009. Self organization and self maintenance of mobile ad hoc networks through dynamic topology control. In Architecting Dependable Systems VII. 26-52. DOI:http://dx.doi.org/10.1007/978-3-642-17245-8-2
14. N. Boillot, D. Dhoutaut, and J. Bourgeois. 2013. Efficient simulation environment of wireless radio communications in MEMS modular robots. In 2013 IEEE International Conference on Green Computing and Communications (GreenCom'13) and IEEE Internet of Things (iThings'13) and IEEE Cyber, Physical and Social Computing (CPSCom'13). 638-645. DOI:http://dx.doi.org/10.1109/GreenCom-iThings-CPSCom. 2013.118
15. P. Bonnet, J. Gehrke, and P. Seshadri. 2000. Querying the physical world. IEEE Personal Communications 7, 5 (2000), 10-15. DOI:http://dx.doi.org/10.1109/98.878531
16. M. Bordignon, K. Støy, and U. P. Schultz. 2011. Generalized programming of modular robots through kinematic configurations. In 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'11). 3659-3666. DOI:http://dx.doi.org/10.1109/IROS.2011.6094811
17. J. Bourgeois, J. Cao, M. Raynal, D. Dhoutaut, B. Piranda, E. Dedu, A. Mostefaoui, and H. Mabed. 2013. Coordination and computation in distributed intelligent MEMS. In 27th IEEE International Conference on Advanced Information Networking and Applications (AINA'13). 129-136. DOI:http://dx.doi.org/10.1109/AINA.2013.27
18. J. Bourgeois and S. C. Goldstein. 2015. Distributed intelligent MEMS: Progresses and perspectives. IEEE Systems Journal 9, 3 (2015), 1057-1068. DOI:http://dx.doi.org/10.1109/JSYST.2013.2281124
19. E. R. Brown. 1998. RF-MEMS switches for reconfigurable integrated circuits. IEEE Transactions on Microwave Theory and Techniques 46, 11 (Nov. 1998), 1868-1880. DOI:http://dx.doi.org/10.1109/22.734501
20. A. Brunete, M. Hernando, and E. Gambao. 2013. Offline GA-based optimization for heterogeneous modular multiconfigurable chained microrobots. IEEE/ASME Transactions on Mechatronics 18, 2 (April 2013), 578-585. DOI:http://dx.doi.org/10.1109/TMECH.2012.2220560
21. P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. 1987. LUSTRE: A declarative language for real-time programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'87). ACM, New York, NY, 178-188. DOI:http://dx.doi.org/10.1145/41625.41641
22. E. Cheong, J. Liebman, J. Liu, and F. Zhao. 2003. TinyGALS: A programming model for event-driven embedded systems. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC'03). 698-704. DOI:http://dx.doi.org/10.1145/952532.952668
23. A. A. Chicar, J. E. Esposito, and A. Lutenberg. 2013. Design of an extensible, portable and POSIX compliant protocol. In 2013 Fourth Argentine Symposium and Conference on Embedded Systems (SASE/CASE'13). 1-6. DOI:http://dx.doi.org/10.1109/SASE-CASE.2013.6636774
24. D. Chu, A. Tavakoli, L. Popa, and J. M. Hellerstein. 2006. Entirely declarative sensor network systems. In Proceedings of the 32nd International Conference on Very Large Data Bases. 1203-1206. http://dl.acm.org/citation.cfm?id=1164244
25. A. Das, A. Kumar, and B. Veeravalli. 2013. Reliability-driven task mapping for lifetime extension of networkson-chip based multiprocessor systems. In Design, Automation and Test in Europe (DATE'13). 689-694. DOI:http://dx.doi.org/10.7873/DATE.2013.149
26. D. De Reus, S. Cunningham, S. Natarajan, A. Morris, and J. Hilbert. 2014. Dynamic characterization of tunable RF MEMS products. In 2014 IEEE 27th International Conference on Micro Electro Mechanical Systems (MEMS'14). 1253-1256. DOI:http://dx.doi.org/10.1109/MEMSYS.2014.6765876
27. M. De Rosa, S. C. Goldstein, P. Lee, P. Pillai, and J. Campbell. 2008. Programming modular robots with locally distributed predicates. In 2008 IEEE International Conference on Robotics and Automation (ICRA'08). 3156-3162. DOI:http://dx.doi.org/10.1109/ROBOT.2008.4543691
28. A. Deshpande, C. Montiel, and L. McLauchlan. 2014. Wireless sensor networks - A comparative study for energy minimization using topology control. In 2014 6th Annual IEEE Green Technologies Conference. 44-48. DOI:http://dx.doi.org/10.1109/GREENTECH.2014.30
29. D. J. Dewey, M. P. Ashley-Rollman, M. De Rosa, S. C. Goldstein, T. C. Mowry, S. S. Srinivasa, P. Pillai, and J. Campbell. 2008. Generalizing metamodules to simplify planning in modular robotic systems. In 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems. 1338-1345. DOI:http://dx.doi.org/10.1109/IROS.2008.4651094
30. D. Dhoutaut, B. Piranda, and J. Bourgeois. 2013. Efficient simulation of distributed sensing and control environments. In 2013 IEEE International Conference on Green Computing and Communications (Green-Com'13) and IEEE Internet of Things (iThings'13) and IEEE Cyber, Physical and Social Computing (CPSCom'13). 452-459. DOI:http://dx.doi.org/10.1109/GreenCom-iThings-CPSCom.2013.93
31. M. Díaz, B. Rubio, and J. M. Troya. 1997. DRL: A distributed real-time logic language. Computer Languages 23, 2-4 (1997), 87-120. DOI:http://dx.doi.org/10.1016/S0096-0551(97)00011-8
32. A. Dutta, P. Dasgupta, J. Baca, and C. A. Nelson. 2014. searchUCSG: A fast coalition structure search algorithm for modular robot reconfiguration under uncertainty. Robotica 32, 2 (2014), 225-244. DOI:http://dx.doi.org/10.1017/S0263574714000095
33. R. Edirisinghe and A. B. Zaslavsky. 2014. Cross-layer contextual interactions in wireless networks. IEEE Communications Surveys and Tutorials 16, 2 (2014), 1114-1134. DOI:http://dx.doi.org/10.1109/SURV.2013.101813.00023
34. N. A. Elshiewy. 1990. Logic programming for real-time control of telecommunication switching systems. Journal of Logarithmic Programming 8, 1 (1990), 121-144. DOI:http://dx.doi.org/10.1016/0743-1066(90)90054-9
35. D. Feng, C. Jiang, G. Lim, L. J. Cimini Jr., G. Feng, and G. Y. Li. 2013. A survey of energy-efficient wireless communications. IEEE Communications Surveys and Tutorials 15, 1 (2013), 167-178. DOI:http://dx.doi.org/10.1109/SURV.2012.020212.00049
36. P. Furtado. 2012. Stream DB sensor networks. In IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI 12). 1186-1193. DOI:http://dx.doi.org/10.1109/ICTAI.2012.170
37. S. Gauglitz, C. Sweeney, J. Ventura, M. Turk, and T. Hollerer. 2014. Model estimation and selection towards unconstrained real-time tracking and mapping. IEEE Transactions on Visualization and Computer Graphics 20, 6 (June 2014), 825-838. DOI:http://dx.doi.org/10.1109/TVCG.2013.243
38. D. Gay, P. Levis, J. R. von Behren, M. Welsh, E. A. Brewer, and D. E. Culler. 2003. The nesC language: A holistic approach to networked embedded systems. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003. 1-11. DOI:http://dx.doi.org/10.1145/781131.781133
39. G. Giannopoulou, N. Stoimenov, P. Huang, and L. Thiele. 2014. Mapping mixed-criticality applications on multi-core architectures. In Design, Automation & Test in Europe Conference & Exhibition (DATE'14). 1-6. DOI:http://dx.doi.org/10.7873/DATE.2014.111
40. S. C. Goldstein, J. Campbell, and T. C. Mowry. 2005. Programmable matter. IEEE Computer 38, 6 (2005), 99-101. DOI:http://dx.doi.org/10.1109/MC.2005.198
41. S. C. Goldstein and T. C. Mowry. 2004. Claytronics: A scalable basis for future robots. In Robo Sphere 2004. http://www.cs.cmu.edu/~claytronics/papers/goldstein-robosphere04.pdf.
42. M. M. Gooley and B.W. Wah. 1989. Efficient reordering of prolog programs. IEEE Transactions on Knowledge and Data Engineering 1, 4 (1989), 470-482. DOI:http://dx.doi.org/10.1109/69.43422
43. S. Gorender, R. J. de Araújo Macȩdo, and M. Raynal. 2007. An adaptive programming model for faulttolerant distributed computing. IEEE Transactions on Dependable and Secure Computing 4, 1 (2007), 18-31. DOI:http://dx.doi.org/10.1109/TDSC.2007.3
44. K. N. Gregertsen and A. Skavhaug. 2009. A real-time framework for Ada 2005 and the ravenscar profile. In Prodeedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA'09). 515-522. DOI:http://dx.doi.org/10.1109/SEAA.2009.40
45. V. G. Guimaraes, A. Bauchspiess, and R. M. de Moraes. 2013. Dynamic timed energy efficient and data collision free MAC protocol for wireless sensor networks. In 2013 IEEE Latin-America Conference on Communications. 1-6. DOI:http://dx.doi.org/10.1109/LatinCom.2013.6759820
46. R. Gummadi, O. Gnawali, and R. Govindan. 2005. Macro-programming wireless sensor networks using Kairos. In Proceedings of the 1st IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS'05). 126-140. DOI:http://dx.doi.org/10.1007/11502593-12
47. 2 protocol for wireless sensor and actor networks. IEEE/ACM Transactions on Networking 16, 2 (2008), 359-370. DOI:http://dx.doi.org/10.1145/1373990.1373999
48. V. Gupta, J. Kim, A. Pandya, K. Lakshmanan, R. Rajkumar, and E. Tovar. 2011. Nano-CF: A coordination framework for macro-programming in wireless sensor networks. In Proceedings of the 8th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON'11). 467-475. DOI:http://dx.doi.org/10.1109/SAHCN.2011.5984931
49. S. Haider, N. R. Ansari, M. Akbar, M. R. Perwez, and K. M. Ghori. 2011. Fault tolerance in distributed paradigms. In Proceedings of the 2011 International Conference on Computer Communication and Management (CSIT), Vol. 5.
50. M. Han, Z. Duan, and X. Wang. 2012. Time constraints with temporal logic programming. In Formal Methods and Software Engineering - Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM'12). 266-282. DOI:http://dx.doi.org/10.1007/978-3-642-34281-3-20
51. A. S. Hartman, D. E. Thomas, and B. H. Meyer. 2010. A case for lifetime-aware task mapping in embedded chip multiprocessors. In Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'10), part of ESWeek'10 Sixth Embedded Systems Week. 145-154. DOI:http://dx.doi.org/10.1145/1878961.1878987
52. W. B. Heinzelman, A. L. Murphy, H. S. Carvalho, and M. A. Perillo. 2004. Middleware to support sensor network applications. IEEE Network 18, 1 (2004), 6-14. DOI:http://dx.doi.org/10.1109/MNET.2004.1265828
53. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. 2003. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE 91, 1 (2003), 84-99.
54. S. T. S. Holmstrom, U. Baran, and H. Urey. 2014. MEMS laser scanners: A review. Journal of Microelectromechanical Systems 23, 2 (April 2014), 259-275. DOI:http://dx.doi.org/10.1109/JMEMS.2013.2295470
55. J. Hooman and O. Van Roosmalen. 1996. A Programming-Language Extension for Distributed Real-Time Systems. Technical Report 97/02, Department of Computing Science, Eindhoven University of Technology, 1-50.
56. T. Hu and Y. Fei. 2013. DSH-MAC: Medium access control based on decoupled and suppressed handshaking for long-delay underwater acoustic sensor networks. In 38th Annual IEEE Conference on Local Computer Networks. 523-531. DOI:http://dx.doi.org/10.1109/LCN.2013.6761287
57. Y. Huang, A. Sai Sarathi Vasan, R. Doraiswami, M. Osterman, and M. Pecht. 2012. MEMS reliability review. IEEE Transactions on Device and Materials Reliability 12, 2 (June 2012), 482-493. DOI:http://dx.doi.org/10.1109/TDMR.2012.2191291
58. D. L. Iacono, M. Ronchi, L. Della Torre, and F. Osnato. 2008. MIMO OFDM physical layer real-time prototyping. In Proceedings of the IEEE Wireless Communications & Networking Conference (WCNC'08). 18-23. DOI:http://dx.doi.org/10.1109/WCNC.2008.9
59. M. Karpinski and V. Cahill. 2008. Stream-based macro-programming of wireless sensor, actuator network applications with SOSNA. In Proceedings of the 5th Workshop on Data Management for Sensor Networks, in Conjunction with VLDB (DMSN'08). 49-55. DOI:http://dx.doi.org/10.1145/1402050.1402061
60. M. Khorgade and A. Gaidhane. 2011. Applications of MEMS in robotics and BioMEMS. In Proceedings of the 13th UKSim-AMSS International Conference on Computer Modelling and Simulation. 522-527. DOI:http://dx.doi.org/10.1109/UKSIM.2011.106
61. B. G. Kim, L. T. X. Phan, O. Sokolsky, and I. Lee. 2013. Platform-dependent code generation for embedded real-time software. In International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES'13). 8:1-8:10. DOI:http://dx.doi.org/10.1109/CASES.2013.6662512
62. R. A. Knepper and D. Rus. 2013. On the completeness of ensembles of motion planners for decentralized planning. In 2013 IEEE International Conference on Robotics and Automation. 4112-4119. DOI:http://dx.doi.org/10.1109/ICRA.2013.6631157
63. H. Kopetz. 2011. Real-Time Systems - Design Principles for Distributed Embedded Applications. Springer. DOI:http://dx.doi.org/10.1007/978-1-4419-8237-7
64. N. Kothari, R. Gummadi, T. D. Millstein, and R. Govindan. 2007. Reliable and efficient programming abstractions for wireless sensor networks. In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation. 200-210. DOI:http://dx.doi.org/10.1145/1250734.1250757
65. T.-W. Kuo, K.-C. Lee, K. C.-J. Lin, and M.-J. Tsai. 2014. Leader-contention-based user matching for 802.11 multiuser MIMO networks. IEEE Transactions on Wireless Communications 13, 8 (2014), 4389-4400. DOI:http://dx.doi.org/10.1109/TWC.2014.2320908
66. R. Lagisetty, N. K. Philip, R. Padhi, and M. S. Bhat. 2013. Object detection and obstacle avoidance for mobile robot using stereo camera. In Proceedings of the IEEE International Conference on Control Applications (CCA'13). 605-610. DOI:http://dx.doi.org/10.1109/CCA.2013.6662816
67. H. Lakhlef, J. Bourgeois, and H. Mabed. 2014. Robust parallel redeployment algorithm for MEMS microrobots. In 28th IEEE International Conference on Advanced Information Networking and Applications (AINA'14). 1057-1064. DOI:http://dx.doi.org/10.1109/AINA.2014.128
68. S. M. Lasassmeh and J. M. Conrad. 2010. Time synchronization in wireless sensor networks: A survey. In Proceedings of the IEEE SoutheastCon 2010 (SoutheastCon'10). 242-245. DOI:http://dx.doi.org/10.1109/SECON.2010.5453878
69. G. J. Laurent, A. Delettre, R. Zeggari, R. Yahiaoui, J.-F. Manceau, and N. Le Fort-Piat. 2014. Micropositioning and fast transport using a contactless micro-conveyor. Micromachines 5, 1 (2014), 66-80. DOI:http://dx.doi.org/10.3390/mi5010066
70. P. Levis, D. Gay, and D. Culler. 2004. Bridging the Gap: Programming Sensor Networks with Application Specific Virtual Machines. Technical Report UCB/CSD-04-1343, EECS Department, University of California, Berkeley, 273-288.
71. P. Levis, D. Gay, and D. E. Culler. 2005. Active sensor networks. In Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI'05). http://www.usenix.org/events/nsdi05/tech/levis.html.
72. Z. Li and H. Shen. 2014. A QoS-oriented distributed routing protocol for hybrid wireless networks. IEEE Transactions on Mobile Computing 13, 3 (2014), 693-708. DOI:http://dx.doi.org/10.1109/TMC.2012.258
73. Y.-s. Lim, Y.-C. Chen, E.M. Nahum, D. Towsley, and K.-W. Lee. 2014. Cross-layer path management inmultipath transport protocol for mobile devices. In 2014 IEEE Conference on Computer Communications (INFOCOM'14). 1815-1823. DOI:http://dx.doi.org/10.1109/INFOCOM.2014.6848120
74. T. Liu and M. Martonosi. 2003. Impala: A middleware system for managing autonomic, parallel sensor systems. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'03). 107-118. DOI:http://dx.doi.org/10.1145/781498.781516
75. W. Liu, Z. Gu, J. Xu, X. Wu, and Y. Ye. 2011. Satisfiability modulo graph theory for task mapping and scheduling on multiprocessor systems. IEEE Transactions on Parallel Distributed Systems 22, 8 (2011), 1382-1389. DOI:http://dx.doi.org/10.1109/TPDS.2010.204
76. M. Lombardi, M. Milano, and L. Benini. 2013. Robust scheduling of task graphs under execution time uncertainty. IEEE Transactions on Computers 62, 1 (2013), 98-111. DOI:http://dx.doi.org/10.1109/TC.2011.203
77. B. T. Loo, T. Condie, M. N. Garofalakis, D. E. Gay, J.M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. 2006. Declarative networking: Language, execution and optimization. In Proceedings of the ACMSIGMOD International Conference on Management of Data. 97-108. DOI:http://dx.doi.org/10.1145/1142473.1142485
78. R. Lublinerman and S. Tripakis. 2008. Modular code generation from triggered and timed block diagrams. In Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08). 147-158. DOI:http://dx.doi.org/10.1109/RTAS.2008.12
79. A. Macwan, G. Nejat, and B. Benhabib. 2011. Target-motion prediction for robotic search and rescue in wilderness environments. IEEE Transactions Systems, Man, and Cybernetics, Part B 41, 5 (2011), 1287-1298. DOI:http://dx.doi.org/10.1109/TSMCB.2011.2132716
80. S. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. 2003. The design of an acquisitional query processor for sensor networks. In Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data. 491-502. DOI:http://dx.doi.org/10.1145/872757.872817
81. G. Manimaran and C. Siva Ram Murthy. 1998. A fault-tolerant dynamic scheduling algorithm for multiprocessor real-time systems and its analysis. IEEE Transactions on Parallel Distributed Systems 9, 11 (1998), 1137-1152. DOI:http://dx.doi.org/10.1109/71.735960
82. N. Marenco, W. Reinert, S. Warnat, P. Lange, S. Gruenzig, G. Hillmann, H. Kostner, G. Bock, S. Guadagnuolo, and A. Conte. 2008. Vacuum encapsulation of resonant MEMS sensors by direct chip-towafer stacking on ASIC. In 10th Electronics Packaging Technology Conference, 2008 (EPTC'08). 773-777. DOI:http://dx.doi.org/10.1109/EPTC.2008.4763526
83. F. Mehran and A. Rahimian. 2012. Physical layer performance enhancement for femtocell SISO/MISO soft real-time wireless communication systems employing serial concatenation of quadratic interleaved codes. In 20th Iranian Conference on Electrical Engineering (ICEE'12). 1188-1193. DOI:http://dx.doi.org/10.1109/IranianCEE.2012.6292535
84. Y. Meng, Y. Zhang, A. Sampath, Y. Jin, and B. Sendhoff. 2011. Cross-ball: A new morphogenetic selfreconfigurable modular robot. In IEEE International Conference on Robotics and Automation (ICRA'11). 267-272. DOI:http://dx.doi.org/10.1109/ICRA.2011.5979973
85. M. Mernik, J. Heering, and A. M. Sloane. 2005. When and how to develop domain-specific languages. ACM Computing Surveys 37, 4 (2005), 316-344. DOI:http://dx.doi.org/10.1145/1118890.1118892
86. B. N. Mills, T. Znati, and R. G. Melhem. 2014. Shadow computing: An energy-aware fault tolerant computing model. In International Conference on Computing, Networking and Communications (ICNC'14). 73-77. DOI:http://dx.doi.org/10.1109/ICCNC.2014.6785308
87. L. Mottola and G. P. Picco. 2006. Logical neighborhoods: A programming abstraction for wireless sensor networks. In Proceedings of the 2nd IEEE International Conference Distributed Computing in Sensor Systems (DCOSS'06). 150-168. DOI:http://dx.doi.org/10.1007/11776178-10
88. P. M. Moubarak and P. Ben-Tzvi. 2012. Modular and reconfigurablemobile robotics. Robotics and Autonomous Systems 60, 12 (2012), 1648-1663. DOI:http://dx.doi.org/10.1016/j.robot.2012.09.002
89. A. K. Naskar, S. Patra, and S. Sen. 2015. Reconfigurable direct allocation for multiple actuator failures. IEEE Transactions on Control Systems Technology 23, 1 (2015), 397-405. DOI:http://dx.doi.org/10.1109/TCST.2014.2321665
90. R. Newton, G. Morrisett, and M. Welsh. 2007. The regiment macroprogramming system. In Proceedings of the 6th International Conference on Information Processing in Sensor Networks (IPSN'07). 489-498. DOI:http://dx.doi.org/10.1145/1236360.1236422
91. N. Ng and N. Yoshida. 2014. Pabble: Parameterised scribble for parallel programming. In 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP'14). 707-714. DOI:http://dx.doi.org/10.1109/PDP.2014.20
92. V. Nicosia. 2007. Towards hard real-time Erlang. In Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang. 29-36. DOI:http://dx.doi.org/10.1145/1292520.1292525
93. M. Nilsson. 1990. Mobile robot control with concurrent logic languages. In Proceedings of the Workshop on Real Time, 1990 (Euromicro'90). 42-46. DOI:http://dx.doi.org/10.1109/EMWRT.1990.128225
94. J. Niu, C. Liu, Y. Gao, and M. Qiu. 2014. Energy efficient task assignment with guaranteed probability satisfying timing constraints for embedded systems. IEEE Transactions on Parallel Distributed Systems 25, 8 (2014), 2043-2052. DOI:http://dx.doi.org/10.1109/TPDS.2013.251
95. A. Pathak and V. K. Prasanna. 2010. Energy-efficient task mapping for data-driven sensor network macroprogramming. IEEE Transactions on Computers 59, 7 (2010), 955-968. DOI:http://dx.doi.org/10.1109/TC.2009.168
96. J. Perez, J. Jimenez, A. Rabanal, A. Astarloa, and J. Lázaro. 2014. FTL-CFree: A fuzzy real-time language for runtime verification. IEEE Transactions on Industrial Informatics 10, 3 (2014), 1670-1683. DOI:http://dx.doi.org/10.1109/TII.2014.2307531
97. B. Piranda, G. J. Laurent, J. Bourgeois, C. Clevy, S. Mobes, and N. Le Fort-Piat. 2013. A new concept of planar self-reconfigurable modular robot for conveying microparts. Mechatronics 23, 7 (2013), 906-915. DOI:http://dx.doi.org/10.1016/j.mechatronics.2013.08.0091. Fractional Order Modeling and Control in Mechatronics 2. Design, control, and software implementation for distributed {MEMS} (dMEMS).
98. G. Qiao, G. Song, Y. Wang, J. Zhang, and W. Wang. 2013. Autonomous network repairing of a home security system using modular self-reconfigurable robots. IEEE Transactions on Consumer Electronics 59, 3 (2013), 562-570. DOI:http://dx.doi.org/10.1109/TCE.2013.6626239
99. H. Ramezani and G. Leus. 2013. DMC-MAC: Dynamic multi-channel MAC in underwater acoustic networks. In 21st European Signal Processing Conference (EUSIPCO'13). 1-5. http://ieeexplore.ieee.org/xpl/freeabs-all.jsp?arnumber=6811448.
100. T. Rault, A. Bouabdallah, and Y. Challal. 2014. Energy efficiency in wireless sensor networks: A top-down survey. Computer Networks 67 (2014), 104-122. DOI:http://dx.doi.org/10.1016/j.comnet.2014.03.027
101. S. Rehman, A. Toma, F. Kriebel, M. Shafique, J.-J. Chen, and J. Henkel. 2013. Reliable code generation and execution on unreliable hardware under joint functional and timing reliability considerations. In 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'13). 273-282. DOI:http://dx.doi.org/10.1109/RTAS.2013.6531099
102. D. Renaux and P. P. Dasiewicz. 1993. RTX-parlog: Real-time extended parlog. In Proceedings of the 5th Euromicro Workshop on Real-Time Systems (RTS'93). 147-153. DOI:http://dx.doi.org/10.1109/EMWRT. 1993.639082
103. S. Sastry and S. S. Iyengar. 2005. Real-time sensor-actuator networks. International Journal of Distributed Sensor Networks 1, 1 (2005), 17-34. DOI:http://dx.doi.org/10.1080/15501320490886314
104. R. Sauter, O. Saukh, O. Frietsch, and P. J. Marrón. 2011. TinyLTS: Efficient network-wide logging and tracing system for TinyOS. In 30th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies (INFOCOM'11). 2033-2041. DOI:http://dx.doi.org/10.1109/INFCOM.2011.5935011
105. T. Savor and P. P. Dasiewicz. 1993. A real-time extension to logic programming based on the concurrent constraint logic programming paradigm. In Proceedings of the International Conference on Principles & Practice of Constraint Programming (PPCP'93). 269-277.
106. K. W. Schmidt and E. G. Schmidt. 2012. Distributed real-time protocols for industrial control systems: Framework and examples. IEEE Transactions on Parallel Distributed Systems 23, 10 (2012), 1856-1866. DOI:http://dx.doi.org/10.1109/TPDS.2011.300
107. L. Sha, T. F. Abdelzaher, K.-E. Årzén, A. Cervin, T. P. Baker, A. Burns, G. C. Buttazzo, M. Caccamo, J. P. Lehoczky, and A. K. Mok. 2004. Real time scheduling theory: A historical perspective. Real-Time Systems 28, 2-3 (2004), 101-155. DOI:http://dx.doi.org/10.1023/B:TIME.0000045315.61234.1e
108. W. Shen, L. Wang, and Q. Hao. 2006. Agent-based distributed manufacturing process planning and scheduling: A state-of-the-art survey. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 36, 4 (July 2006), 563-577. DOI:http://dx.doi.org/10.1109/TSMCC.2006.874022
109. K. Stoy, A. Lyder, R. F. M. Garcia, and D. Christensen. 2007. Hierarchical robot. In IROS Workshop on Self-Reconfigurable Robots/Systems and Applications.
110. R. Sugihara and R. K. Gupta. 2008. Programming models for sensor networks: A survey. ACM Transactions on Sensor Networks (TOSN) 4, 2 (2008), 1-29. DOI:http://dx.doi.org/10.1145/1340771.1340774
111. B. Tavli and W. R. Heinzelman. 2011. Energy-efficient real-time multicast routing inmobile ad hoc networks. IEEE Transactions on Computers 60, 5 (2011), 707-722. DOI:http://dx.doi.org/10.1109/TC.2010.118
112. Z. Teng and K.-I. Kim. 2010. A survey on real-time MAC protocols in wireless sensor networks. Communications and Network 2, 2 (2010), 104-112. DOI:http://dx.doi.org/10.4236/cn.2010.22017
113. M. F. Uddin, C. Rosenberg, W. Zhuang, P. Mitran, and A. Girard. 2014. Joint routing and medium access control in fixed random access wireless multihop networks. IEEE/ACM Transactions on Networking 22, 1 (2014), 80-93. DOI:http://dx.doi.org/10.1109/TNET.2013.2243163
114. K. S. Van Hornweder. 2011. A chronological survey of modular self-reconfigurable robots. Department of Electrical Engineering & Computer Science University of Tennessee (2011).
115. J. E. Walter, E. M. Tsai, and N. M. Amato. 2005. Algorithms for fast concurrent reconfiguration of hexagonal metamorphic robots. IEEE Transactions on Robotics 21, 4 (2005), 621-631. DOI:http://dx.doi.org/10.1109/TRO.2004.842325
116. Y.-C. Wang. 2014. Mobile sensor networks: System hardware and dispatch software. ACM Computer Surveys 47, 1 (2014), 12:1-12:36. DOI:http://dx.doi.org/10.1145/2617662
117. B. Warneke, M. Last, B. Liebowitz, and K. S. J. Pister. 2001. Smart dust: Communicating with a cubicmillimeter computer. IEEE Computer 34, 1 (2001), 44-51. DOI:http://dx.doi.org/10.1109/2.895117
118. K. Whitehouse, C. Sharp, D. E. Culler, and E. A. Brewer. 2004. Hood: A neighborhood abstraction for sensor networks. In Proceedings of the 2nd International Conference on Mobile Systems, Applications, and Services (MobiSys'04).
119. S. Wong and J. Walter. 2013. Deterministic distributed algorithm for self-reconfiguration of modular robots from arbitrary to straight chain configurations. In 2013 IEEE International Conference on Robotics and Automation. 537-543. DOI:http://dx.doi.org/10.1109/ICRA.2013.6630626
120. Y.-C. Wu, Q. M. Chaudhari, and E. Serpedin. 2011. Clock synchronization of wireless sensor networks. IEEE Signal Processing Magazine 28, 1 (2011), 124-138. DOI:http://dx.doi.org/10.1109/MSP.2010.938757
121. B. Yao, L. Feng, X. Wang, M. Liu, Z. Zhou, and W. Liu. 2014. Design of out-of-plane MOEMS accelerometer with subwavelength gratings. IEEE Photonics Technology Letters 26, 10 (May 2014), 1027-1030. DOI:http://dx.doi.org/10.1109/LPT.2014.2312796
122. M. Yim, W.-M. Shen, B. Salemi, D. Rus, M. Moll, H. Lipson, E. Klavins, and G. S. Chirikjian. 2007. Modular self-reconfigurable robot systems [Grand challenges of robotics]. IEEE Robotics Automation Magazine 14, 1 (2007), 43-52. DOI:http://dx.doi.org/10.1109/MRA.2007.339623
123. C. Yoo, R. Fitch, and S. Sukkarieh. 2013. Provably-correct stochastic motion planning with safety constraints. In 2013 IEEE International Conference on Robotics and Automation. 981-986. DOI:http://dx.doi.org/10.1109/ICRA.2013.6630692
124. Y. Zhao, J. Liu, and E. A. Lee. 2007. A programming model for time-synchronized distributed real-time systems. In Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'07). 259-268. DOI:http://dx.doi.org/10.1109/RTAS.2007.5
125. R. Zhou, R. Min, Q. Yu, C. Li, Y. Sheng, Q. Zhou, X. Wang, and K.-C. Li. 2014. Formal verification of faulttolerant and recovery mechanisms for safe node sequence protocol. In 28th IEEE International Conference on Advanced Information Networking and Applications (AINA'14). 813-820. DOI:http://dx.doi.org/10.1109/AINA.2014.99
126. H. Zhu, P. Wang, and Z. Fan. 2010. Evolutionary design optimization of MEMS: A brief review. In 2010 IEEE International Conference on Industrial Technology (ICIT'10). 1683-1687. DOI:http://dx.doi.org/10.1109/ICIT.2010.5472635
127. W.-H. Zhu, T. Lamarche, E. Dupuis, D. Jameux, P. Barnard, and G. Liu. 2013. Precision control of modular robot manipulators: The VDC approach with embedded FPGA. IEEE Transactions on Robotics 29, 5 (2013), 1162-1179. DOI:http://dx.doi.org/10.1109/TRO.2013.2265631
128. H. Zimmermann. 1980. OSI reference model - The ISO model of architecture for open systems interconnection. IEEE Transactions on Communications 28, 4 (April 1980), 425-432. DOI:http://dx.doi.org/10.1109/TCOM.1980.1094702