lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Sistemi di controllo per l'Alta Velocità ferroviaria
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
2010 (English)In: Mondo Digitale, ISSN 1720-898X, Vol. 9, no 4, p. 18-32Article in journal (Refereed) Published
Place, publisher, year, edition, pages
2010. Vol. 9, no 4, p. 18-32
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73681Scopus ID: 2-s2.0-79951712454OAI: oai:DiVA.org:lnu-73681DiVA, id: diva2:1213897
Note

Export Date: 26 April 2018; Article; Correspondence Address: Flammini, F.; L'Università di Napoli Federico IIItaly; email: francesco.flammini@ieee.org; References: PaginaWikipedia Su Incidenti Ferroviari Recenti, , http://en.wikipedia.org/wiki/List-of-rail-accidents-(2010-2019); Descrizione ATC Roma Metro C, , http://www.metrocspa.it/treni.asp; http://www.ertms.com; Flammini, F., Mazzocca, N., Vittorini, V., (2009) Modelliper l'Analisi di Sistemi Critici.Mondo Digitale, (3), pp. 11-21. , settembre; Senesi, F., Marzilli, E., (2008) European Train Control System - Sviluppo e Messa in Esercizio in Italia, , CIFI; Brochure Sistema ERTMS, , http://www.rfi.it/-cms-file/allegati/rfi/ERTMStotale.pdf; Descrizione Modello di Frenatura SCMT, , http://www.rfi.it/cms-file/allegati/rfi/documenti/ vol33ModellodiFrenaturaperSCMTV03C.pdf; Di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A., Hazard analysis of complex distributed railway systems (2003) 22-nd International Symposium on Reliable Distributed Systems (SRDS' 03), pp. 283-292; (2008) Unisig: ERTMS/ETCS - Subset 026 System Requirements Specification (SRS), , Issue 3.0.0; (2000) EN 50126 Railways Applications - The Specification and Demonstration of Reliability,Maintainability and Safety (RAMS), , CENELEC; VxWorks, , http://www.windriver.com/products/-product-notes/PN-VE-61508-0109.pdf; Sillitti, A., A caccia degli errori del software. (2005) Mondo Digitale, (4), pp. 32-44. , dicembre; Flammini, F., Mazzocca, N., Orazzo, A., Automatic instantiation of abstract tests to specific configurations for large critical control systems (2009) Journal of Software Testing, Verification & Reliability (STVR), 19 (2), pp. 91-110; Schulz, O., Peleska, J., Reliability analysis of safety-related communication architectures Proc. SAFECOMP'2010, 6351 (2011), pp. 1-14. , Springer LNCS; Smith, J., Russell, S., Looi, M., Security as a safety issue in rail communications Proc. 8-th Australian Workshop on Safety Critical Systems and Software, 33. , (Canberra, Australia); Lindsay, P., Cant, T., (2003) Conferences in Research and Practice in Information Technology Series, 97, pp. 79-88. , Australian Computer Society, Darlinghurst, Australia; Coccoli, A., Bondavalli, A., Analysis of safety related architectures (2003) 9-th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03); Amendola, A.M., Impagliazzo, L., Marmo, P., Mongardi, G., Sartore: Architecture and safety requirements of the ACC railway interlocking system (1996) Proc. IEEE 2-nd Int. Computer Performance & Dependability Symposium (IPDS'96), pp. 21-29. , Urbana Champaign, USA; (2005) Unisig: ERTMS/ETCS - Class 1 Safety Requirements, , Issue 2.2.11, Subset-091; (2004) EN 50129 Railways Applications - Safety Related Electronic Systems for Signalling, , CENELEC; Unisig: ERTMS/ETCS - RAMS Requirements Specifications Chapter 2 - RAM, , http://www.era.europa.eu/Document-Register/Documents/B1-02s1266-.pdf; Cimatti, A., Giunchiglia, F., Mongardi, G., Romano, D., Torielli, F., Traverso, P., Model checking safety critical software with SPIN: An application to a railway interlocking system (1998) Lecture Notes in Computer Science, 1516-1998, pp. 284-293; Caiazza, A., Di Maio, R., Fernando, S., Poli, F., Impagliazzo, L., Amendola, A.M., A new methodology and tool set to execute software tests on real-time safety-critical systems Proc. 5-th European Dependable Computing Conference (EDCC 2005), pp. 293-304; Abbaneo, C., Flammini, F., Lazzaro, A., Marmo, P., Sanseviero, A., UML based reverse engineering for the verification of railway control logics (2006) Proc. Dependability of Computer Systems (Dep-CoS'96), Szklarska Poreba, Poland, pp. 3-10. , May 25-27; Di Tommaso, P., Flammini, F., Lazzaro, A., Pellecchia, R., Sanseviero, A., The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system (2005) 9-th IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), pp. 131-139; Flammini, F., Impagliazzo, L., Marmo, P., Pragliola, C., Affidabilità e sicurezza dei sistemi innovativi di comando/controllo. Approcci basati su modelli e loro applicazioni industriali (2010) Ingegneria Ferroviaria, (6), pp. 543-558. , giugno

Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-06-05

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
By organisation
Department of computer science and media technology (CM)
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf