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
Reliability, safety and security of innovative command/control systems. Model-based approaches and related industrial applications
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
2010 (English)In: Ingegneria Ferroviaria, ISSN 0020-0956, Vol. 65, no 6, p. 543-558Article in journal (Refereed) Published
Abstract [en]

Model-based approaches and related industrial applications were used in industrial case-studies in the railway and metropolitan transport sectors. Each of the presented an application of advanced modeling techniques to problems related to safety, reliability, and security. These experiences highlighted an efficient transfer to the industry of tools and methods developed in the academy. A method was described for the availability evaluation of a railway system considering all the failure modes and fault origins and exploiting a modeling technique known as 'multi-formalism'. A safety evaluation technique was demonstrated for majority voting systems in presence of imperfect maintenance, using abstraction and modeling techniques based on different languages. The concept of model-based-testing was also introduced to improve effectiveness and efficiency of the certification process.

Place, publisher, year, edition, pages
2010. Vol. 65, no 6, p. 543-558
Keywords [en]
Advanced modeling techniques, Case-studies, Certification process, Fault origin, Imperfect maintenance, Majority voting, Model based approach, Model-based, Modeling technique, Railway system, Safety evaluations, Tools and methods, Transport sectors, Failure analysis, Industrial applications, Industry, Query languages, Voting machines, Industrial railroads
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73684Scopus ID: 2-s2.0-77955371767OAI: oai:DiVA.org:lnu-73684DiVA, id: diva2:1213857
Note

Cited By :1; Export Date: 26 April 2018; Article; CODEN: INFEA; Correspondence Address: Flammini, F.; Ansaldo STSItaly; References: (1999) Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS), , CENELEC: EN 50126; Nicol, D.M., Sanders, W.H., Trivedi, K.S., Model-based evaluation: From dependability to security (2004) Dependable and Secure Computing, IEEE Transactions on, 1 (1), pp. 48-65; Flammini, F., Mazzocca, N., Vittorini, V., Modelli per I'analisi di sistemi critici (2009) Mondo Digitale, (3), pp. 11-21. , Settembre; UNISIG: ERTMS/ETCS Class 1 Issue 2.2.2 Subset 026, 2002; Sanders, W.H., Integrated frameworks for multi-level and multi-formalism modeling (1999) Proc. 8th Intl. Workshop on Petri Nets and Performance Models, p. 2; Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V., Modelling system reliability aspects of ERTMS/ETCS by fault trees and bayesian networks (2006) Safety and Reliability for Managing Risk: Proceedings of the 15th European Safety and Reliability Conference, pp. 2675-2683. , ESREL'06, Estoril, Portugal, September 18-22; Flammini, F., Iacono, M., Marrone, S., Mazzocca, N., Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems (2005) Proceedings of the 9th IEEE Symposium on High Assurance Systems Engineering, pp. 163-172. , HASE'05, Heidelberg, Germany, October 12-14; Zimmermann, A., Hommel, G., Towards modeling and evaluation of ETCS real-time communication and operation (2005) Journal of Systems and Software, 77 (1), pp. 47-54. , July; Amendola, A.M., Impagliazzo, L., Marmo, P., Mongardi, G., Sartore, G., Architecture and safety requirements of the ACC railway interlocking system (1996) IEEE Proc. 2nd Annual Int. Computer Performance & Dependability Symposium (IPDS'96), pp. 21-29. , Urbana Champaign, IL, USA; Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V., A new modelling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance (2009) Reliability Engineering & System Safety (RESS), 94 (9), pp. 1422-1432. , September; Abbaneo, C., Flammini, F., Lazzaro, A., Marmo, P., Mazzocca, N., Sanseviero, A., UML based reverse engineering for the verification of railway control logics (2006) IEEE Proc. of Dependability of Computer Systems, pp. 3-10. , DepCoS'06, Szklarska Por'ba, Poland, May 25-27; De Nicola, G., Tommaso, P.D.I., Esposito, R., Flammini, F., Marmo, P., Orazzo, A., A grey-box approach to the functional testing of complex automatic train protection systems (2005) LNCS Vol. 3463: The Fifth European Dependable Computing Conference, pp. 305-317. , EDCC-5, Budapest, Hungary, April 20-22; 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; Flammini, F., Tommaso, P.D.I., Lazzaro, A., Pellecchia, R., Sanseviero, A., The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system (2005) Proc. 9th IEEE Symposium on High Assurance Systems Engineering, pp. 131-139. , HASE'05, Heidelberg, Germany, October 12-14; Flammini, F., Gaglione, A., Mazzocca, N., Pragliola, C., Quantitative security risk assessment and management for railway transportation infrastructures (2009) Proc. 3rd International Workshop on Critical Information Infrastructures Security, 5508, pp. 180-189. , CRITIS'08, LNCS; Flammini, F., Mazzocca, N., Pragliola, C., Vittorini, V., A study on multiformalism modelling of critical infrastructures (2009) Proc. 3rd International Workshop on Critical Information Infrastructures Security, 5508, pp. 336-343. , CRITIS'08, LNCS; Flammini, F., Gaglione, A., Mazzocca, N., Moscato, V., Pragliola, C., On-line integration and reasoning of multi-sensor data to enhance infrastructure surveillance (2009) Journal of Information Assurance and Security (JIAS), 4 (2), pp. 183-191; Bocchetti, G., Flammini, F., Pappalardo, A., Pragliola, C., Dependable integrated surveillance systems for the physical security of metro railways (2009) Proc. 3rd ACM/IEEE International Conference on Distributed Smart Cameras, , ICDSC 30 August - 2 September, 2009, Como, Italy; Cimatti, A., Giunchiglia, F., Mongardi, G., Romano, D., Torielli, F., Traverso, P., Formal Verification of a Railway Interlocking System using Model Checking (1998) Journal on Formal Aspects in Computing, 10, pp. 361-380; Senesi, F., Malangone, R., Piccolo, A., Galdi, V., Utilizzo di linguaggi formali per l'analisi e la valutazione delle specifiche di test del sistema ERTMS della rete italiana ad alta velocitĂ  (2006) Ingegneria Ferroviaria, p. 957. , Dicembre; Di Lorenzo, G., Flammini, F., Iacono, M., Marrone, S., Moscato, F., Vittorini, V., The software architecture of the OsMoSys multisolution frame work (2007) Proc. 2nd International Conference on Performance Evaluation Methodologies and Tools, pp. 1-10. , VALUETOOLS'07, Nantes, France, October 23-25; Flammini, F., Mazzocca, N., Pragliola, C., Protezione delle infrastrutture di trasporto su ferro (2008) Safety & Security, (8), pp. 12-16. , Marzo

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: 7 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