《 生物医学嵌入式系统：从设计到安全 》
- 生物医学嵌入式系统心脏起搏器信息物理系统医疗信息物理系统同步方法形式化验证嵌入式实施方案安全关键系统代码生成对抗性攻击
- #医疗技术 #实用指南 #案例研究 #嵌入式系统设计 #安全验证 #开源资源 #研究导向
- 选题分类：计算机理论
- 原版语种：英语（可提供图书翻译服务）
- 原出版地：美国
- 出版日期：2025年11月
- 页数：590页
- 图书定价：（不详）
- 开本：（不详）
- 内文印刷：单色
- 字数：（不详）
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
版权推荐
内容简介
本书通过心脏起搏器与人体心脏模型的详细案例研究，展示了同步方法如何实现精确建模、验证及自动化代码生成。借助SCCharts语言，读者将学习如何对心脏传导系统和DDD模式起搏器进行建模，推导嵌入式实施方案，并通过同步心脏模拟器进行验证。
书中进一步介绍了使用UPPAAL模型检测器进行形式化验证的方法，随后探讨了构成防范对抗性攻击基础的运行时验证技术。最后提供了开源工具参考及面向CPS领域未来研究方向的指引。
作者介绍
悉尼新南威尔士大学计算机科学与工程学院的高级讲师（亦称助理教授）。
他的主要研究聚焦于硬件与软件网络安全，涵盖嵌入式系统、信息物理系统和增材制造领域。同时，他深入探究机器学习在相关领域设计与应用中的影响，尤其关注如何利用人工智能开拓新型设计策略，包括自动代码编写与漏洞修复。凭借相关研究成果，他先后荣获首届Efabless人工智能开源芯片设计挑战赛冠军、IEEE安全与隐私杰出论文奖以及ACM TODAES最佳论文奖。
他于2014年获得新西兰奥克兰大学计算机系统工程专业荣誉学士学位，并于2020年在该校获计算机系统工程博士学位。2019年，他参与NASA国际实习计划，在加州NASA艾姆斯研究中心工作。此外，他还拥有多元行业从业经历，曾担任全栈网页开发工程师，并作为电子设备承包商参与锂离子电池管理系统的研发工作。
目前他主讲COMP3601设计项目课程，通过指导学生完成大型团队项目，引领学生掌握复杂FPGA开发技术。
帕塔·鲁普
奥克兰大学教授兼系主任。
帕塔的研究方向涵盖人工智能安全性、伦理人工智能，以及人工智能在数字健康、自主系统和实时系统机器学习等网络物理系统领域的应用。他的研究成果在学术界和工业界均得到广泛应用，包括近期与谷歌DeepMind合作的逻辑同步网络研究。
此前，他与两名博士生共同创立了云端服务公司APIMatic，该公司已成为全球基于API自动生成SDK技术的领军企业。他在人体器官（如心脏和肠道）数字孪生方面的研究，对MathWorks等重要合作伙伴的相关工作产生了深远影响。
相关推荐
请输入分享的Email地址：
