Transportation

A project of the Center for Catastrophic Risk Management.

Funded by the National Science Foundation

We propose to develop a theory for the composition and analysis of ?rich API?s? for embedded systems, which expose resource properties, such as real-time assumptions and guarantees. We will apply this theory to both time-triggered programs,in particular to proposed real-time Linux standards and protocols under design at the Berkeley Wireless Research Center.

We will select appropriate principles of good coding practice for open source software, with the goal of detecting certain classes of common security flaws. We will express these principles as properties in a temporal logic that can be model-checked effectively. A report explaining the selection will be provided. In parallel, we will develop model-checking tools. These tools will be capable of analyzing open source software to check whether it satisfies properties specified in a temporal logic.

Code-division multiple-access (CDMA) communication system allows multiple users to access the network simultaneously using unique codes. Optical CDMA has the advantage of using optical processing to perform certain network applications, like addressing and routing without resorting to complicated multiplexers or demultiplexers. The asynchronous data transmission can simplify network management and control. Therefore, OCDMA is an attractive candidate for LAN application. Particularly, OCDMA can provide a secure network connection providing dynamic encoding.

The continual and compelling need for accurately and efficiently simulating dynamical behavior of physical systems arising from a wide variety of applications has led to increasingly large and complex models. Reduced-order modeling (ROM) techniques, also called model reduction or macromodeling, play an indispensable role in providing efficient computational prototyping tools to replace such large-scale models by approximate smaller models, which are capable of capturing critical dynamical behavior and faithfully preserving essential properties of the larger models.

A major effort in sensing technology centers about the miniaturization of sensing elements. Much investment is being expended upon the development of sensing systems that can be incorporated into autonomous micro-electrical-mechanical systems (MEMS) for widespread wireless sensing needs ranging from monitoring buildings and bridges for safety, to electronic noses for detecting atmospheric chemical hazards across wide geographical areas, to electronic ears for monitoring communication channels just to name a few.

This large National SCience Foundation Information Technology Research (NSF ITR) is an umbrella grant for many CITRIS activities, and supports both fundamental work in the above listed CITRIS technologies (rows) and driving applications (columns), as well as synergies among them.
The driving applications include
(1) boosting efficiency of energy production and consumption, and
(2) saving lives and property and establishing emergency response IT infrastructure in the wake of disasters, among others.