Titlebook: Software Engineering for Resilient Systems; 5th International Wo Anatoliy Gorbenko,Alexander Romanovsky,Vyacheslav Conference proceedings

尖酸好

书目名称Software Engineering for Resilient Systems影响因子(影响力)




书目名称Software Engineering for Resilient Systems影响因子(影响力)学科排名




书目名称Software Engineering for Resilient Systems网络公开度




书目名称Software Engineering for Resilient Systems网络公开度学科排名




书目名称Software Engineering for Resilient Systems被引频次




书目名称Software Engineering for Resilient Systems被引频次学科排名




书目名称Software Engineering for Resilient Systems年度引用




书目名称Software Engineering for Resilient Systems年度引用学科排名




书目名称Software Engineering for Resilient Systems读者反馈




书目名称Software Engineering for Resilient Systems读者反馈学科排名

CARE

Formal Development and Quantitative Assessment of a Resilient Multi-robotic Systeme of robot failures and compare different reconfiguration strategies for selected architectures. We demonstrate our approach by a case study – development and assessment of a cleaning multi-robotic system.

CROAK

Preliminary Contributions Towards Auto-resilienceables scenarios in which resilience can be autonomously enhanced, e.g., through forms of social collaboration. This paves the way to future “auto-resilient” systems, namely systems able to reason and revise their own architectures and organisations so as to optimally guarantee identity persistence.

Water-Brash

Fraudulent

inchoate

青春期

Security-Informed Safety: If It’s Not Secure, It’s Not Safe”. Our approach is based on the use of structured safety cases and we discuss the impact that security might have on an existing safety case. We also outline a method we have been developing for assessing the security risks associated with an existing safety system such as a large-scale critical infrastructure.

乐意

dry-eye

镀金

Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programssed on well-known algorithms for interval and points-to analysis, which are extended with the developed algorithms for analysis of parallel execution. We show efficiency of our approach by evaluating it on a set of artificial and real-world multithreaded C/C++ programs based on Pthreads.