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
Multiformalism techniques for critical infrastructure modeling
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
Show others and affiliations
2010 (English)In: International Journal of System of Systems Engineering, ISSN 1748-0671, E-ISSN 1748-068X, Vol. 2, no 1, p. 19-37Article in journal (Refereed) Published
Abstract [en]

This paper proposes an approach to use multiformalism techniques for critical infrastructure modelling. To this aim, the state of the art of related works on the subject is surveyed and a general scheme for intra and inter infrastructure models is described. Multiformalism approaches allow modellers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modelled. Another advantage is the possibility of reusing existing dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies. An example model based on a railway infrastructure is used to illustrate the concepts introduced by the paper. Copyright © 2010 Inderscience Enterprises Ltd.

Place, publisher, year, edition, pages
2010. Vol. 2, no 1, p. 19-37
Keywords [en]
Critical infrastructure, Dependability, Multiformalism modeling, Performability, Security, Systems engineering
National Category
Computer Systems Embedded Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73683DOI: 10.1504/IJSSE.2010.035379Scopus ID: 2-s2.0-78751557744OAI: oai:DiVA.org:lnu-73683DiVA, id: diva2:1213871
Note

Cited By :2; Export Date: 26 April 2018; Article; Correspondence Address: Flammini, F.; ANSALDO STS Italy, Via Argine 425, 80147 Naples, Italy; email: francesco.flammini@ansaldo-sts.com; References: Balasubramanian, K., Krishna, A.S., Turkay, E., Balasubramanian, J., Parsons, J., Gokhale, A., Schmid, D., Applying modeldriven development to distributed realtime and embedded avionics systems (2006) Int. J. of Embedded Systems, 2 (34), pp. 142-155; Brown, G., Carlyle, M., Salmer, J., Wood, K., Defending critical infrastructure (2006) Interfaces, 36 (6), pp. 530-544; Casale, G., Muntz, R.R., Serazzi, G., ACM SIGMETRICS performance evaluation review (2009) It Special Issue on Tools for Computer Performance Modelling and Reliability Analysis, 36 (4); Chiaradonna, S., Di Giandomenico, F., Lollini, P., Evaluation of critical infrastructures: Challenges and viable approaches (2008) Architecting Dependable Systems V, LNCS, 5135, pp. 52-77; Chiaradonna, S., Lollini, P., Di Giandomenico, F., On a modelling framework for the analysis of interdependencies in electric power systems (2007) IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks (DSN 2007), pp. 185-195. , Edinburgh, UK; Identification and Designation of European Critical Infrastructure (ECI) and the assessment of the need to improve their protection (2008) Official Journal of the European Union, , Council Directive 2008/114/EC; De Lara, J., Guerra, E., Vangheluwe, H., Meta-modelling, graph transformation and model checking for the analysis of hybrid systems (2008) Applications of Graph Transformations with Industrial Relevance, LNCS, 3062, pp. 292-298; Ezell, B., Farr, J., Wiese, I., Infrastructure risk analysis model (2000) Journal of Infrastructure Systems, 6 (3), pp. 114-117; Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Cregut, X., Pantel, M., The TOPCASED project: A toolkit in open source for critical aeronautic SystEms design (2006) Proc. of ERTS, 2006, pp. 25-27; 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 International Symposium on High Assurance Systems Engineering (HASE 2005), pp. 163-172. , Heidelberg, Germany; Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V., Modelling structural reliability aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks (2006) Proc. of the European Safety & Reliability Conference, ESREL'06; Gössler, G., Sifakis, J., Composition for component-based modeling (2002) Proceedings of FMCO'02, , Leiden, The Nederlands; Hagner, M., Huhn, M., Zechner, A., Timing analysis using the MARTE profile in the design of rail automation systems (2008) 4th European Congress on Embedded Realtime Software (ERTS 08); Meyer, J.F., Performability: A retrospective and some pointers to the future (1992) Performance Evaluation, 14 (3-4), pp. 139-156. , Elsevier; Milner, R., Elements of interaction (1993) Communications of the ACM, 36 (1), pp. 70-89. , Turing Award Lecture; Moscato, F., Di Lorenzo, G., Flammini, F., Iacono, M., Marrone, S., Vittorini, V., The software architecture of the OsMoSys multisolution framework (2007) Proc. 2nd Intl. Conf. on Perf. Evaluation Meth. & Tools, VALUETOOLS'07, pp. 1-10; 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; Pederson, P., Dudenhoeffer, D., Hartley, S., Permann, M., (2006) Critical Infrastructure Interdependency Modeling: A Survey of US and International Research, , INL Technical Document: INL/EXT 06-11464; Rinaldi, S., Peerenboom, J., Kelly, T., Identifying, understanding and analyzing critical infrastructure interdependencies (2001) IEEE Control Systems Magazine; Sanders, W.H., Integrated frameworks for multi-level and multi-formalism modeling (1999) Proc. of the 8th Intl. Workshop on Petri Nets and Performance Models, p. 2; Schmidt, D.C., Guest editor's introduction: Model driven engineering (2006) IEEE Computer, 39 (2), pp. 25-31; Sousa-Poza, A., Kovacic, S., Keating, C., System of systems engineering: An emerging multidiscipline (2008) International Journal of System of Systems Engineering, 1 (1-2), pp. 1-17; Svendsen, N.K., Wolthuse, S.D., Connectivity models of interdependency in mixed-type critical infrastructure networks (2007) Information Security Technical Report, 12 (1), pp. 44-55. , Springer; Tolone, W.J., Wray Johnson, E., Lee, S.W., Xiang, W.N., Marsh, L., Yeager, C., Blackwell, J., Enabling system of systems analysis of critical infrastructure behaviors (2009) LNCS, 5508 (200), pp. 24-35. , Springer; Tolone, W., Lee, S.W., Xiang, W.N., Blackwell, J., Yeager, C., Schumpert, A., Johnson, W., An integrated methodology for critical infrastructure modeling and simulation (2009) IFIP International Federation for Information Processing, 290 (2009), pp. 257-268. , Springer

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

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
By organisation
Department of computer science and media technology (CM)
In the same journal
International Journal of System of Systems Engineering
Computer SystemsEmbedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
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