Pasquale Marmo

Learn More
Several factors are creating pressure for the enhancement of methodologies and techniques for the validation of computer-based railway control systems. These factors are related to the introduction of new technologies and equipment, the design of interoperable railway networks in Europe, and the new strong competition in the market of railway products. This(More)
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working in the field of railway engineering, Ansaldobreda Segnalamento Ferroviario, and the CNR Institutes IEI and CNUCE of Pisa. Within the project two formal models have been developed(More)
Evaluating and possibly improving the fault tolerance and error detecting mechanisms is becoming a key issue when designing safety-critical electronic systems. The proposed approach is based on simulation-based fault injection and allows the analysis of the system behavior when faults occur. The paper describes how a microprocessor board employed in an(More)
This paper describes an experience in formal speciication and fault tolerant behavior validation of a railway critical system. The work, performed in the context of a real industrial project, had the following main targets: (a) to validate speciic safety properties in the presence of byzantine system components or of some hardware temporary faults; (b) to(More)
The pandemic dissemination of KPC carbapenemase-producing Klebsiella pneumoniae (KPC-KP) represents a major public health problem, given their extensive multidrug resistance profiles and primary role in causing healthcare-associated infections. This phenomenon has largely been contributed by strains of Clonal Group (CG) 258, mostly of clade II, which in(More)
  • 1