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, 04/20/2018 - 12:34pm
CALL FOR PAPERS - Extended Deadlines
Abstract deadline: 08 April 2018 30 April 2018 Extended!
Papers deadline: 30 April 2018 08 May 2018 Extended!
September 26-28, 2018 | Grenoble, France | https://vecos.ensta-paristech.fr/2018/
forum
Submitted by Anonymous on Thu, 02/08/2018 - 1:16pm
forum
Submitted by Anonymous on Mon, 01/29/2018 - 2:24pm
Co-located with DSN 2018
IMPORTANT DATES
- Paper submission: 1 april 2018
- Author notification: [to be defined]
- Final version: [to be defined]
WORKSHOP DESCRIPTION
event
Submitted by Anonymous on Mon, 01/29/2018 - 2:17pm
4th International Workshop on Safety and Security of Intelligent Vehicles
Co-located with DSN 2018
WORKSHOP DESCRIPTION
event
Submitted by Anonymous on Fri, 12/08/2017 - 10:41am
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:
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.
file
Our results concern using program-slicing to model software components in a CPS, with applications to verification of aviation software.
file
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.
file
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.
