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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Collaborative Research: CSR--EHS: Property-Based Development of Reactive and Embedded Systems
-
批准号:0720525
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Aravinda Sistla
-
依托单位:
SGER: Monitoring Off-the-shelf Components
-
批准号:0742686
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Aravinda Sistla
-
依托单位:
ITR: COLLABORATIVE RESEARCH: Towards a Seamless Process for the Development of Embedded Systems
-
批准号:0205365
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Aravinda Sistla
-
依托单位:
Automated Methods for Verification of Concurrent Software Systems
-
批准号:9988884
-
项目类别:Standard Grant
-
资助金额:$20.01万
-
财政年份:2000
-
负责人:Aravinda Sistla
-
依托单位:
Similarity Based Retrieval From Video and Pictorial Databases
-
批准号:9711925
-
项目类别:Continuing Grant
-
资助金额:$34.22万
-
财政年份:1997
-
负责人:Aravinda Sistla
-
依托单位:
Formal Methods in Concurrent and Distributed Systems
-
批准号:9623229
-
项目类别:Standard Grant
-
资助金额:$10.71万
-
财政年份:1996
-
负责人:Aravinda Sistla
-
依托单位:
Formal Methods in Concurrent and Distributed Systems
-
批准号:9212183
-
项目类别:Standard Grant
-
资助金额:$15.49万
-
财政年份:1992
-
负责人:Aravinda Sistla
-
依托单位:
Research Initiation: Design and Verification of DistributedSystems
-
批准号:8504794
-
项目类别:Standard Grant
-
资助金额:$6.0万
-
财政年份:1985
-
负责人:Aravinda Sistla
-
依托单位:
海外基金