Professor highlights dangers of a faulty system
Professor Osman Hasan said that a faulty system like software bug in a cancer therapy machine can be disasterous.
MSTF Media reports:
Smart systems can collect data through sensors, intelligently compute to make smart decisions and communicate with people and systems to efficiently utilize the acquired information, Hasan said addressing a meeting with students of Isfahan University of Technology.
Elaborating on the complexity of modern cars, he said that they have over a hundred sensors and numerous high-end sensors, actuator and smart control.
He referred to automated driving, human robot- collaboration, smart grids, automated farming, surgical robots and air traffic control as examples of smart systems.
He noted that simulation or testing construct a computer based model for the system.
They analyze the behavior of a system model under a number of test cases to deduce properties of interest, he said.
Commenting on system analysis accuracy, Hasan said the faulty system like software bug in a cancer therapy machine can be disastrous.
He stated that the problem caused three deaths and three severe injuries between 1385-87.
The formal verification construct a computer based mathematical model of the system, he said.
It uses mathematical methods to check if the implementation satisfies the properties of interest in a computerized environment, he added.
