 |
| Here
are some links to industrial research programmes and projects,
along with details of organisations that carry out industrial
safety research. There are also a number of links to clubs
and societies active in the safety engineering arena.
If you know
of any other links that should be included in this page,
please email webmaster@yellowbook-rail.org.uk
This page
has 3 sections:
| Research
Organisations |
 |
| Eurocontrol
|
EUROCONTROL
was founded in 1960 to oversee air traffic control
in the upper airspace of its 28 member States.
It has as its most important goal the development
of a coherent and coordinated air traffic control
system in Europe.
|
| INRETS
|
The
Institut
National de Recherche sur les Transports et leur
Sécurité (INRETS) is a state-financed
body under the dual administrative supervision
of the French Ministries of Research and Transport.
It has the following tasks :
- Technological
research and development concerned with the
improvement of the transportation and of traffic
from technical, economic and social viewpoints.
- Performance
of evaluative and advisory studies within these
domains.
- Promotion
of the results of the research and study programme,
to contribute to the dissemination of scientific
knowledge, and participate in training by and
for transport research both in France and abroad.
|
| IEEE
|
The
Institute
of Electrical and Electronic Engineers (IEEE)
promotes the use of responsible and safe engineering
processes and techniques. The following groups
have been set up within the IEEE:
- The
Safety Study Group, as a part of the Software
Engineering Standards Committee (SESC).
- The
Society on Social Implications of Technology
(SSIT), concerned by the health and safety implications
of new technologies.
|
| US Navy Center for High Assurance Computing Systems
|
The
Center
for High Assurance Computing Systems (US Navy)
conducts interdisciplinary research and development
in techniques for processing and communicating
data that preserve critical system properties,
such as security, safety, availability. There
is a focus on Formal Methods for analysing and
developing software and hardware systems: such
methods can support more precise and accurate
statements about the critical properties of computer
systems.
Projects - Publications.
|
| National Institute of Standards and Technology
|
National
Institute of Standards and Technology (NIST)
The Software Quality Group of the US National
Institute of Standards and Technology (NIST) develops
tools and techniques to help industry improve
the quality of information technology products.
Products include static analysis tools, verification
and validation techniques, formal methods, and
data on software failures. The Software Quality
Group collaborates with industry, academia, and
other Government agencies to develop technology
for high integrity software systems.
|
| NASA Software Assurance Technology Center
|
The
Software
Assurance Technology Center (SATC) was established
in 1992 in the Systems Reliability and Safety
Office at NASA Goddard Space Flight Center (GSFC).
The SATC was founded to become a NASA center of
excellence in software assurance. Funding comes
from the NASA Software IV&V Facility in Fairmont,
WV for technical and research tasks, and from
NASA software development projects for direct
technical support.
|
| Cigital
|
Cigital
(formerly Reliable Software Technologies) offers
products and consulting services designed specifically
to help companies build high-quality, reliable,
robust, and secure software - the essence of software
assurance.
|
| Centre for Software Reliability
|
Centre
for Software Reliability (CSR)
The University of Newcastle's Centre for Software
Reliability (CSR) has obtained DTI funding for
the formation of an industrial community Software
Reliability & Metrics Club to support transfer
of information, technology, and current and emerging
practices and standards.. There is also a Safety-Critical
Systems Club.
|
| System Safety
|
The
System
Safety Society is a non profit-making American
organisation dedicated to the advancement of system
safety. It holds conferences and also publishes
a systems safety analysis handbook.
|
| ESPRIT Program: CaberNet
|
CaberNet
is the Network of Excellence in distributed and
dependable systems. It is funded by the European
Commission's ESPRIT Programme. The mission of
Cabernet is to coordinate top-ranking European
research in distributed and dependable systems,
to make that research accessible to governments
and industries and to further the quality of education
concerning such systems. Cabernet addresses all
aspects of the design of networked computer systems.
These systems can range from embedded systems
used to control an aircraft in flight to globe-spanning
applications searching for information on the
World-Wide Web.
|
| EPSRC
|
The
Engineering
and Physical Sciences Research Council (EPSRC)
is the largest of the seven UK Research Councils.
It funds research and postgraduate training in
universities and other organisations throughout
the UK.
Amongst
the projects recently funded by the EPSRC, in
collaboration with the UK Department of Trade
and Industry (DTI), the Programme in Safety Critical
Systems addressed a wide range of problems in
the domain of computer-based safety-related systems,
and corresponding problems in systems relying
on programmable electronic components simpler
than computers.
Programme report - Publications
- Projects.
|
| CASS
|
Conformity
Assessment of Safety (Related) Systems (CASs).
This project will enable the UK safety related
computer systems industry (manufacturers, integrators
and end users) to collaborate in order to improve
its competitive position by developing a scheme
for assessing conformity against IEC 61508.
|
See also
the Industry Groups and Professional
Institutions pages on this site for links to relevant
research groups in the field of safety.
|
|
