Loading…
CMU SEI Research Review 2024
Wednesday November 13, 2024 2:00pm - 2:30pm EST
Deploying critical software with certification and frequent updates is a major challenge. Exhaustive testing of safety-critical systems is not possible due to the exponential growth of test cases; extensive but non-exhaustive testing is potentially unsafe; and while formal methods (FM) can provide full coverage, many FM tools have been found to be defective, producing the wrong output and leaving software practitioners understandably hesitant to trust FM tools.

Learn More​​​
Speakers
avatar for Bjorn Andersson

Bjorn Andersson

Principal Researcher, Software Engineering Institute
Bjorn Andersson transferred the well-known result "The utilization bound of Rate-Monotonic is 69 percent" to multiprocessors, invented the task-splitting approach for scheduling hard real-time tasks on multiprocessors and transferred the idea of bin-packing heuristics to heterogeneous... Read More →
Wednesday November 13, 2024 2:00pm - 2:30pm EST

Attendees (1)


Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Share Modal

Share this link via

Or copy link