http://sei.cmu.edu/feeds/tag/Updates on changes and additions to the SEI Blog for posts matching Real-Time Schedulingen-usMon, 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_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/real-time-scheduling-on-heterogenous-multicore-processors/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesExplore challenges and techniques for achieving real-time scheduling on heterogeneous multicore processors in this SEI Blog post.Bjorn AnderssonMon, 12 Mar 2012 00:00:00 -0400https://www.sei.cmu.edu/blog/real-time-scheduling-on-heterogenous-multicore-processors/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesMulticore ProcessorsReal-Time SchedulingCyber-Physical Systems