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影響因子(影響力)學(xué)科排名




書目名稱Software Engineering for Resilient Systems網(wǎng)絡(luò)公開度




書目名稱Software Engineering for Resilient Systems網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Software Engineering for Resilient Systems被引頻次




書目名稱Software Engineering for Resilient Systems被引頻次學(xué)科排名




書目名稱Software Engineering for Resilient Systems年度引用




書目名稱Software Engineering for Resilient Systems年度引用學(xué)科排名




書目名稱Software Engineering for Resilient Systems讀者反饋




書目名稱Software Engineering for Resilient Systems讀者反饋學(xué)科排名

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.