托马斯·哈克和托拜厄斯·内克尔
2022年1月17日比特和bug
计算科学中软件故障的科学和历史回顾
暹罗2019
要真正理解软件在世界上的普遍作用,就需要了解现实世界中软件故障及其后果的数量和种类。没有比托马斯·哈克和托拜厄斯·内克尔对这些事件更彻底的调查了比特和bug:计算科学中软件故障的科学和历史回顾(暹罗,2019)。他们的书将大量的章节组织成八章,扩展了一系列不同风格的失败,从精度和舍入误差到软硬件接口,以及从复杂性中出现的问题,越来越复杂。
在我看来,这本书服务于三种读者:计算机工程或数值方法的教师将会发现一本特别适合专注于软件故障的教育文本;软件工程师会找到一个同样独特的参考文本;研究计算科学实践或历史的学生将在这些复杂的故事中找到一条完整的线索。Huckle博士和我一起讨论了他和他的合著者编写这本书的动机,章节标题的样本,以及他对新的和不断发展的计算工具及其伴随的失败机会的一些想法。
技术读者会喜欢数学的短途旅行,严格介绍的主题,以理解每章的标题情节,练习和MATLAB代码提供在这本书的网站,链接到哈克博士网站上的资料来源.我从反复出现的经验教训中发现了价值,即现实世界的失败源于多个(通常是大量的)错误的巧合,以及作者始终强调对这些错误的研究是为了防止真正的人员伤亡。尽管如此,所有读者都可能会欣赏引言中给出的奇思妙想的分类,以及附录中调查的有趣的(尽管有时是杜撰的)特殊失败案例。
建议配套作品:
- 彼得·g·诺伊曼,公众在使用电脑系统及相关技术时所面临的风险
- 南希·g·莱韦森,安全软件:系统安全和计算机
- 格兰福德·j·迈尔斯,软件可靠性:原则和实践
- Lauren Ruth Wiener,数字灾难:为什么我们不应该依赖软件
- 实例变量彼得森,致命缺陷:追逐致命的电脑bug
托马斯腰1985年获得博士学位,1991年在Würzburg大学获得博士后教学资格(实习)。德国研究基金会(DFG)的资助使他能够花时间在斯坦福大学进行研究(1993-1994)。1995年,哈克教授加入TUM,担任科学计算教授。自1997年起,他一直是数学系的一员。他的主要研究领域是数值线性代数及其在信息学和物理学中的应用。他的工作重点是在并行计算机上解决线性问题,图像处理和重建,偏微分方程和结构矩阵。
托拜厄斯Neckel他曾在慕尼黑工业大学(TUM)学习应用数学,并于2009年获得慕尼黑工业大学计算机科学博士学位。他目前是TUM科学计算高级研究员,并在法国École理工大学(2003年)、东京工业大学(2008年)和澳大利亚国立大学(2017年)进行过研究。他的研究兴趣包括微分方程的数值解,层次和自适应方法,不确定性量化,以及高性能计算的各个方面。
科里范甘迪他是佛罗里达大学系统医学实验室的助理教授。他的研究主要集中在医疗和保健数据分析的几何和拓扑方法。