Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.

Visible to the public Deadline Extended (Jan 24): Work in Progress session of RTAS'17

CALL FOR WiP PAPERS - Deadline Extended (Jan 24)

The 23rd IEEE Real-Time Embedded Technology & Applications Symposium Work-in-Progress Session (RTAS-WIP 2017)

18 April, 2017 - Pittsburgh, PA, USA


Visible to the public CPS- Synergy- Collaborative Research- Managing Uncertainty in the Design of Safety-Critical Aviation Systems

The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.


Visible to the public Certifiable, Attack-resilient Submodular Control Framework for Smart Grid Stability

The smart grid is a large-scale, societal-level hybrid cyber-physical system with tight coupling between cyber and physical components. Ensuring availability and reliability of power requires maintaining stability of the power grid even as increasing demand and uncertain renewable power sources push the power system close to its operation limit. In addition, the cyber-enabled grid has multiple entry points, leaving it highly susceptible to cyber attacks by malicious adversaries.


Visible to the public Fault-Tolerant Brain Implantable Cyber-Physical System

Episodic brain disorders such as epilepsy have a considerable impact on a patient's productivity and quality of life and may be life-threatening when seizures cannot be controlled with medications. We will create a second generation brain-implantable sensing and stimulating device (BISSD) based on CPS principles and practice. The BISSD will be composed of modules placed intracranially to continuously monitor brain state and vulnerability to seizure and intervene with electrical stimulation to block the development of seizure.


Visible to the public CfP: 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)

Call for Papers - deadline extension (25/09 abstracts, 28/09 papers)

18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)

January 15-17 2017 | Paris, France | http://conf.researchr.org/home/VMCAI-2017

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.