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

been followed by de-emphasising pen input. Design activity in the design space supported by the ODJ is to be
monitored by 'critics' driven by a protocol stream and individual designers can engage in synchronous, distributed
collaboration. The ODJ interface provides access to tools such as SAM II and Select OMT professional. ‘Critics’
react to sets of keywords chosen to represent design intent which are detected and recorded in the SCIDS database.
Critics have been created which monitor designers’ actions against checklists generated e.g. by HAZOPS as well as
those created by design management. Case Based Reasoning within the AI domain has been evaluated with a view
to the ODJ acting as a memory prosthesis to facilitate this. The possibilities of using the WWW as a global
knowledge source has been explored.
For a more detailed description of the project see section 4.2, A designer’s assistant.
References
[1] Supporting Design Reuse in Concurrent Engineering, David Jenkins and John Gammack, in Virtual
Prototyping Journal, vol 1 no. 1, 1996 pp. 4-12 MCB University Press ISSN 1359-8554 (http://www
.mcb.co.uk/mcbhome.htm.).
[2] Supporting Software Quality in an Integrated Critical Systems Development Environment, Brian Lees and
David Jenkins, Software Quality Journal, vol. 5, no. 2, June 1996, pp 117-125.
Project number: 9309 Approx. Project Cost: £0.3m Start date: Apr 1994 End date: Jan 1997
EPSRC Grant number: h95594
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
30
SCRECS Safety Critical Research in Engine Control Systems
University of Hertfordshire Contact: Prof M Loomes
School of Information Sciences
University of Hertfordshire,
Hatfield, Herts, AL10 9AB
Tel: 01707 284350
Email: M.J.Loomes@herts.ac.uk
Summary
The ultimate aim of this project has been the design and implementation of safer industrial engine control systems.
The project examined the use of Ladder Logic and Object Orientation in the context of reuse. It then decided to pursue
the issue of reuse via an examination of work on both design patterns and application frameworks, with the intention of
exploring the applicability of these in engine control systems. A prototype pattern-oriented programming language is
being designed and implemented. For a more detailed description see Patterns and frameworks in Chapter 10.
References
No reports or publications are available at the time of going to press.
Project number: 9022 Approx. Project Cost: £68,000 Start date: Oct 1994 End date: Oct 1997
EPSRC Grant number: j97519
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
31
SCSET Safety Critical Systems Engineering Toolset
Aerosystems International Ltd
Westland Helicopters Ltd
Rolls-Royce plc
Rolls-Royce and Associates Ltd
Interactive Development Environments Ltd
Contact: Mr P Lister
Aerosystems International Ltd
West Hendford
Yeovil
Somerset BA20 2AL
Tel: 01935 443000
Fax: 01935 443111
Summary
This was a short (16-month) project originally intended as the first phase of a three-year project. The objectives of
the project were:
· to define the major requirements for a safety-critical systems engineering toolset;
· to establish the applicability of methods, tools and integrated toolsets currently available, or likely to be
available in the near future, to the safety-critical systems engineering process;
· to establish suitable metrics for toolset assessment;
· to identify shortfalls in these tools and toolsets and recommend improvements, resulting in an initial SCSET
specification;
· to define a suitable test project.
The results of the project are described in The safety critical systems engineering process in Chapter 9.
References
No publications have been produced by this project and no reports have been placed in the public domain.
Project number: 9051 Approx. Project Cost: £0.3m Start date: Jan 1992 End date: May 1993
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
32
SEMSPLC Software Engineering Methods for Safe Programmable Logic Controllers
ERA Technology Ltd,
ICL,
LDRA Ltd,
Servelec Ltd,
British Gas,
York Software Engineering Ltd
University of York
Contact: Mrs A A Canning
ERA Technology Limited
Cleeve Road
Leatherhead
Surrey
KT22 7SA
Tel: 01372 367000 Fax: 01372 367099
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(161)