CPS: Small: Formal Analysis of Man-Machine Interfaces to Cyber-Physical Systems

CPS:小型:网络物理系统人机接口的形式分析

基本信息

  • 批准号:
    1035845
  • 负责人:
  • 金额:
    $ 45万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2010
  • 资助国家:
    美国
  • 起止时间:
    2010-09-15 至 2014-08-31
  • 项目状态:
    已结题

项目摘要

The objective of this research is to develop formal verification toolsfor human-computer interfaces to cyber-physical systems. The approachis incorporating realistic assumptions about the behavior of humans intothe verification process through mathematically constructed "mistakemodels" for common types of mistakes committed by the operator duringan interactive task. Exhaustive verification techniques are used toexpose combinations of human mistakes that can lead to system-widefailures. The techniques are evaluated using case studies involvingmedical device interfaces.The problem of verifying human-machine interfaces requires newapproaches that combine rigorous formal verification techniques withthe empirical human-centered approach to user-interface evaluation.The research addresses challenges of integrating empirical user-studydata into formal game-based models that describe common types of operator mistakes. Using these models to detect subtleflaws in user-interface design is also a challenge.It is well-known that a poorly designed interface will enable harmfuloperator errors, which remain a major cause of failures in a widevariety of safety-critical cyber-physical systems. This project willautomate user-interface verification by detecting likely defects,early in the design process. Open source verification tools will bemade freely available to the community at large. The ongoing researchwill be integrated into a set of graduate-level computer sciencecourses focused on the theme of "Safety in Human Computer Interfaces".Results from the project will also be integrated into educationalmaterials for the ongoing eCSite GK12 project with the goal ofpromoting awareness of user-interface design issues amongst highschool students.
这项研究的目的是为网络物理系统开发正式的验证工具。该方法通过数学构造的“ mistakeModels”来结合对人类行为的现实假设,以解决操作员在交互式任务期间犯下的常见错误类型。详尽的验证技术用于阐明人类错误的组合,这些错误可能导致系统范围的范围。 使用涉及中介设备界面的案例研究对技术进行了评估。验证人机接口的问题需要新的操作,将严格的正式验证技术与以人类为中心的用户界面评估相结合的方法,以解决经验性的用户studydata将基于Game Game基于游戏的模型整合到普通类型的过程中。使用这些模型来检测用户界面设计中的细微之丝也是一个挑战。众所周知,设计较差的界面将使有害操作器误差造成有害误差,这仍然是造成大量安全关键安全性网络物理系统中失败的主要原因。 该项目将通过在设计过程的早期检测可能的缺陷来验证用户界面验证。开源验证工具将为整个社区免费提供。 正在进行的研究将被整合到一系列以“人类计算机界面安全性”为主题的研究生级计算机科学家。从该项目中进行的分解也将集成到正在进行的Ecsite GK12项目的教育材料中,该项目的目标是在较高级别的学生中涉及使用“用户视觉设计问题”的目标。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

暂无数据

数据更新时间:2024-06-01

Sriram Sankaranarayanan其他文献

Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
基于极值理论的 ML 算法的最坏情况收敛时间
Large Language Models Enable Automated Formative Feedback in Human-Robot Interaction Tasks
大型语言模型可在人机交互任务中实现自动形成反馈
  • DOI:
  • 发表时间:
    2024
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Emily Jensen;Sriram Sankaranarayanan;Bradley Hayes
    Emily Jensen;Sriram Sankaranarayanan;Bradley Hayes
  • 通讯作者:
    Bradley Hayes
    Bradley Hayes
A bit too precise? Verification of quantized digital filters
是不是有点太精确了?
Algorithms for Identifying Flagged and Guarded Linear Systems
识别标记和保护线性系统的算法
Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation
自动评估和自适应多模态形成反馈可改善四旋翼飞行器远程操作的精神运动技能训练成果
  • DOI:
  • 发表时间:
    2024
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Emily Jensen;Sriram Sankaranarayanan;Bradley Hayes
    Emily Jensen;Sriram Sankaranarayanan;Bradley Hayes
  • 通讯作者:
    Bradley Hayes
    Bradley Hayes
共 5 条
  • 1
前往

Sriram Sankaranara...的其他基金

