http://sei.cmu.edu/feeds/tag/Updates on changes and additions to the SEI Blog for posts matching Model Checkingen-usMon, 27 Nov 2023 00:00:00 -0500https://www.sei.cmu.edu/blog/dont-wait-for-roi-on-model-based-analysis-for-embedded-computing-resources/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post examines the design and implementation of embedded computing resources for CPS and the complexities that drive the need for model building.Alfred Schenker, Jerome HuguesMon, 27 Nov 2023 00:00:00 -0500https://www.sei.cmu.edu/blog/dont-wait-for-roi-on-model-based-analysis-for-embedded-computing-resources/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesModel Checkinghttps://www.sei.cmu.edu/blog/verifying-distributed-adaptive-real-time-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post explores high-assurance software in DART systems, and outlines the SEI's approach to meet safety requirements in dynamic environments.James Edmondson, Sagar ChakiMon, 10 Oct 2016 00:00:00 -0400https://www.sei.cmu.edu/blog/verifying-distributed-adaptive-real-time-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware AssuranceArtificial Intelligence EngineeringModel CheckingVerificationAutonomy and Counter-AutonomyReal-Time SchedulingArtificial IntelligenceCyber-Physical Systemshttps://www.sei.cmu.edu/blog/verifying-evolving-software/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post explores the challenges of verifying evolving software and presents research efforts aimed at improving verification techniques and tools.Arie GurfinkelMon, 20 Oct 2014 00:00:00 -0400https://www.sei.cmu.edu/blog/verifying-evolving-software/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesModel CheckingStatic AnalysisVerificationhttps://www.sei.cmu.edu/blog/regression-verification-for-real-time-embedded-software-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThe DoD relies heavily on mission- and safety-critical real-time embedded software systems (RTESs), which play a crucial role in controlling systems ranging from airplanes and cars to infusion pumps and microwaves.Arie GurfinkelMon, 05 Dec 2011 00:00:00 -0500https://www.sei.cmu.edu/blog/regression-verification-for-real-time-embedded-software-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesModel CheckingStatic Analysis