Certification

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

Visible to the public Managing Uncertainty in the Design of Safety-Critical Aviation Systems

Abstract:

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.

event

Visible to the public  ACVI16
Apr 04, 2016 8:30 am - Apr 08, 2016 9:30 pm EDT

Workshop on Architecture Centric Virtual Integration

at WICSA and CompArch 2016 | http://www.aadl.info/aadl/acvi/acvi2016/

Important dates

event

Visible to the public  FMICS-AVoCS 2016
Sep 26, 2016 7:00 am - Sep 29, 2016 6:00 pm CEST

PRELIMINARY CALL FOR PAPERS

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016)

Pisa, Italy | 26-29 September 2016 | http://fmics-avocs.isti.cnr.it/