Abstract: This project aims at simultaneous integration of  security and dependability while minimizing energy consumption and ensuring that real-time constraints of  the application are not violated. We have proposed novel electronic control unit (ECU) architectures for real-time automotive CPS that incorporate security and dependability primitives with low resources and energy overhead.

The objective of this research is to develop new forms of tool-supported safety analyses for next-generation integrated medical systems that are based on the concept of medical application platforms (MAP). A MAP is a safety- and security- critical real-time computing platform for (a) integrating heterogeneous devices, medical IT systems, and information displays via a communication infrastructure and (b) hosting application programs (”apps”) that provide medical utility via the ability to both acquire information from and update/control integrated devices, IT systems, and displays.

Abstract: Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) techniques primarily target stand-alone systems. Moreover, the US Food and Drug Administration’s (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

Abstract: Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration’s (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

Abstract: The project will demonstrate a Holonic Multi-agent System Architecture capable of adaptively controlling future electrical power distribution systems (PDS), which are expected to include a large number of renewable power generators, energy storage devices, and advanced metering and control devices. The project will produce a general, extensible, and secure cyber architecture based on holonic multi-agent principles to support adaptive PDS.

Abstract—Intrusion analysis, i.e.