The purpose of this paper is to provide an account of the epistemology and metaphysics of universe creation on a computer. The paper begins with F.J.Tipler’s argument that our experience is indistinguishable from the experience of someone embedded in a perfect computer simulation of our own universe, hence we cannot know whether or not we are part of such a computer program ourselves. Tipler’s ...

The need to write portable software that runs on a variety of computing platforms becomes more obvious every day. Leading mainstream computer vendors, such as IBM, HP, Compaq, and Dell, offer a mix of Windows, Linux, and UNIX operating systems across their hardware platforms. Likewise, as people become ever more connected and mobile, many computer vendors are also supporting embedded and handhe...

hess Letter from the Directors CHESS was founded in 2002 to build foundational theories and practical tools for systems that combine computation, networking, and physical dynamics. The US National Science Foundation (NSF) provided the seed funding for the fi rst fi ve years under the Information Technology Research (ITR) program. CHESS is now thriving, with a rich portfolio of funded research p...

This paper describes a new static analysis to show the absence of memory errors, especially string buffer overflows in C programs. The analysis is specifically designed for the subset of C that is found in critical embedded software. It is based on the theory of abstract interpretation and relies on an abstraction of stores that retains the length of string buffers. A transport structure allows...

Department of Computer Science and Technology, Tongji University, Shanghai 201804, PR China Department of Electrical and Computer Engineering, University of Alberta, Edmonton, AB T6G 2G7, Canada Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 201804, PR China d System Research Institute, Polish Academy of Sciences, Warsaw, Poland e Sch...

Both the scale and the reach of computer systems and embedded devices have been expanding constantly over the last few decades. As computer systems become pervasive, their criticality increases because they become an even more integral part of the infrastructure upon which our society depends. Hence, pervasive systems are likely to become “society critical” and their dependable operation must be

embedded systems are becoming a suggestive target for code injection attacks in recent years. software protection mechanisms in general computers are not usually applicable in embedded systems as they come with limited resources like memory and processor. in this paper we investigate side channel characteristics of embedded systems and their usability in code injection attack detection. the arc...

THIS thesis addresses several synthesis and optimization issues for embedded control systems. Examples of such systems are automotive and avionics systems in which physical processes are controlled by embedded computers through sensor and actuator interfaces. The execution of multiple control applications, spanning several computation and communication components, leads to a complex temporal be...