Resiliency with Aggregate Computing: State of the Art and Roadmap

被引:0
|
作者
Viroli, Mirko [1 ]
Beal, Jacob [2 ]
机构
[1] Univ Bologna, Alma Mater Studiorum, Cesena, Italy
[2] Raytheon BBN Technol, Cambridge, MA USA
关键词
MODEL-CHECKING; DESIGN;
D O I
10.4204/EPTCS.217.3
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
One of the difficulties in developing collective adaptive systems is the challenge of simultaneously engineering both the desired resilient behaviour of the collective and the details of its implementation on individual devices. Aggregate computing simplifies this problem by separating these aspects into different layers of abstraction by means of a unifying notion of computational field and a functional computational model. We review the state of the art in aggregate computing, discuss the various resiliency properties it supports, and develop a roadmap of foundational problems still needing to be addressed in the continued development of this emerging discipline.
引用
收藏
页码:5 / 18
页数:14
相关论文
共 50 条
  • [21] Cloud Computing: Virtualization and Resiliency for Data Center Computing
    Salapura, Valentina
    2012 IEEE 30TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2012, : 1 - 4
  • [22] Chaotic Image Encryption: State-of-the-Art, Ecosystem, and Future Roadmap
    Zolfaghari, Behrouz
    Koshiba, Takeshi
    APPLIED SYSTEM INNOVATION, 2022, 5 (03)
  • [23] Pervasive computing at scale: Transforming the state of the art
    Cook, Diane J.
    Das, Sajal K.
    PERVASIVE AND MOBILE COMPUTING, 2012, 8 (01) : 22 - 35
  • [24] State of the Art on Diffusion Models for Visual Computing
    Po, R.
    Yifan, W.
    Golyanik, V.
    Aberman, K.
    Barron, J. T.
    Bermano, A.
    Chan, E.
    Dekel, T.
    Holynski, A.
    Kanazawa, A.
    Liu, C. K.
    Liu, L.
    Mildenhall, B.
    Niessner, M.
    Ommer, B.
    Theobalt, C.
    Wonka, P.
    Wetzstein, G.
    COMPUTER GRAPHICS FORUM, 2024, 43 (02)
  • [25] Scheduling Algorithms of Cloud Computing: State of the Art
    Kolekar, Vikas K.
    Sakhare, Sachin R.
    INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2021, 12 (02): : 145 - 157
  • [26] Biologically inspired visual computing: the state of the art
    Wangli HAO
    Ian Max ANDOLINA
    Wei WANG
    Zhaoxiang ZHANG
    Frontiers of Computer Science, 2021, (01) : 84 - 98
  • [27] Soft computing in intrusion detection: the state of the art
    Langin, Chet
    Rahimi, Shahram
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2010, 1 (02) : 133 - 145
  • [28] Soft computing in intrusion detection: the state of the art
    Chet Langin
    Shahram Rahimi
    Journal of Ambient Intelligence and Humanized Computing, 2010, 1 : 133 - 145
  • [29] Edge Computing Security: State of the Art and Challenges
    Xiao, Yinhao
    Jia, Yizhen
    Liu, Chunchi
    Cheng, Xiuzhen
    Yu, Jiguo
    Lv, Weifeng
    PROCEEDINGS OF THE IEEE, 2019, 107 (08) : 1608 - 1631
  • [30] Quantum Computing: State-of-art and Challenges
    Vizzotto, Juliana Kaizer
    2013 2ND WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 2013, : 9 - 13