Two challenges in embedded systems design: Predictability and robustness

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Volumn 366, Issue 1881, 2008, Pages 3727-3736

  Henzinger, Thomas A ^a,b  

^a EPFL   (Switzerland)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Design principles; Embedded software; Reliable systems

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTEGRATED CIRCUITS; SYSTEMS ANALYSIS;

DESIGN PRINCIPLES; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS DESIGN; RELIABLE SYSTEMS; ROBUST SY STEMS;

EMBEDDED SYSTEMS;

COMPUTER INTERFACE; COMPUTER NETWORK; COMPUTER PROGRAM; EQUIPMENT; EQUIPMENT DESIGN; INSTRUMENTATION; METHODOLOGY; MICROCOMPUTER; REVIEW; SIGNAL PROCESSING;

COMPUTER COMMUNICATION NETWORKS; EQUIPMENT DESIGN; EQUIPMENT FAILURE ANALYSIS; MICROCOMPUTERS; SIGNAL PROCESSING, COMPUTER-ASSISTED; SOFTWARE; SOFTWARE DESIGN; USER-COMPUTER INTERFACE;

EID: 51849092676     PISSN: 1364503X     EISSN: None     Source Type: Journal    
DOI: 10.1098/rsta.2008.0141     Document Type: Article

References (14)

1. Allen, F. 2008 The challenge of the multi-cores: think sequential, run parallel. Regents' Lecture. Berkeley, CA: University of California.
2. Burns, A. & Wellings, A. 2001 Real-time systems and programming languages. Boston, MA: Addison-Wesley.
3. Chatterjee, K., de Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R. & Stoelinga, M. 2006 Compositional quantitative reasoning. In Proc. IEEE Conf. on Quantitative Evaluation of Systems (QEST), pp. 179-188. (doi:10.1109/QEST.2006.11)
4. Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C. M., Pinello, C. & Sangiovanni-Vincentelli, A. 2008 Logical reliability of interacting real-time tasks. In Proc. Design, Automation, and Test in Europe (DATE), pp. 909-914. (doi:10.1109/DATE.2008.4484790)
5. de Alfaro, L., Henzinger, T. A. & Majumdar, R. 2003 Discounting the future in systems theory. In Proc. Int. Colloquium on Automata, Languages, and Programming (ICALP), Lecture Notes in Computer Science, vol. 2719, pp. 1022-1037. Berlin, Germany: Springer. (doi:10.1007/3-540-45061-0_79)
6. Edwards, S. A. & Lee, E. A. 2007 The case for the precision-timed PRET machine. In Proc. Design Automation Conference (DAC), pp. 264-265. (doi:10.1109/DAC.2007.375165)
7. Halbwachs, N. 1993 Synchronous programming of reactive systems. Dordrecht, The Netherlands: Kluwer Academic.
8. Henzinger, T. A. & Sifakis, J. 2007 The discipline of embedded systems design. IEEE Comput. 40, 36-44. (doi:10.1109/MC.2007.364)
9. Henzinger, T. A., Horowitz, B. & Kirsch, C. M. 2003 GIOTTO: a time-triggered language for embedded programming. Proc. IEEE 91, 84-99. (doi:10.1109/JPROC.2002.805825)
10. Kopetz, H. 2007 The complexity challenge in embedded system design. Technical report 55, Technical University of Vienna.
11. Lee, E. A. 2005 Absolutely positively on time: what would it take? IEEE Comput. 38, 85-87. (doi:10.1109/MC.2005.211)
12. Lee, E. A. 2006 The problem with threads. IEEE Comput. 39, 33-42. (doi:10.1109/MC.2006.180)
13. McCarthy, J. 1962 Towards a mathematical science of computation. In Proc. IFIP Congress, pp. 21-28.
14. Szymanek, R., Catthoor, F. & Kuchcinski, K. 2004 Time-energy design space exploration for multi-layer memory architectures. In Proc. Design, Automation, and Test in Europe (DATE), pp. 318-323. (doi:10.1109/DATE.2004. 1268867)