Lightweight software architecture evaluation for industry: A comprehensive review
Processes for evaluating software architecture (SA) help to investigate problems and
potential risks in SA. It is derived from many studies that proposed a plethora of systematic …
potential risks in SA. It is derived from many studies that proposed a plethora of systematic …
A model-driven security analysis approach for 5G communications in industrial systems
X Li, X Hu, R Zhang, C Zhou, Q Yin… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
5G communication network has become a major pillar in the evolution of interconnected
industrial systems. However, the introduction of 5G network may lead to unknown risks in the …
industrial systems. However, the introduction of 5G network may lead to unknown risks in the …
LPMSAEF: Lightweight process mining-based software architecture evaluation framework for security and performance analysis
The article discusses the need for a lightweight software architecture evaluation framework
that can address practitioners' concerns. Specifically, the proposed framework uses process …
that can address practitioners' concerns. Specifically, the proposed framework uses process …
Using petri nets to verify design model: A survey
Petri nets are a powerful tool for graphical representation and analyzing software processes,
so it was used in early stages of the software development process. Formal verification is a …
so it was used in early stages of the software development process. Formal verification is a …