S Software in Safety Critical Systems : Achievement and Prediction by Professor