Using models at runtime to address assurance for self-adaptive systems
A self-adaptive software system modifies its behavior at runtime in response to changes
within the system or in its execution environment. The fulfillment of the system requirements …
within the system or in its execution environment. The fulfillment of the system requirements …
Uncertainty-wise testing of cyber-physical systems
As compared with classical software/system testing, uncertainty-wise testing explicitly
addresses known uncertainty about the behavior of a System Under Test (SUT), its …
addresses known uncertainty about the behavior of a System Under Test (SUT), its …
Towards a resilience assurance model for robotic autonomous systems
Applications of autonomous systems are becoming increasingly common across the field of
engineered systems from cars, drones, manufacturing systems and medical devices …
engineered systems from cars, drones, manufacturing systems and medical devices …
Automatically hardening a self-adaptive system against uncertainty
EM Fredericks - Proceedings of the 11th International Symposium on …, 2016 - dl.acm.org
A self-adaptive system (SAS) can reconfigure to adapt to potentially adverse conditions that
can manifest in the environment at run time. However, the SAS may not have been explicitly …
can manifest in the environment at run time. However, the SAS may not have been explicitly …
[图书][B] Mitigating uncertainty at design time and run time to address assurance for dynamically adaptive systems
EM Fredericks - 2015 - search.proquest.com
A dynamically adaptive system (DAS) is a software system that monitors itself and its
environment at run time to identify conditions that require self-reconfiguration to ensure that …
environment at run time to identify conditions that require self-reconfiguration to ensure that …
Abnormal behavior recognition based on trajectory feature and regional optical flow
AL Hou, JL Guo, CJ Wang, L Wu… - … Conference on Image and …, 2013 - ieeexplore.ieee.org
In order to recognize the human abnormal behavior by the video monitoring system, this
paper proposes an abnormal behavior recognition method of trajectory characteristics and …
paper proposes an abnormal behavior recognition method of trajectory characteristics and …
An empirical analysis of providing assurance for self-adaptive systems at different levels of abstraction in the face of uncertainty
EM Fredericks, BHC Cheng - 2015 IEEE/ACM 8th International …, 2015 - ieeexplore.ieee.org
Self-adaptive systems (SAS) must frequently continue to deliver acceptable behavior at run
time even in the face of uncertainty. Particularly, SAS applications can self-reconfigure in …
time even in the face of uncertainty. Particularly, SAS applications can self-reconfigure in …