A Study on Multiformalism Modeling of Critical Infrastructures

Autor:	Francesco Flammini, Concetta Pragliola, Nicola Mazzocca, Valeria Vittorini
Přispěvatelé:	R. Setola, S. Geretshuber, F., Flammini, Vittorini, Valeria, Mazzocca, Nicola, C., Pragliola
Jazyk:	angličtina
Rok vydání:	2009
Předmět:	Scheme (programming language) Critical Infrastructure Performability Computer science Distributed computing Reuse Dependability Critical infrastructure Abstraction layer Multiformalism Modeling Formal language Security Functional dependency computer computer.programming_language
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642035517 CRITIS
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8753d4a4b956ad9d095a69c7b0437097 http://hdl.handle.net/11588/365683 Zobrazit plný text záznamu