曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

[9] A Logic for Reasoning about Safety in Decision Support Systems, Subrata Das & John Fox, RED Report
QMW/WP/ 1300/1, + C.
[10] Managing tasks safely using an interval based modal temporal logic, Das SK & Hammond P (1996) Journal
of Applied Intelligence, Kluwer-Academic, 6, 307-319.
[11] Decision making and planning by autonomous agents: a generic architecture for safety critical applications,
John Fox, Subrata Das, David Elsdon & Peter Hammond, Expert Systems '95.
[12] A flexible architecture for autonomous agents, Subrata Das, John Fox, David Elsdon & Peter Hammond,
Journal of Experimental and Theoretical Artificial Intelligence, in press, 1997.
Project number: 9053 Approx. Project Cost: £1.3m Start date: Dec 1991 End date: Sep 1995
EPSRC Grant number: h12348
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
23
ROBUSTSafety Methodology for Advanced Robots
UK Robotics Ltd,
SRC (Consultants) Ltd,
Hunting Engineering Ltd
Contact: Mr N Kanuritch
UK Robotics Ltd
Derwent House, Clarence Avenue
Trafford Park,
Manchester, M17 1QS
Phone: 0161 876 3200
Fax: 0161 876 3201
Or: Mr A Darlison
SRC (Consultants) Ltd
Oceanic House, 89 High Street
Alton, Hampshire
GU34 ILG
Phone: 01420541636
Fax: 01420 541634
Summary
The ROBUST project was conceived to address some of the challenges for safety presented by advanced robot
requirements and design, and to formulate a methodology for the development of safe advanced robots.
The project recognised that the application of advanced robots could be limited by the perceived safety risks
associated with their use. The project therefore set out to identify, analyse and develop the relevant techniques, tools
and processes that would help to assure the safety of advanced robots. The aim was to create a complete systematic
and rigorous safety methodology.
Advanced robots tend to possess various degrees of intelligent decision making and are capable of self-adapting and
autonomous operation. Robot applications are becoming more diverse and demand high performance and integrity,
especially where human interaction is involved. The nature of robot systems provides various specific challenges to
be met within an appropriate safety methodology, extending the current capabilities of existing safety life cycle
approaches. These challenges are translated into the requirements of a safety methodology. The ROBUST
methodology has met such requirements within its rigorous and systematic approach to the robotic development
system life cycle. This explicitly emphasises safety related activities which focus on, or influence, the safety of the
final intended robot system.
The research addressed a wide range of topics including system development processes, safety, robotics, modelling
and infrastructure issues. These studies developed the technical rationale and clarification of the ROBUST Safety
Methodology focusing on its creation, definition and application.
The principal output of the project has been the ROBUST Safety Methodology Handbook which is available from
the project contacts.
For a more detailed description see A methodology for safe advanced robots in Chapter 8.
Reference
[1] ROBUST Safety Methodology Handbook, Mar 1996, + C.
[2] System Requirement Specification - Format Guide, Jun 1994, + D.
[3] ROBUST Hazard Database Technical Report, Jul 1994, + D.
[4] Design Considerations for the Safety Of Advanced Robots, Nov 1995, + C.
Project number: 9027 Approx. Project Cost: £1.2m Start date: Jan 1993 End date: Mar 1996
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
24
SADLI Safety Assurance in Diagnostic Laboratory Imaging
The Centre for Software Engineering Ltd,
Cambridge Consultants Ltd,
MRC Human Genetics Unit
Contact: Dr R May
CSE
Glanford House, Bellwin Drive
Flixborough, Scunthorpe
North Lincolnshire, DN15 8SN
Tel: 01724 862169
Fax: 01724 846256
Email: rm@cse-euro.demon.co.uk
Or: Mr M Chudleigh
Cambridge Consultants Ltd
Science Park,
Milton Road
Cambridge, CB4 4DW
Tel: 01223 420024
Fax: 01223 423373
morris.chudleigh@camcom.co.uk
Summary
The objective of the SADLI project was to implement a demonstration imaging system in diagnostic microscopy
using functional programming under the discipline of a safety-critical methodology in order to determine the
benefits and the constraints that arise from so doing.
The project chose to meet this objective by exploring three questions:
　
中國航空網 m.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(157)