| 1. |
- Flammini, Francesco, Senior Lecturer, 1978-, et al.
(författare)
-
Modeling of railway logics for reverse enginering, verification and refactoring
- 2011
-
Ingår i: International Journal of Safety and Security Engineering. - : WITPress. - 2041-9031 .- 2041-904X. ; 1:1, s. 77-94
-
Tidskriftsartikel (refereegranskat)abstract
- Model-based approaches are widespread both in functional and non-functional verification activities of critical computer-based systems. Reverse engineering can also be used to support checks for correctness of system implementation against its requirements. In this paper, we show how a model-based technique, using the Unified Modeling Language (UML), suits the reverse engineering of complex control logics. UML is usually exploited to drive the development of software systems, using an object-oriented and bottom-up approach; however, it can be also used to model legacy non-object-oriented logic processes featuring a clear distinction between data structures and related operations. Our case-study consists in the most important component of the European Railway Traffic Management System/European Train Control System: the Radio Block Center (RBC). The model we obtained from the logic code of the RBC significantly facilitated both structural and behavioral analyses, giving a valuable contribution to the static verification and refactoring of the software under test. © 2011 WIT Press.
|
|
| 2. |
- Hansen, Rickard, 1968-
(författare)
-
Statistical expressions on water based wildfire suppression in Sweden, 1996-2011
- 2015
-
Ingår i: International Journal of Safety and Security Engineering. - : WITPress. - 2041-9031 .- 2041-904X. ; 5:2, s. 124-141
-
Tidskriftsartikel (refereegranskat)abstract
- Little research has been conducted with respect to water requirements for wildfire suppression. An exploratory and robust regression analysis was conducted on statistical material extracted from a Swedish database, focusing on data related to the fire suppression. The variables included are the amount of water applied, application rate of water, extinguishing time, flame height, and the total fire area. The results of the analysis with potential relationships are described, discussed, and compared with results from earlier research. After initial outlier detection, a robust regression analysis was performed and relationships developed. It was found that the developed relationships could predict the dependent variable very well; this was especially the case with the extinguishing time as a function of the total fire area. The relationship with the lowest ability to predict the dependent variable was the application rate of water as a function of the total fire area. The large number of parameters and their included uncertainties could be an explanation to the increased inability to predict the dependent variable. When comparing the control times of earlier conducted building fire studies with the extinguishing times of developed relationships, it was found that the control times were much longer than the corresponding extinguishing times. The reason behind was most likely due to the difference in the fire area applied in the equations. The resulting relationships for the grass fuel type were found to have lower ability to predict the dependent variable. The reason behind this is unclear and needs to be investigated further.
|
|
