课题基金 / 基金详情

Triggers and Queries in Distributed Software Systems for Moving Objects

Triggers and Queries in Distributed Software Systems for Moving Objects
移动对象分布式软件系统中的触发器和查询
批准号:
9803974
负责人:
Aravinda Sistla
金额:
$26.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1998
资助国家:
美国
项目状态:
已结题
起止时间:
1998-08-01 至 2002-07-31

项目摘要

项目成果

Aravinda Sistla的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The project proposes research on distributed systems that monitor the positions of various moving objects and process queries and triggers referring to their positions. Applications of such systems, called Moving Object Information (MOI) applications, typically occur in transportation systems in the civilian sector and in the digital battlefield management in the military. This proposal considers two different architecture models for the MOI systems; in the first one a single central server (CS) monitors the position of the objects and answers queries; the second architecture is fully distributed in which the moving objects communicate with each other to answer the queries and to monitor trigger conditions. The project proposes various location update policies for maintenance of the position information of the objects in the CS model. All these policies maintain the position of an object as a dynamic attribute that changes with time. The project plans to investigate the cost effectiveness of these policies through analytical and experimental studies. A query language based on Future Temporal Logic (FTL) is proposed for specifying spatial and temporal queries and trigger conditions on the moving objects. The language permits specification of the desired levels of uncertainties in the answer. Research towards the development of efficient query/trigger processing mechanisms in the two architectures are proposed. The proposed mechanisms will be evaluated in an experimental testbed.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms
  • 批准号:
    1901069
  • 项目类别:
    Standard Grant
  • 资助金额:
    $80.0万
  • 财政年份:
    2019
  • 负责人:
    Aravinda Sistla
  • 依托单位:
SHF: Small: Static and Dynamic Techniques for Correctness of Probabilistic Systems
  • 批准号:
    1319754
  • 项目类别:
    Standard Grant
  • 资助金额:
    $30.0万
  • 财政年份:
    2013
  • 负责人:
    Aravinda Sistla
  • 依托单位:
CPS: Small: Monitoring Techniques for Safety Critical Cyber-Physical Systems
  • 批准号:
    1035914
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $36.0万
  • 财政年份:
    2010
  • 负责人:
    Aravinda Sistla
  • 依托单位:
Runtime and Static Verification of Concurrent Systems
  • 批准号:
    0916438
  • 项目类别:
    Standard Grant
  • 资助金额:
    $48.55万
  • 财政年份:
    2009
  • 负责人:
    Aravinda Sistla
  • 依托单位:
海外基金