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  S5 - Safe & Secure Systems and Software Symposium
Jun 12, 2012 7:45 am - Jun 14, 2012 7:45 am EDT


The Air Force Research Laboratory (AFRL) will be hosting the next Safe and Secure Systems and Software Symposium (S5) on June 12-14, 2012 at the Hope Hotel & Conference Center, Fairborn, Ohio near Wright Patterson Air Force Base. Event registration closes June 3, 2012.

There is no registration fee to attend this symposium.


Visible to the public  Fourth NASA Formal Methods Symposium
Apr 03, 2012 5:19 am - Apr 05, 2012 5:19 am EDT

The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia, industry, and government, with the goals of
identifying challenges and providing solutions to achieving assurance
in mission- and safety-critical systems. Within NASA, for example, such
systems include autonomous robots, separation assurance algorithms for aircraft,
Next Generation Air Transportation (NextGen), and autonomous rendezvous and
docking for spacecraft. Moreover, emerging paradigms such as code generation


Visible to the public  ESWEEK 2011
Oct 09, 2011 10:45 am - Oct 14, 2011 10:45 am CDT

Embedded Systems Week is an exciting event which brings together conferences, tutorials, and workshops centered on various aspects of embedded systems research and development. Three leading conferences in the area - CASES, CODES+ISSS, and EMSOFT - will take place at the same time and location, allowing attendees to benefit from a wide range of topics covered by these conferences and their associated tutorials and workshops.


Visible to the public  Birds-of-Feather: Medical CPS
Aug 01, 2011 3:30 pm - 5:00 pm EDT

Special Interest Group: Medical Devices, Discussion Lead: Oleg Sokolsky (U Penn),

This session brings together CPS researchers who work on topics related to health care. The goal of the session is to seek a common vision for the field and pursue a coordinated agenda of Medical CPS (MCPS) research.

Possible agenda items:


Visible to the public  S5 - Safe & Secure Systems and Software Symposium
Jun 14, 2011 4:00 am - Jun 16, 2011 1:00 pm EDT

Dear Colleagues,
We cordially invite you to attend the 2011 Safe & Secure Systems & Software Symposium (S5) on 14,15 and 16 June at the Hilton Garden Inn, Beavercreek Ohio (near Wright Patterson Air Force Base).  The Air Force Research Laboratory Air Vehicles Directorate will be hosting the Symposium and there is no registration fee to attend.
S5 will bring together industry, academia and government to collaborate on the common goal of improvi

Visible to the public  HCSS'11
May 01, 2011 7:30 am - May 06, 2011 7:30 am CDT

High Confidence Software and Systems 11th Annual Conference

A world class community of researchers will gather in Annapolis, MD for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.

SEE ALSO: The future home of the conference proceedings.


Visible to the public  MobiCPS 2010
Oct 25, 2010 7:00 pm - Oct 29, 2010 7:00 pm CDT

MobiCPS 2010 - The 1st IEEE International Workshop on Mobile Cyber-Physical Systems

The MobiCPS workshop is an international forum for researchers and practitioners to present innovative ideas and results on all aspects of mobile cyber-physical systems, including theoretical foundations, techniques and methods, tools and platforms, prototypes, and practical applications. Besides research papers, this workshop will feature Invited Talks and a Panel Discussion session.