Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
event
Submitted by agoodloe on Mon, 04/16/2012 - 6:17pm
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
event
Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 6:17pm
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.
event
Submitted by pjoannou on Mon, 04/16/2012 - 6:17pm
event
Submitted by sokolsky on Mon, 04/16/2012 - 6:17pm
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:
event
Submitted by Brian.Hulbert on Mon, 04/16/2012 - 6:17pm
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
event
Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 6:17pm
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.
event
Submitted by admin on Mon, 04/16/2012 - 6:17pm
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.
forum
Submitted by marioberges on Mon, 02/20/2012 - 10:36am
Cybersecurity Funding Opportunity
