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  VECoS 2018
Sep 26, 2018 7:00 am - Sep 28, 2018 6:00 pm CEST

12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)

The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.

Topics of interest include, but are not limited to:


Visible to the public CPS: Synergy: Collaborative Research: 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 CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems

Automation is being increasingly introduced into every man-made system. The thrust to achieve trustworthy autonomous systems, which can attain goals independently in the presence of significant uncertainties and for long periods of time without any human intervention, has always been enticing. Significant progress has been made in the avenues of both software and hardware for meeting these objectives. However, technological challenges still exist and particularly in terms of decision making under uncertainty.


Visible to the public CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.