Two years after the Lambda Mu 15, the Institute for risk control (LMdR) has organized the sixteenth edition of its famous congress, and has proposed the theme of “New Challenges” which were covered by industrial, investors, engineers, consultants, and specialists whom exposed to the problem of risk Control and Operational Safety.
ClearSy as a recognized actor in the realisation and the study of operational safety systems must be kept informed and learn the what are the new challenges for the next century.
During this fair, the main points which have attracted our attention were the following:
- The impact of the ISO 26262 on the actual state of the art safety concepts in automotive industry
- The main lines form FIDES 2008 guide,
- The risk control of systems on the automation of the Paris Metro line 1,
- The use of formal methods in the framework of industrial projects.
The impact of the ISO 26262 on the actual state of the art safety concepts in automotive industry:
The establishment of this new standard ISO 26262, is a genuine revolution in the automotive sector. This standard resumed many points already present in the standards well known by ClearSy such as the IEC 61508, 50129, 50128, while incorporating also the constraints inherent to the automotive sector.
The main lines form FIDES 2008 guide:
The release of new FIDES 2008 guide, is an important development of the system reliability, since this standard shall deliver a better way to predict reliablity than the standard of reliability MIL HDBK 217F, too old now (1990), that sometimes generate a mismatch between the result of foresight studies and the real conditions of aging.
In addition, this new standard integrates more returns from experience than famous standard RDF2000 (UTE C 81-810), because it is carried out by a European consortium comprising the major actors in the industry of defense and the aeronautics.
The risk control of systems on the automation of the Paris Metro line 1:
The control of risks on the automation of the line 1 is part of the major concerns of ClearSy, because ClearSy is an actor in the process of automation of this line, responsable for developing the full command control system for plataform screen doors which allows to manage the mixing between trains automatic and trains with drivers. (see our DOF1 project).
The use of formal methods in the framework of industrial projects:
As a developer and publisher of the Atelier B tool (tool for development of the B formal method), ClearSy contributes strongly to the deployment of this method in the industrial environment. ClearSy has therefore very closely interest to the advances and developments of formal methods in industrial fields.
Our opinion on the Conference Lambda Mu:
The Lambda Mu is an exhibition which is designed to address all aspects of the control of risk and safety of operation. This area is a very vast area which affects all activities in all industrial sectors.
For a long time, the question of the control of risks or the safety of operation was often left aside by the industrial people because it was not considered applicable to constraints imposed by the operational projects.
But, more and more, this question of the control of risk and safety of operation is considered in the implementation of industrial projects. ClearSy, as an actor in the achievement of operational safety for electronic systems/computer saw a real change in the way of thinking the projects. The Lambda Mu fair thus allows to realize the magnitude of the phenomenon.
Furthermore, this place is the opportunity to submit university and research works in the field of the control of risk and safety of operation.