Opportunities and obligations for physical computing systems

Computer

Volumn 38, Issue 11, 2005, Pages 23-31

  Stankovic, John A ^a   Lee, Insup ^b   Mok, Aloysius ^c   Rajkumar, Raj ^d  

^a University of Virginia   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c University of Texas at Austin   (United States)

^d CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; COMPUTER HARDWARE; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; REAL TIME SYSTEMS; SECURITY OF DATA; SENSORS;

PERVASIVE COMPUTING; PHYSICAL COMPUTING SYSTEMS;

COMPUTER SYSTEMS;

EID: 28244490207     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2005.386     Document Type: Article

References (11)

1. R. Alur et al., "Hierarchical Modeling and Analysis of Embedded Systems," Proc. IEEE, Jan. 2003, pp. 11-28.
2. D. de Niz and R. Rajkumar, "Time Weaver: A Software Through-Models Framework for Embedded Real-Time Systems," Proc. 2003 Conf. Languages, Compilers, and Tools for Embedded Systems (LCTES 2003), IEEE Press, pp. 133-143.
3. E. Lee, "Embedded Software," Advances in Computers, M. Zelkowitz, ed., vol. 56, Academic Press, 2002.
4. H. Zhu et al., "Design Tradeoffs in Networks with Soft End-to-End Timing Constraints," Proc. IEEE Symp. Real-Time and Embedded Technologies and Applications, IEEE Press, 2004, pp. 413-420.
5. T. Abdelzaher et al., "EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks," Proc. 24th Int'l Conf. Distributed Computing Systems (ICDCS 2004), IEEE Press, 2004, pp. 582-589.
6. M. Kim et al., "Java-MaC: A Rigorous Runtime Assurance Tool for Java Programs," Formal Methods in Systems Design, Mar. 2004, pp. 129-155.
7. Z. Deng and J. Liu, "Scheduling Real-Time Applications in an Open Environment," Proc. 1997 IEEE Real-Time Systems Symp., IEEE Press, 1997, pp. 308-319.
8. A. Mok and X. Feng, "Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems," LNCS 2491, Springer, 2002, pp. 182-196.
9. I. Shin and I. Lee, "Periodic Resource Model for Compositional Real-Time Guarantees," Proc. IEEE Symp. Real-Time Systems, IEEE Press, 2003, pp. 2-13.
10. A. Wood and J. Stankovic, "Denial of Service in Sensor Networks," Computer, Oct. 2002, pp. 54-62.
11. A. Perrig, J. Stankovic, and D. Wagner, "Security in Wireless Sensor Networks," Comm. ACM, June 2004, pp. 53-57.