The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This part contains the abstracts and biographies of the two key notes proposed to our participants (Professor Rafael Martí and Professor Teodor Gabriel Crainic) and the guest session organized for the special talk of Professor Philippe A. Coucke.
Black box optimizers have a long tradition in the field of operations research. These procedures treat the objective function evaluation as a black box and therefore do not take advantage of its specific structure. Black-box optimization refers to the process in which there is a complete separation between the evaluation of the objective function —and perhaps other functions used to enforce constraints—...
Multi and intermodal freight transportation refers to moving loads by a sequence of transportation modes linked by mode-to-mode transfers performed at intermodal terminals, generally without directly handling the goods. Such transportation systems and the carriers that provide the associated services are often organized according to consolidation principles. Consolidation of the shipments of different...
Management of quality and safety (MQS) in the industrial systems is a cornerstone of high reliability organizations (HRO's). These HRO's are relentlessly coping with a high intrinsic risk, do function with success and achieve high performance levels and handle the safety issue systematically and systemically.
Today, the development of the logistics and transports sector needs new skills. These skills rely on a good understanding of business needs and also on the tools of new technologies and management. The objective of this round-table is to highlight some training cycles, based on trans-Mediterranean partnerships and dealing with new teaching tools like ICT (e-learning, serious games …). A special focus...
The rail transport mode is the more effective and efficient by the fact it connects the most populated areas at increasingly high speeds, providing social cohesion at national, European and international level.
The study is based on an industrial expression pointing ausual way of performing a safety analysis: one consults the national railway accident database in order to evaluate the defense capacity of the system against scenarios of real past accidents.
The approach of this study which is the third step of the Perfect project is based on the ERTMS simulation framework compliant with the official European specifications. The aim of this study is triple.
In railway systems, human error has been defined as a behavior of the human operator which leads to accidents in railroad systems. During the last years, human error is an increasingly significant factor in train accidents.
Researchers and practitioners were invited to submit their original and unpublished work that are related to transportation safety and interoperability, including (but not limited to): • Passengers, freight and logistics • rail punctuality, capacity and accessibility • Modelling and traffic management • Transport information systems • Applications and Requirements in Traffic and Transportation (Safety...
Reaching the critical software safety requirements is one of the most important and complex tasks for the safety-related industry. This fact explains, as it was highly recommended by the CENELEC standard, the increasing use of formal means in the development process. However, industrial environments are still reticent facing difficulties in incorporating those formal methods in a larger scale of application,...
In model driven engineering, model transformation is the “heart and soul ”. The purpose of using a model transformation is to save efforts and reduce errors by automatically building the models that conform to different modelling languages. In the French railway industry, the Petri nets and the B method are two recognized formal methods for safety critical systems, having their own successful applications...
Verification methods can be classified according to two kinds of criteria: static or not - i.e. dynamic - and formal or not. This paper follows a work about verification of temporal properties using dynamic analysis. The approach proposes to transform an LTL property into a Büchi automaton and to run the automaton on an execution trace to be verified. Because traces are finite, the end of trace problem...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.