<?xml version="1.0" encoding="utf-8"?>
<feed xml:lang="en-us" xmlns="http://www.w3.org/2005/Atom"><title>SEI News | None</title><link href="http://www.sei.cmu.edu/feeds/topic/system-verification-and-validation/atom/" rel="alternate"/><link href="http://www.sei.cmu.edu/feeds/topic/system-verification-and-validation/atom/" rel="self"/><id>http://www.sei.cmu.edu/feeds/topic/system-verification-and-validation/atom/</id><updated>2021-03-12T00:00:00-05:00</updated><subtitle>Updates on changes and additions to SEI News for posts matching: System Verification and Validation</subtitle><entry><title>SEI Releases AADL/ACVIP User Days 2021 Videos and Presentations</title><link href="https://www.sei.cmu.edu/news/sei-releases-aadlacvip-user-days-2021-videos-and-presentations/?utm_source=news&amp;utm_medium=rss&amp;utm_campaign=my_site_updates" rel="alternate"/><published>2021-03-12T00:00:00-05:00</published><updated>2021-03-12T00:00:00-05:00</updated><author><name>Software Engineering Institute Public Relations</name></author><id>https://www.sei.cmu.edu/news/sei-releases-aadlacvip-user-days-2021-videos-and-presentations/?utm_source=news&amp;utm_medium=rss&amp;utm_campaign=my_site_updates</id><summary type="html">Session recordings and slides about the software architecture analysis tools are now available for free on the SEI's website.</summary><category term="Software Architecture"/><category term="Cyber-Physical Systems"/><category term="Mission Assurance"/><category term="Measurement and Analysis"/><category term="System Verification and Validation"/></entry><entry><title>Can We Trust Our Cyber-Physical Systems?</title><link href="https://www.sei.cmu.edu/news/can-we-trust-our-cyber-physical-systems/?utm_source=news&amp;utm_medium=rss&amp;utm_campaign=my_site_updates" rel="alternate"/><published>2020-08-12T00:00:00-04:00</published><updated>2020-08-12T00:00:00-04:00</updated><author><name>Software Engineering Institute Public Relations</name></author><id>https://www.sei.cmu.edu/news/can-we-trust-our-cyber-physical-systems/?utm_source=news&amp;utm_medium=rss&amp;utm_campaign=my_site_updates</id><summary type="html">An SEI-led team is developing the rapid certifiable trust approach: a lightweight, scalable method to rapidly validate safe behavior of cyber-physical systems.</summary><category term="Cyber-Physical Systems"/><category term="System Verification and Validation"/></entry><entry><title>2019 SEI Year in Review Highlights Accomplishments in AI, Data Analysis, and More</title><link href="https://www.sei.cmu.edu/news/2019-sei-year-in-review-highlights-accomplishments-in-ai-data-analysis-and-more/?utm_source=news&amp;utm_medium=rss&amp;utm_campaign=my_site_updates" rel="alternate"/><published>2020-06-18T00:00:00-04:00</published><updated>2020-06-18T00:00:00-04:00</updated><author><name>Software Engineering Institute Public Relations</name></author><id>https://www.sei.cmu.edu/news/2019-sei-year-in-review-highlights-accomplishments-in-ai-data-analysis-and-more/?utm_source=news&amp;utm_medium=rss&amp;utm_campaign=my_site_updates</id><summary type="html">The SEI's roundup of projects showcases contributions to the National Defense Strategy.</summary><category term="Security Vulnerabilities"/><category term="Cybersecurity"/><category term="Acquisition Transformation"/><category term="Agile"/><category term="Software Architecture"/><category term="Cyber-Physical Systems"/><category term="Technical Debt"/><category term="Cyber Risk and Resilience Management"/><category term="Artificial Intelligence Engineering"/><category term="System of Systems"/><category term="Incident Management"/><category term="Big Data"/><category term="Digital Intelligence and Investigation"/><category term="Critical Infrastructure Protection"/><category term="Continuous Deployment of Capability"/><category term="Governance"/><category term="Supply Chain Assurance"/><category term="software engineering and information assurance"/><category term="Autonomy and Counter-Autonomy"/><category term="System Verification and Validation"/><category term="Mission Assurance"/><category term="Data Modeling and Analytics"/><category term="CSIRT"/><category term="Reverse Engineering for Malware Analysis"/><category term="Quantum Computing"/><category term="Enterprise Risk and Resilience Management"/><category term="Cyber Workforce Development"/></entry></feed>