| 1. |
- Casola, V., et al.
(författare)
-
Securing freight trains for hazardous material transportation : A WSN-based monitoring system
- 2012
-
Ingår i: International Defense and Homeland Security Simulation Workshop, DHSS 2012, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2012. - : Caltek s.r.l.. ; , s. 52-59
-
Konferensbidrag (refereegranskat)abstract
- In recent years the interest in monitoring infrastructures has spread in many application domains, even because of the number of natural disasters and terrorist attacks. This important activity can be seen in the general context of critical infrastructure protection such as the freight train meant for hazardous materials transportation. The design of these systems must answer to several issues: low-cost, easiness of installation, interoperability of information sources, security mechanisms. The use of wireless sensor networks emerged in this field as a compliant solution to these issues. In this paper we will present a monitoring system that uses heterogeneous WSN to monitor a freight train transporting hazardous materials. The sensors interact through a security platform in order to share different information. We illustrate some details on the architecture and the software application to prove the feasibility of such system on a real scenario by discussing most significant results about measurement parameters and networks performance. Copyright© (2012) by CAL-TEK S.r.l.
|
|
| 2. |
|
|
| 3. |
- 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.
|
|
| 4. |
- Flammini, Francesco, Senior Lecturer, 1978-, et al.
(författare)
-
Multiformalism techniques for critical infrastructure modeling
- 2010
-
Ingår i: International Journal of System of Systems Engineering. - 1748-0671 .- 1748-068X. ; 2:1, s. 19-37
-
Tidskriftsartikel (refereegranskat)abstract
- This paper proposes an approach to use multiformalism techniques for critical infrastructure modelling. To this aim, the state of the art of related works on the subject is surveyed and a general scheme for intra and inter infrastructure models is described. Multiformalism approaches allow modellers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modelled. Another advantage is the possibility of reusing existing dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies. An example model based on a railway infrastructure is used to illustrate the concepts introduced by the paper. Copyright © 2010 Inderscience Enterprises Ltd.
|
|
| 5. |
- Kivimaeki, A., et al.
(författare)
-
On the production of N-2(+) ions at the N 1s edge of the nitrogen molecule
- 2013
-
Ingår i: Physica Scripta. - : IOP Publishing. - 0031-8949 .- 1402-4896. ; 87:6
-
Tidskriftsartikel (refereegranskat)abstract
- The N-2(+) ion yield of the N-2 molecule has been measured at the N 1s -> Rydberg excitations. It displays Fano-type line shapes due to interference between direct outer-valence photoionization and participator decay of the core-excited Rydberg states. The N-2(+) ion yield is compared with the total intensity of the outer-valence photoelectron lines obtained recently with electron spectroscopy (Kivimaki et al 2012 Phys. Rev. A 86 012516). The increasing difference between the two curves at the higher core-to-Rydberg excitations is most likely due to soft x-ray emission processes that are followed by autoionization. The results also suggest that resonant Auger decay from the core-valence doubly excited states contributes to the N-2(+) ion yield at the photon energies that are located on both sides of the N 1s ionization limit.
|
|
| 6. |
- Kivimaeki, A., et al.
(författare)
-
Valence photoionization of the N-2 molecule in the region of the N 1s -> Rydberg excitations
- 2012
-
Ingår i: Physical Review A (Atomic, Molecular and Optical Physics). - 1050-2947. ; 86:1
-
Tidskriftsartikel (refereegranskat)abstract
- The intensities of the X and A valence photoelectron lines of N-2 have been found to display Fano line shapes as a function of photon energy around the N 1s -> Rydberg excitations. The vibrational intensity distributions of these photoelectron lines change at the N 1s -> 3s sigma and 3p pi resonances. These effects indicate interference between direct and resonant photoionization channels. Our numerical simulations reproduce quite well the experimental results.
|
|
