Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
forum
Submitted by Anonymous on Fri, 01/20/2017 - 12:16pm
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
forum
Submitted by Anonymous on Thu, 12/01/2016 - 1:56pm
forum
Submitted by Anonymous on Thu, 12/01/2016 - 1:54pm
event
Submitted by Anonymous on Thu, 12/01/2016 - 1:51pm
video
Submitted by srirams on Fri, 11/04/2016 - 7:16pm
file
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.
file
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.
file
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.
forum
Submitted by Anonymous on Wed, 10/05/2016 - 12:48pm
Call for Papers - deadline extension (25/09 abstracts, 28/09 papers)
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.
