Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Valentino Meduri"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642242694
SAFECOMP
SAFECOMP
New systems and functionalities are continuously deployed in complex domains such as Air Traffic Management (ATM). Unfortunately, methodologies provide limited support in order to deal with changes and to assess their impacts on critical features (e.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::818927dc45e89cfdf316c9519b134edf
https://doi.org/10.1007/978-3-642-24270-0_8
https://doi.org/10.1007/978-3-642-24270-0_8
Autor:
Carlo Riccucci, Alessandra Tedeschi, Domenico Presenza, Massimo Felici, Valentina Di Giacomo, Valentino Meduri
Publikováno v:
2009 2nd Conference on Human System Interactions.
This paper is concerned with the validation of complex interactions. It reports our validation activities for the design of a tool supporting Security and Dependability (S&D) requirements tailored for the Air Traffic Management domain.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6982ee78ffe97a1a5209038b347eeabc
https://doi.org/10.1109/hsi.2009.5091004
https://doi.org/10.1109/hsi.2009.5091004
Publikováno v:
Security and Dependability for Ambient Intelligence ISBN: 9780387887746
Security and Dependability for Ambient Intelligence
Security and Dependability for Ambient Intelligence
This chapter is concerned with the validation of an implementation of the SERENITY Runtime Framework (SRF) tailored for the Air Traffic Management (ATM) domain. It reports our experience in the design and validation phases of a tool, which relies on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9afd9d5c62d021e52d618c68277c60c0
https://doi.org/10.1007/978-0-387-88775-3_20
https://doi.org/10.1007/978-0-387-88775-3_20
Publikováno v:
SERENE
This paper reports about the empirical validation of a tool for decision support in the conext of Air Traffic Management (ATM). The empirical validation highlights how resilience emerges in complex socio-technical settings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a0cc8caa1dfb67afdfa25cf0839d505
https://doi.org/10.1145/1479772.1479783
https://doi.org/10.1145/1479772.1479783
Autor:
Massimo Felici, Carlo Riccucci, Alessandra Tedeschi, Domenico Presenza, V. Di Giacomo, Valentino Meduri
Publikováno v:
DEXA Workshops
Security and dependability (S&D) patterns support the structuring and reusing of design solutions to specific known problems. They capture S&D features and support reusing strategies across 'similar' design problems. Despite the fact that they simpli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7838523ece57fdddb0ab7790055877ad
https://doi.org/10.1109/dexa.2008.102
https://doi.org/10.1109/dexa.2008.102
Autor:
Roberto Bonato, Fabio Massacci, Yudistira Asnar, Carlo Riccucci, Ayda Saidane, Valentino Meduri, Paolo Giorgini
Publikováno v:
RE
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will operate. In this paper, we detail our experience in modeling and analyz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d500b137c3d29fa4d8854234b1d5b1a4
https://doi.org/10.1109/re.2007.19
https://doi.org/10.1109/re.2007.19