Sökning: id:"swepub:oai:DiVA.org:mdh-47816" >
Multiformalism tech...
Multiformalism techniques for critical infrastructure modeling
-
- Flammini, Francesco, Senior Lecturer, 1978- (författare)
- Ansaldo, Italy,CPS,Second University of Naples, Italy
-
- Mazzocca, N. (författare)
- University of Naples Federico II, Italy
-
- Moscato, F. (författare)
- Second University of Naples, Italy
-
visa fler...
-
- Pappalardo, A. (författare)
- Ansaldo, Italy ; Second University of Naples, Italy
-
- Pragliola, C. (författare)
- Ansaldo, Italy
-
- Vittorini, V. (författare)
- Second University of Naples, Italy
-
visa färre...
-
(creator_code:org_t)
- 2010
- 2010
- Engelska.
-
Ingår i: International Journal of System of Systems Engineering. - 1748-0671 .- 1748-068X. ; 2:1, s. 19-37
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Critical infrastructure
- Dependability
- Multiformalism modeling
- Performability
- Security
- Systems engineering
- Software Technology
- Programvaruteknik
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas