Probabilistic approximation of runtime quantitative verification in self-adaptive systems

Microprocessors and Microsystems ◽

10.1016/j.micpro.2019.102943 ◽

2020 ◽

Vol 72 ◽

pp. 102943

Author(s):

Mehran Alidoost Nia ◽

Mehdi Kargahi ◽

Fathiyeh Faghih

Keyword(s):

Adaptive Systems ◽

Probabilistic Approximation ◽

Quantitative Verification ◽

Download Full-text

Resilient Monitoring in Self-Adaptive Systems through Behavioral Parameter Estimation

Journal of Systems Architecture ◽

10.1016/j.sysarc.2021.102177 ◽

2021 ◽

pp. 102177

Author(s):

Mehran Alidoost Nia ◽

Mehdi Kargahi ◽

Alessandro Abate

Keyword(s):

Parameter Estimation ◽

Adaptive Systems ◽

Behavioral Parameter ◽

Download Full-text

Applying deep learning to reduce large adaptation spaces of self-adaptive systems with multiple types of goals

Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ◽

10.1145/3387939.3391605 ◽

2020 ◽

Author(s):

Jeroen Van Der Donckt ◽

Danny Weyns ◽

Federico Quin ◽

Jonas Van Der Donckt ◽

Sam Michiels

Keyword(s):

Deep Learning ◽

Adaptive Systems ◽

Download Full-text

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Journal of Systems and Software ◽

10.1016/j.jss.2015.05.028 ◽

2015 ◽

Vol 107 ◽

pp. 50-70 ◽

Author(s):

Manzoor Ahmad ◽

Nicolas Belloir ◽

Jean-Michel Bruel

Keyword(s):

Adaptive Systems ◽

Functional Requirements ◽

Download Full-text

A fast Reconfigurable 2D HW core architecture on FPGAs for evolvable Self-Adaptive Systems

2011 NASA/ESA Conference on Adaptive Hardware and Systems (AHS) ◽

10.1109/ahs.2011.5963956 ◽

2011 ◽

Author(s):

Andres Otero ◽

Ruben Salvador ◽

Javier Mora ◽

Eduardo de la Torre ◽

Teresa Riesgo ◽

...

Keyword(s):

Adaptive Systems ◽

Download Full-text

Engineering self-adaptive systems and dynamic software product line

Proceedings of the 17th International Software Product Line Conference on - SPLC '13 ◽

10.1145/2491627.2493906 ◽

2013 ◽

Author(s):

Mahdi Bashari ◽

Ebrahim Bagheri

Keyword(s):

Adaptive Systems ◽

Software Product Line ◽

Product Line ◽

Software Product ◽

Dynamic Software ◽

Download Full-text

Enhancing the Smart, Digitized Food Supply Chain through Self-Learning and Self-Adaptive Systems

10.1109/acsos-c52956.2021.00081 ◽

2021 ◽

Author(s):

Elia Henrichs

Keyword(s):

Supply Chain ◽

Food Supply ◽

Adaptive Systems ◽

Food Supply Chain ◽

Self Learning ◽

Download Full-text

Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks

2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE) ◽

10.1109/raise.2013.6615198 ◽

2013 ◽

Author(s):

Nelly Bencomo ◽

Amel Belaggoun ◽

Valerie Issarny

Keyword(s):

Artificial Intelligence ◽

Adaptive Systems ◽

Decision Networks ◽

Bayesian Artificial Intelligence ◽

Download Full-text

A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support

Trends and Innovations in Information Systems and Technologies - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-030-45688-7_70 ◽

2020 ◽

pp. 715-725

Author(s):

Lorenzo Capra

Keyword(s):

Petri Net ◽

Adaptive Systems ◽

Automated Support ◽

Download Full-text

Evaluating Reconfiguration Impact in Self-Adaptive Systems -- An Approach Based on Combinatorial Interaction Testing

2015 41st Euromicro Conference on Software Engineering and Advanced Applications ◽

10.1109/seaa.2015.72 ◽

2015 ◽

Author(s):

Sagar Sen ◽

Stefano Di Alesio ◽

Dusica Marijan ◽

Arnab Sarkar

Keyword(s):

Adaptive Systems ◽

Interaction Testing ◽

Combinatorial Interaction Testing ◽

Download Full-text

A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems

Requirements Engineering: Foundation for Software Quality - Lecture Notes in Computer Science ◽

10.1007/978-3-319-05843-6_5 ◽

2014 ◽

pp. 55-71 ◽

Author(s):

Zhuoqun Yang ◽

Zhi Li ◽

Zhi Jin ◽

Yunchuan Chen

Keyword(s):

Literature Review ◽

Systematic Literature Review ◽

Adaptive Systems ◽

Modeling And Analysis ◽

Requirements Modeling ◽

Download Full-text