A survey of language-based approaches to Cyber-Physical and embedded system development

Tsinghua Science and Technology

Volumn 20, Issue 2, 2015, Pages 130-141

  Soulier, Paul ^a   Li, Depeng ^a   Williams, John R ^b  

^a UNIVERSITY OF HAWAII   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

cyber physical systems; embedded systems; programming languages; type systems

Indexed keywords

BIOMEDICAL EQUIPMENT; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; SOFTWARE RELIABILITY; SURVEYS;

AUTOMOTIVE APPLICATIONS; COMPUTING CAPABILITY; CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); ELECTRONIC BRAKING SYSTEM; EMBEDDED SYSTEM DEVELOPMENT; INDUSTRIAL CONTROL SYSTEMS; TYPE SYSTEMS;

C (PROGRAMMING LANGUAGE);

EID: 84930640124     PISSN: 10070214     EISSN: 18787606     Source Type: Journal    
DOI: 10.1109/TST.2015.7085626     Document Type: Article

References (38)

1. J. Lions, Report by the inquiry board on the ariane 5 flight 501 failure, Joint Communication ESA-CNES, 1996.
2. E. Marshall, Fatal error: How patriot overlooked a scud, Science, vol. 255, no. 5050, pp. 1347-1347, 1992.
3. N. G. Leveson and C. S. Turner, An investigation of the therac-25 accidents, Computer, vol. 26, no. 7, pp. 18-41, 1993.
4. C. Bolkcom, V-22 osprey tilt-rotor aircraft, DTIC Document, 2004.
5. R. Langner, Stuxnet: Dissecting a cyberwarfare weapon, Security & Privacy, IEEE, vol. 9, no. 3, pp. 49-51, 2011.
6. D. Halperin, T. S. Heydt-Benjamin, B. Ransford, S. S. Clark, B. Defend, W. Morgan, K. Fu, T. Kohno, and W. H. Maisel, Pacemakers and implantable cardiac defibrillators: Software radio attacks and zero-power defenses, in Security and Privacy, 2008. SP 2008. IEEE Symposium on, 2008, pp. 129-142.
7. B. Boehm and V. R. Basili, Software defect reduction top 10 list, Computer, vol. 34, no. 1, pp. 135-137, 2005.
8. International Organization for Standardization, Programming languages c, Geneva, Switzerland, ISO 9899:TC2, 1999.
9. International Organization for Standardization, Programming language c++, Geneva, Switzerland, ISO 14882:2011, 2011.
10. A. Alexandrescu, The D Programming Language. Addison-Wesley Professional, 2010.
11. S. T. Taft, Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1. Springer, 2006, vol. 4348.
12. T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang, Cyclone: A safe dialect of c, in USENIX Annual Technical Conference, General Track, 2002, pp. 275-288.
13. G. C. Necula, J. Condit, M. Harren, S. McPeak, and W. Weimer, Ccured: Type-safe retrofitting of legacy software, ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 27, no. 3, pp. 477-526, 2005.
14. J. Condit, M. Harren, Z. Anderson, D. Gay, and G. C. Necula, Dependent types for low-level programming, in Programming Languages and Systems. Springer, 2007, pp. 520-535.
15. D. Gay, P. Levis, R. Von Behren, M. Welsh, E. Brewer, and D. Culler, The nesc language: A holistic approach to networked embedded systems, ACM Sigplan Notices, vol. 38, no. 5, pp. 1-11, 2003.
16. A. Bernauer, K. Römer, S. Santini, and J. Ma, Threads2events: An automatic code generation approach, in Proceedings of the 6th Workshop on Hot Topics in Embedded Networked Sensors, ACM, 2010, p. 8.
17. O. Kasten and K. Römer, Beyond event handlers: Programming wireless sensors with attributed state machines, in Proceedings of the 4th International Symposium on Information Processing in Sensor Networks, 2005, p. 7.
18. A. Adya, J. Howell, M. Theimer, W. J. Bolosky, and J. R. Douceur, Cooperative task management without manual stack management, in USENIX Annual Technical Conference, General Track, 2002, pp. 289-302.
19. A. Dunkels, O. Schmidt, T. Voigt, and M. Ali, Protothreads: Simplifying event-driven programming of memory-constrained embedded systems, in Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006, pp. 29-42.
20. A. Dunkels, O. Schmidt, and T. Voigt, Using protothreads for sensor node programming, in Proceedings of the REALWSN, 2005.
21. S. Rossetto and N. d. L. R. Rodriguez, A cooperative multitasking model for networked sensors. in ICDCS Workshops, Citeseer, 2006, p. 91.
22. W. P. McCartney and N. Sridhar, Stackless preemptive multithreading for tinyos, in Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on, 2011, pp. 1-8.
23. J. Sallai, M. Maróti, and Á. Lédeczi, A concurrency abstraction for reliable sensor network applications, in Reliable Systems on Unreliable Networked Platforms. Springer, 2007, pp. 143-160.
24. C. Nitta, R. Pandey, and Y. Ramin, Y-threads: Supporting concurrency in wireless sensor networks, in Distributed Computing in Sensor Systems. Springer, 2006, pp. 169-184.
25. D. Grossman, Type-safe multithreading in cyclone, ACM Sigplan Notices, vol. 38, no. 3, pp. 13-25, 2003.
26. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney, Region-based memory management in cyclone, ACM Sigplan Notices, vol. 37, no. 5, pp. 282-293, 2002.
27. D. Gay and A. Aiken, Language support for regions, ACM Sigplan Notices, vol. 36, no. 5, pp. 70-80, 2001.
28. D. Walker and K. Watkins, On regions and linear types, ACM Sigplan Notices, vol. 36, no. 10, pp. 181-192, 2001.
29. M. Fähndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. Hunt, J. R. Larus, and S. Levi, Language support for fast and reliable message-based communication in singularity os, ACM SIGOPS Operating Systems Review, vol. 40, no. 4, pp. 177-190, 2006.
30. H.-J. Boehm, Threads cannot be implemented as a library, ACM Sigplan Notices, vol. 40, no. 6, pp. 261-268, 2005.
31. J. Ousterhout, Why threads are a bad idea (for most purposes), presentation at the 1996 Usenix Annual Technical Conference, San Diego, CA, USA, 1996.
32. J. R. von Behren, J. Condit, and E. A. Brewer, Why events are a bad idea (for high-concurrency servers), in HotQS, 2003, pp. 19-24.
33. P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse, A. Woo, D. Gay, J. Hill, M. Welsh, E. Brewer, et al., Tinyos: An operating system for sensor networks, in Ambient Intelligence. Springer, 2005, pp. 115-148.
34. A. Bernauer and K. Römer, A comprehensive compiler-assisted thread abstraction for resource-constrained systems, in Information Processing in Sensor Networks (IPSN), 2013 ACM/IEEE International Conference on. IEEE, 2013, pp. 167-177.
35. B. Gu, Y. Kim, J. Heo, and Y. Cho, Shared-stack cooperative threads, in Proceedings of the 2007 ACM Symposium on Applied Computing, 2007, pp. 1181-1186.
36. M. Tofte and J.-P. Talpin, Region-based memory management, Information and Computation, vol. 132, no. 2, pp. 109-176, 1997.
37. M. Tofte and L. Birkedal, A region inference algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 20, no. 4, pp. 724-767, 1998.
38. E. A. Lee, Cyber physical systems: Design challenges, in Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on. IEEE, 2008, pp. 363-369.