1. |
- Arvidson, Magnus, et al.
(author)
-
FIRESAFE II Alternative fixed‑fire extinguishing systems for ro-ro spaces on ships
- 2018
-
Reports (other academic/artistic)abstract
- The effectiveness of ‘drencher systems’ per Resolution A.123(V) has been questioned for many years. This report presents a review of potential commercially available alternative systems and their expected performance efficiency, water consumption and estimated installation costs. Additionally, large‑scale fire tests were performed for selected systems.Three main alternative fire-extinguishing systems were identified:Compressed Air Foam Systems (CAFS)Foam-water sprinkler and foam‑water spray systems; andWater curtains.Water curtains was the least expensive system, but the areas sub‑divided by the water curtains require cargo spacing, resulting in significant yearly losses in income for a ship owner. Furthermore, water curtains were de-selected since they cannot replace a conventional fire-extinguishing system.The installation cost for the selected CAFS was very high and it gave limited fire suppression in the large‑scale fire tests, probably due to the limited discharge density of 2.4 mm/min.The system per MSC.1/Circ.1430 (10 mm/min) had superior performance while the system per Resolution A.123(V) (5 mm/min) and the foam‑water spray system (6.5 mm/min + foam) limited the fire size to some degrees. However, for a potential spill fire scenario, improvements of foam could be relevant.Foam injection could be an alternative, but no new system was recommended to be required.
|
|
2. |
- Leroux, Jerome, et al.
(author)
-
FIRESAFE II Containment and Evacuation
- 2018
-
Reports (other academic/artistic)abstract
- Fire and smoke containment are well known issues during fires in ro-ro spaces, especially in case of uncontrolled fires. Similarly, in some accidents, evacuation systems remained inoperative due to the heat and flames coming through the openings of the ro-ro spaces.This report presents a Formal Safety Assessment on containment and on evacuation following a ro-ro space fire incident on any ro-ro passenger ship.The safety level was estimated for three generic ships representing the world fleet of RoPax ships (Cargo, Standard and Ferry RoPax) and a cost-effectiveness assessment was performed on three Risk Control Options (RCOs), taking into account potential differences between newbuildings and existing ships.From a containment perspective, the RCO Fire monitors on weather decks was found cost-effective for newbuildings and existing ships of the three ship categories.From an evacuation outlook, a safe distance was estimated to ensure the protection of stowage areas, embarkation stations and evacuation routes, and LSA failure due to heat and smoke following a fire in a ro-ro space. Several design solutions were investigated and cost-effective solutions were found for the Standard RoPax and Ferry RoPax.
|
|
3. |
- Drewes, Frank, et al.
(author)
-
Structurally Cyclic Petri Nets
- 2015
-
In: Logical Methods in Computer Science. - 1860-5974. ; 11:4
-
Journal article (peer-reviewed)abstract
- A Petri net is structurally cyclic if every configuration is reachable from itself in one or more steps. We show that structural cyclicity is decidable in deterministic polynomial time. For this, we adapt the Kosaraju's approach for the general reachability problem for Petri nets.
|
|
4. |
- Leroux, Jerome, et al.
(author)
-
FIRESAFE II Combined Assessment
- 2018
-
Reports (other academic/artistic)abstract
- In 2016, EMSA initiated the first FIRESAFE study in order to investigate cost-efficient measures for reducing the risk from fires on ro-ro spaces with a focus on Electrical Fire as ignition source as well as Fire Extinguishing Failure. In 2017, EMSA initiated the FIRESAFE II study to investigate risk control options in relation to Detection and Decision as well as Containment and Evacuation, following a ro-ro space fire incident on any ro-ro passenger ship.The main objective of FIRESAFE and FIRESAFE II was to improve the fire safety of ro-ro passenger ships by cost-efficient safety measures reducing the risk of ro-ro space fire, with an aim to discuss specific proposals for rule making.This report presents the results of the combined assessment of cost effectiveness based on the results from the different parts previously considered separately in FIRESAFE and FIRESAFE II.The combined cost-effectiveness assessment was performed on 21 Risk Control Options (RCOs) for three generic ships representing the world fleet of RoPax ships (Cargo, Standard and Ferry RoPax), taking into account potential differences between Newbuildings and Existing ships.Recommendations for decision making were provided based on the results of the combined cost-effectiveness assessment.
|
|
5. |
- Leroux, Jerome, et al.
(author)
-
FIRESAFE II Detection and Decision
- 2017
-
Reports (other academic/artistic)abstract
- Early detection of fire and quick activation of the fire extinguishing system are often considered as the main keys to successful fire management, allowing to prevent loss of life and damage to the ship and cargo.This report presents a Formal Safety Assessment on detection and on decision of extinguishing system activation following a ro-ro space fire incident on any ro-ro passenger ship.The safety level was estimated for three generic ships representing the world fleet of RoPax ships (Cargo, Standard, and Ferry RoPax) and a cost-effectiveness assessment was performed on six Risk Control Options (RCO), taking into account potential differences between newbuildings and existing ships.From a detection perspective, only the RCO Combined smoke and heat detection was found cost-effective for Standard and Ferry newbuildings (but not for existing ships).From a decision perspective, the RCO Improved markings/signage for way-finding and localisation and Alarm System Design & Integration met the cost-effectiveness criteria on all three generic ships, except for the Existing Cargo RoPax ships for the latter RCO. The RCO Preconditions for Early Activation of Drencher System was found cost-effective for Standard and Ferry RoPax ships.
|
|
6. |
- Leroux, Jérôme, et al.
(author)
-
Guiding Craig interpolation with domain-specific abstractions
- 2016
-
In: Acta Informatica. - : Springer Science and Business Media LLC. - 0001-5903 .- 1432-0525. ; 53:4, s. 387-424
-
Journal article (peer-reviewed)abstract
- Craig interpolation is a standard method to construct and refine abstractions in model checking. To obtain abstractions that are suitable for the verification of software programs or hardware designs, model checkers rely on theorem provers to find the right interpolants, or interpolants containing the right predicates, in a generally infinite lattice of interpolants for any given interpolation problem. We present a semantic and solver-independent framework for systematically exploring interpolant lattices, based on the notion of interpolation abstraction. We discuss how interpolation abstractions can be constructed for a variety of logics, and how they can be applied in the context of software model checking.
|
|
7. |
- Mindykowski, Pierrick, et al.
(author)
-
FIRESAFE II Detection systems in open ro-ro and weather decks
- 2018
-
Reports (other academic/artistic)abstract
- One of the main issues with regard to fire safety of open ro-ro spaces and weather decks is that detection systems may not be as efficient as in closed ro-ro spaces. Several recent total losses of ro-ro ships have stressed the need for investigating more efficient fire detection solutions.This study evaluated available and emerging fire detection technologies for use in open ro-ro spaces and on weather decks. A review of relevant regulations was performed as well as an evaluation of the expected efficiency of the identified alternative detection technologies, considering detection time and sensitivity to weather conditions, loading conditions and deck configuration, as well as cost.Fibre optic linear heat detection and thermal imaging camera detection were selected for fire tests in open ro-ro space and on weather deck, respectively, onboard a commercial RoPax vessel. Both systems were found functional and suitable for the relevant ro-ro space environments. The risk reduction potentials of the systems were quantified and a cost-effectiveness assessment was performed. Thermal imaging camera detection was found cost-effective for all types of RoPax (Existing ships and Newbuildings), and fibre optic linear heat detection system was found cost-effective for Standard and Ferry RoPax (Existing ships and Newbuildings).
|
|
8. |
|
|
9. |
|
|