• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP 152; IFIP World Computer Congress and TC13/WG13.5 Working Conference on Human Error, Safety and Systems Development; 20040822-27; Toulouse(FR) >ANALYSING DYNAMIC FUNCTION SCHEDULING DECISIONS
【24h】

ANALYSING DYNAMIC FUNCTION SCHEDULING DECISIONS

机译：动态功能调度决策分析

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It involves a documented and rational process for deciding what aspects of the system should be controlled by which human roles in the system and how the system should be automated to support these roles effectively. As computer systems have become more advanced, and the control of systems more complex, the notion of dynamic function allocation becomes increasingly desirable where in certain situations the automation may take over or give back function to the human user. In this paper we explore a further variant of dynamic function allocation that reflects typical work activity where the dynamic scheduling of activities takes place on the time dimension. The paper discusses this approach to dynamic function allocation called dynamic function scheduling and discusses the role that timed model checking may play in helping identify dependable dynamic function scheduling solutions.
机译：功能分配作为构建可靠的复杂系统时使用的过程，是交互系统设计和实现的重要方面。它涉及一个文档化的合理过程，用于决定应由系统中的哪些人员角色控制系统的哪些方面，以及应如何使系统自动化以有效地支持这些角色。随着计算机系统变得更加先进，并且系统的控制变得更加复杂，动态功能分配的概念变得越来越令人期望，其中在某些情况下，自动化可以接管人类用户的功能或将功能还给人类用户。在本文中，我们探索了动态功能分配的另一个变体，该变体反映了典型的工作活动，其中活动的动态安排在时间维度上进行。本文讨论了这种称为动态功能调度的动态功能分配方法，并讨论了定时模型检查在帮助确定可靠的动态功能调度解决方案中所起的作用。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号