Abstract: Many academic researchers are conducting research into cybersecurity topics.  Collectively, their work promises the development of a systematic body of knowledge termed the Science of Security. The current Science of Security Academic Survey project consisted of three elements: first, we conducted a systematic survey of academic researchers in computer science, electrical and computer engineering, and mathematics, to determine whether they think that a Science of Security exists or is possible.

Abstract: Although coastal waters play a crucial part in the ecosystem and economy, detailed monitoring of these areas has been difficult. This multi-institutional project presents a novel technology, where a large number of autonomous underwater vehicles organize themselves as a swarm, forming a dense four-dimensional spatio-temporal sampling system.

Abstract: The objective of this research is to develop a theory of “ActionWebs”, that is, networked embedded sensor-rich systems, which can be tasked to coordinate multiple decision- makers. The approach is to first identify models of ActionWebs using stochastic hybrid systems, an interlinking of continuous dynamical physical models with discrete state representations of interconnection and computation. Second, algorithms will be designed for tasking individual sensors, based on information objectives for the entire system.

Abstract: This project has two closely related objectives. The first is to design and evaluate new Cyber Transportation System (CTS) architectures, protocols and applications for improved traffic safety and traffic operations. The second is to design and develop an integrated traffic-driving-networking simulator. The project takes a multi-disciplinary approach that combines cyber technologies, transportation engineering and human factors.

Abstract: The project aims to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security.

Abstract: This project's objective is to enable assertion-­‐driven development and debugging cyber-­‐ physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.

Abstract: The Cyber Physical Systems Virtual Organization (CPS-VO) is a broad community of interest for CPS researchers, practitioners and policy makers. The CPS-VO includes institutions from academy and industry, and people who work on a wide range of related disciplines with different approaches, methods, tools and experimental platforms. These entities are all interconnected and evolve driven by a shared goal, to advance our knowledge in the science and engineering of CPS.

Abstract: We are developing advanced distributed monitoring and control systems for civil infrastructure. The approach employs cyber-physical co-design of wireless sensor-actuator networks and structural monitoring and control algorithms. The unified cyber-physical system architecture provides reusable middleware services for developing hierarchical structural monitoring and control systems.

Abstract: The relentless competition among automotive companies and increasing demands from customers for driver assistance functions and dynamically-controlled safety systems in vehicles are creating mounting time-to-market pressures and, consequently, shortened development times. With the increased vehicle complexity and shortened development times, guaranteeing hardware-software integrity and, hence, vehicle performance has become a salient issue.

Abstract: As technology pushes automation to greater degrees of autonomy, the verification  and  validation burden becomes more cost and time prohibitive. It has been well established that, as stated in AF Technology Horizons 2010, “It is possible to develop systems having high levels of autonomy, but it is the lack of suitable V&V methods that prevents all but relatively low levels of autonomy from being certified for use." This increased move towards further levels of autonomy has brought the certification need to a national level.