上海科技大学致力于服务国家经济社会发展战略，培养科技创新创业人才，积极投身高等教育改革、参与上海科创中心建设。学校作为建设中的张江综合性国家科学中心的重要组成部分，针对科学中心特点和学校教学组织能力，按照“循序渐进、精选优质”的原则，积极向社会共享学校优质教育资源。
学校稳步推进优质教育资源社会共享建设，不断精选组织，丰富资源，在学校的领导和支持，经相关部门、授课老师的共同努力推动下，自2019年开始，经过积累，精选组织自建优质教育资源，陆续向社会开放。
校外人员可登录
上海科技大学在线开放课程平台 （ https://mooc.shanghaitech.edu.cn/）
或 下载安装移动客户端注册后学习
校内人员可通过学校统一身份认证登录使用
慕课宣传视频
更多优质资源会在学校在线开放课程平台上陆续推出，敬请关注和使用！
课程介绍
课程视频剪辑版
01
课程内容及教学目标简介
随着科技的进步，医疗仪器在复杂疾病的诊断与治疗过程中起着日趋重要的作用。传统的医疗仪器如X光机或输液泵只有辅助诊断或者是辅助治疗其中一种功能，医护人员在诊断以及治疗的过程中有着最终的决定权。而逐渐涌现的智能医疗仪器（如植入式心脏起搏器）可一定程度上实现自主的诊断与治疗，在提供更及时治疗的同时减少医护人员的负担，提高病人的生活水平。智能医疗仪器的自主性由日趋复杂的软件系统提供，而这些软件系统的误诊断及误操作会对病人的健康和生命造成重大的损失，因而智能医疗仪器软件系统的开发及监管需要一套更加严谨的流程。智能医疗仪器软件的开发与验证是一项系统工程，在每个环节都需要医疗、工程、计算机科学以及审批等领域专家的通力合作。这些趋势也对教育工作者也提出了更高的要求，力争培养具有系统工程思维和跨专业理念的新型工程师队伍。
02
教学大纲
本课程以心脏起搏器为例，介绍智能医疗仪器软件全生命周期所面临的挑战以及相关方法与技术。课程内容主要包含以下几个模块：
1. 课程简介
2. 风险管理原理与方法
3. 心脏电生理原理简介
4. 建模原理与方法简介
5. 心脏电生理建模方法
6. 心脏起搏器原理简介
7. 形式化方法与模型验证
8. 模型验证工具UPPAAL
9. 软件测试方法
10. 医疗仪器审批流程简介
11. Assurance Case
12. 其他智能医疗仪器简介
授课教师
江智浩于2008年本科毕业于电子科技大学测控技术与仪器专业，后赴美国宾夕法尼亚大学深造。分别于2010年和2016年获得机器人硕士学位和计算机博士学位。随后加入位于美国硅谷的丰田信息科技研究中心担任研究员，从事基于模型的软件开发与验证在智能医疗仪器和车联网领域的应用研究。他于2018年7月全职加入上海科技大学信息科学与技术学院，任助理教授、研究员，开展人-机-物三元融合系统的理论与应用研究。
上海科技大学慕课平台
http://mooc.shanghaitech.edu.cn
1.平台介绍
上海科技大学在线开放课程平台 的建设和课件的发布，为促进学校充分利用校内外教育资源来扩展教学内容、丰富学习手段、提高教学质量提供了新工具，也为学校与社会共享优质教学资源、更好地服务社会提供了新途径。
2.使用指南
上海科技大学在线开放课程平台或下载移动客户端，随时随地，轻松学习。
上海科技大学MOOC平台使用手册：
https://mooc.shanghaitech.edu.cn/help/helpPortal/student.mooc
沪公网安备 31011502006855号
