METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
批准号:
EP/E02727X/1
负责人:
Alessio Lomuscio
金额:
$38.9万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2007
资助国家:
英国
项目状态:
已结题
起止时间:
2007 至 --
中文摘要
许多自主水下航行器(auv)最近被开发并成功地应用于各种海洋、工业和国防应用。AUVS的两个关键问题是,它们的生产成本很高,而且它们大多是一次性产品,因此不允许在大规模生产中使用质量控制技术和分析。该提案旨在分析技术并建立一个旨在减少auv故障或不可恢复丢失的机会的系统;因此,该提案旨在间接降低auv的有效运营成本。该项目是建立在南安普顿大学国家海洋学中心多年来设计、建造和操作auv的经验基础上的。该系统主要由故障评估系统(IFAS)、整体运行可靠性设计优化工具(DOPTOR)和日常操作人机界面(HIDO)组成。相对于所提出的设计系统,auv的开发成本和随后的损失是非常高的。该项目中开发的方法可以在一辆车中获得回报,如果可以复制,则可以多次获得回报。该提案的附带好处是,所产生的方法将在很大程度上可转让给合作者以外的用户,也可转让给其他类型的昂贵的陆地和空中自动驾驶汽车。
英文摘要
Many autonomous underwater vehicles (AUVs) have been recently developed and successfully deployed for various oceanographic, industry and defense applications. Two key concerns of AUVS are that they are expensive to produce and that they are mostly one-off products thereby disallowing quality control techniques and analysis used in mass production. This proposal aims to analyse techniques and to build a system aimed at reducing the chance of AUVs malfunctioningor becoming irrecoverably lost; hence, indirectly, the proposal aims to reduce the effective operational cost of AUVs. The project is to build on the many years of experience of designing, building and operating AUVs at the National Oceanography Centre at Southampton University. The main parts of the proposed system are and fault assessment system (IFAS), design optimization tool for overall operational reliability (DOPTOR) and human interface for daily operation (HIDO) .The cost of development and then loss of AUVs is very high relative to the design system proposed. The methodology developped in the project would pay for itself in a single vehicle and many times over should it be replicated. Collateral benefits of the proposal are that the methodology generated will largely be transferable to users other than the collaborators and also to other types of costly autonomous vehicles on land and in air.
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
形式方法和软件工程 - 第十二届形式工程方法国际会议,ICFEM 2010,中国上海,2010 年 11 月 17-19 日。会议记录
DOI:
10.1007/978-3-642-16901-4_15
发表时间:
2010
期刊:
影响因子:
--
作者:
[Lomuscio A]
通讯作者:
Lomuscio A
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
结合故障注入和模型检查来验证多代理系统中的容错能力
DOI:
--
发表时间:
2009
期刊:
8th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS09)
影响因子:
--
作者:
[Jonathan E]
通讯作者:
Jonathan E
DOI:
10.3233/fi-2010-298
发表时间:
2010
期刊:
Fundam. Informaticae
影响因子:
--
作者:
[A. Lomuscio;B. Strulo;Nigel G. Walker;Peng Wu]
通讯作者:
A. Lomuscio;B. Strulo;Nigel G. Walker;Peng Wu
DOI:
10.1007/s10009-015-0378-x
发表时间:
2017-02-01
期刊:
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
影响因子:
1.5
作者:
[Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco]
通讯作者:
Raimondi, Franco
DOI:
10.3233/fi-2011-382
发表时间:
2009-06
期刊:
Fundam. Informaticae
影响因子:
--
作者:
[F. Belardinelli;A. Lomuscio]
通讯作者:
F. Belardinelli;A. Lomuscio
共 7 条
SAIS: Secure AI assistantS
-
批准号:EP/T026731/1
-
项目类别:Research Grant
-
资助金额:$50.48万
-
财政年份:2020
-
负责人:Alessio Lomuscio
-
依托单位:
Trusted Autonomous Systems
-
批准号:EP/I00520X/1
-
项目类别:Fellowship
-
资助金额:$135.88万
-
财政年份:2010
-
负责人:Alessio Lomuscio
-
依托单位:
Verification of security protocols: a multi-agent systems approach
-
批准号:EP/E035655/1
-
项目类别:Research Grant
-
资助金额:$48.76万
-
财政年份:2007
-
负责人:Alessio Lomuscio
-
依托单位:
海外基金