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
A study on multiformalism modeling of critical infrastructures
Ansaldo STS, Italy ; Universita’ di Napoli ”Federico II”, Italy. (CPS)ORCID iD: 0000-0002-2833-7196
Universita’ di Napoli ”Federico II”, Italy.
Universita’ di Napoli ”Federico II”, Italy.
Ansaldo STS, Italy.
2009 (English)In: Critical Information Infrastructure Security. CRITIS 2008 / [ed] Setola R., Geretshuber S. (, Springer, 2009, p. 336-343Conference paper, Published paper (Refereed)
Abstract [en]

This paper explores the possibility of using multiformalism techniques for critical infrastructure modeling and proposes a general scheme for intra and inter infrastructure models. Multiformalism approaches allow modelers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modeled. Another advantage is the possibility of reusing existing (and validated) dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies. © 2009 Springer Berlin Heidelberg.

Place, publisher, year, edition, pages
Springer, 2009. p. 336-343
Series
Lecture Notes in Coputer Science, ISSN 0302-9743 ; 5508
Keywords [en]
Critical infrastructure, Dependability, Multiformalism modeling, Performability, Security, Formal languages, Abstracting
National Category
Embedded Systems
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73688DOI: 10.1007/978-3-642-03552-4_32Scopus ID: 2-s2.0-70349308555ISBN: 3642035515 (print)ISBN: 9783642035517 (print)OAI: oai:DiVA.org:lnu-73688DiVA, id: diva2:1213891
Conference
3rd International Workshop on Critical Information Infrastructures Security, CRITIS 2008; Rome; Italy; 13-15 October 2008
Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2019-03-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 32 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