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
Ansaldo, Italy.ORCID iD: 0000-0002-2833-7196
Ansaldo, Italy.
Ansaldo, Italy.
Ansaldo, Italy.
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
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73684Scopus ID: 2-s2.0-77955371767OAI: oai:DiVA.org:lnu-73684DiVA, id: diva2:1213857
Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-10-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 52 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