Software with Timers and Clocks (STACs) are key elements of the safety-critical systems that make up the infrastructure of our daily lives. New research verifies safety properties of sequential and concurrent STACs at the source-code level.
Stephanie Rosenthal explains research to increase trust in autonomous robots by teaching them to communicate their actions in plain English.
CERT researcher Rachel Kartch provides an overview of DDoS attacks and best practices for mitigating and responding to them.
March event to focus on software for capability, agility, and resilience
Features recent high school cyber-kinetic exercise and SEI’s wider initiative to encourage young people to consider careers in STEM fields.
FloCon 2017 Announces Conference Program and Keynote
Press Release - 11/29/2016
SEI to Host 2017 Software Solutions Symposium in Arlington, Virginia
Article - 11/22/2016
Video Highlights Recent SEI STEM Efforts
Article - 11/02/2016
Software Solutions Symposium 2017
The Software Solutions Symposium is a forum for learning about emerging technologies and practical solutions that you can apply today for help with systemic software issues such as assurance, cost, and schedule.
Conferences - 03/20/2017