Conference: Workshop for Rigorous and Reproducible Scientific Reasoning
会议:严谨且可重复的科学推理研讨会
  • 批准号:
    2336329
    2336329
  • 财政年份:
    2023
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
CPS: Medium: Collaborative Research: Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
CPS:媒介:协作研究:学习和验证网络物理系统的一致数据驱动模型
  • 批准号:
    1932189
    1932189
  • 财政年份:
    2019
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Rigorous Synthesis and Verification of Decisions Using Data-Driven Models
SHF:小型:使用数据驱动模型对决策进行严格的综合和验证
  • 批准号:
    1815983
    1815983
  • 财政年份:
    2018
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Bilinear Constraint Solving and Optimization for Program Verification and Synthesis Problems
SHF:小型:程序验证和综合问题的双线性约束求解和优化
  • 批准号:
    1527075
    1527075
  • 财政年份:
    2015
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
CPS: Synergy: Collaborative Research: In-Silico Functional Verification of Artificial Pancreas Control Algorithms.
CPS:协同作用:协作研究:人工胰腺控制算法的计算机功能验证。
  • 批准号:
    1446900
    1446900
  • 财政年份:
    2014
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
CSR: Small: Collaborative Research: Gray Box Testing of Complex Cyber-Physical Systems Using Optimization and Optimal Control Techniques
CSR:小型:协作研究:使用优化和最优控制技术对复杂信息物理系统进行灰盒测试
  • 批准号:
    1319457
    1319457
  • 财政年份:
    2013
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Reasoning Rigorously About Probabilistic Programs
SHF:小:对概率程序进行严格推理
  • 批准号:
    1320069
    1320069
  • 财政年份:
    2013
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
CAREER: Automatic Analysis of Cyber Physical Systems: Bridging the Gap between Research and Industrial Practice
职业:网络物理系统的自动分析:弥合研究与工业实践之间的差距
  • 批准号:
    0953941
    0953941
  • 财政年份:
    2010
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Continuing Grant
    Continuing Grant
SHF: Small: Collaborative Research: Statistical Techniques for Verifying Temporal Properties of Embedded and Mixed-Signal Systems
SHF:小型:协作研究:验证嵌入式和混合信号系统时间特性的统计技术
  • 批准号:
    1016994
    1016994
  • 财政年份:
    2010
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Continuing Grant
    Continuing Grant

相似国自然基金

靶向Treg-FOXP3小分子抑制剂的筛选及其在肺癌免疫治疗中的作用和机制研究
  • 批准号:
    32370966
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
化学小分子激活YAP诱导染色质可塑性促进心脏祖细胞重编程的表观遗传机制研究
  • 批准号:
    82304478
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
靶向小胶质细胞的仿生甘草酸纳米颗粒构建及作用机制研究:脓毒症相关性脑病的治疗新策略
  • 批准号:
    82302422
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
HMGB1/TLR4/Cathepsin B途径介导的小胶质细胞焦亡在新生大鼠缺氧缺血脑病中的作用与机制
  • 批准号:
    82371712
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
小分子无半胱氨酸蛋白调控生防真菌杀虫活性的作用与机理
  • 批准号:
    32372613
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目

相似海外基金

二次計画問題の狭小な半正定値緩和に基づく多項式最適化の大域的解法の展開
基于二次规划问题的窄正半定松弛的多项式优化全局求解方法的开发
  • 批准号:
    22KJ1307
    22KJ1307
  • 财政年份:
    2023
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
    Grant-in-Aid for JSPS Fellows
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
CISE-ANR:SHF:小型:并发软件的基于场景的形式化证明
  • 批准号:
    2315363
    2315363
  • 财政年份:
    2023
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
CPS: SMALL: Formal Methods for Safe, Efficient, and Transferable Learning-enabled Autonomy
CPS:SMALL:安全、高效和可迁移的学习自主的正式方法
  • 批准号:
    2231257
    2231257
  • 财政年份:
    2023
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
SHF:小:小棘手的逻辑:理解逻辑和形式属性的误解
  • 批准号:
    2227863
    2227863
  • 财政年份:
    2023
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Toward Fully Automated Formal Software Verification
SHF:小型:迈向全自动形式软件验证
  • 批准号:
    2210243
    2210243
  • 财政年份:
    2022
  • 资助金额:
    $ 45万
    $ 45万
  • 项目类别:
    Standard Grant
    Standard Grant