Certification

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

Visible to the public  LOPSTR 2016
Sep 06, 2016 7:00 am - Sep 08, 2016 6:00 pm BST

Submitted by Anonymous on Mon, 05/09/2016 - 2:20pm

26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

(co-located with PPDP 2016 and SAS 2016)

forum

Visible to the public 2016 Safe and Secure Systems and Software Symposium (S5) - Save the Date!

Submitted by Anonymous on Tue, 04/26/2016 - 2:24pm

2016 Safe and Secure Systems and Software Symposium (S5) - Save the Date!

July 12-4, 2016 | Dayton, Ohio

Dear Colleagues,

The Air Force Research Laboratory, Aerospace Systems Directorate, Power and Control Division will be hosting the 2016 Safe and Secure Systems and Software Symposium (S5) on 12 - 14 July 2016 at The Crowne Plaza Dayton, Ohio. Please mark your calendars!

event

Visible to the public  S5 2016
Jul 12, 2016 7:00 am - Jul 14, 2016 6:00 pm EDT

Submitted by Anonymous on Tue, 04/26/2016 - 2:15pm

Safe and Secure Systems and Software Symposium (S5)

The Safe and Secure Systems and Software Symposium focuses on bringing together academic, industry, and government parties concerned with the safety and security of highly complex or autonomous safety critical systems. The test and evaluation, verification and validation of autonomous systems has been highlighted in several government strategic documents as the limiting factor for enabling future highly complex and autonomous systems for military and civilian use.