• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>HCI international 2009;International conference on human-computer interaction >High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
【24h】

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too

机译：交互式系统的高保真原型可能也是正式的

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the human-computer interface. Conventional empirical or semi-formal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human-system cooperation, and offer no easy way to, for example, quantitatively compare two design options. The aim of this paper is to present a method, with supporting tools and techniques, for engineering the design and development of usable user interfaces for safety-critical applications. More precisely we present the Petshop environment which is a Petri net based tool for the design specification, prototyping and validation of interactive software. In this environment models of the interactive application can be interactively modified and executed. This is used to support prototyping phases (when the models and the interactive application evolve significantly to meet late user requirements for instance) as well as in the operation phase (after the system is deployed). The use of the description technique (the ICO formalism) supported by PetShop is presented on a multimodal ground segment application for satellite control and more precisely how prototyping can be performed at the various levels of the architecture of interactive systems.
机译：安全关键系统的设计需要先进的软件工程模型，方法和工具，以满足能够避免危及人类生命安全的安全要求。当安全关键系统包含实质性的交互式组件时，则需要对人机界面具有相同的置信度。常规的经验或半正式技术虽然卓有成效，但并未对人机合作的可靠性提供足够的洞察力，也没有提供简便的方法，例如，定量比较两个设计方案。本文的目的是提供一种带有支持工具和技术的方法，用于对安全关键型应用程序的可用用户界面进行设计和开发。更准确地说，我们介绍了Petshop环境，该环境是基于Petri网的工具，用于设计规范，原型设计和交互软件的验证。在这种环境下，可以交互式地修改和执行交互式应用程序的模型。这用于支持原型设计阶段（例如，模型和交互式应用程序进行重大改进以满足后期用户需求时）以及操作阶段（在系统部署之后）。 PetShop支持的描述技术（ICO形式主义）的使用在多模式地面分段应用中进行了介绍，该应用用于卫星控制，更精确地讲，如何在交互系统体系结构的各个级别上执行原型制作。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号