Making software reliable
When an engineer builds a bridge, she is required to perform standard analyses that produce direct evidence that the design satisfies regulations that help to ensure public safety.
The same can’t be said for software, which can be found in everything from cars to home appliances to health care equipment. Mark Lawford of the Department of Computing and Software has spent the past 17 years researching how to make software-controlled systems safer. By determining the best means of developing safety critical software and demonstrating system safety in a cost effective manner. Mark is providing the key enabling technology of the smart systems and smart cities of the future - safe, dependable software.Learn how Mark's making a difference