Towards correctness proof for hybrid Simulink block diagrams

W Zhang, Q Sun, C Wang, Z Liu - Journal of Systems Architecture, 2023 - Elsevier
Cyber–physical systems (CPS) are often modelled using Simulink to simulate plant and
controller behaviour by block diagrams. However, since the incomplete coverage of …

Model Based System Engineering for trust SCADA and ICS Systems in Oil & Gas Industry

Z Oudina, M Derdour, A Dib… - 2023 5th International …, 2023 - ieeexplore.ieee.org
Industrial control systems (ICSs) and supervisory control and data acquisition (SCADA) are
frequently used and are essential to the operation of vital infrastructure such as oil and gas …

[PDF][PDF] Trust cyber physical systems: Trust degree framework and evaluation

Z Oudina, M Derdour, R Boudour, A Dib… - … homepage: http://iieta …, 2023 - academia.edu
Accepted: 8 April 2023 Trust is the currency of every transaction and exchange and is the
pillar of the trusted system concept, which is one of the needs of today and the future. Those …

Empirical Analysis of the Security Threats and Risks that Drones Face, Represent, and Mitigation

Z Oudina, M Derdour, A Dib… - 2024 6th International …, 2024 - ieeexplore.ieee.org
Unmanned Aerial Vehicles (UAVs), popularly known as drones, are widely used for safe
aims and some sensitive missions such as monitoring of critical infrastructure, surveillance …

Identifying and Addressing Trust Concerns in Cyber-Physical Systems for the Oil and Gas Industry.

Z Oudina, M Derdour, A Dib… - … des Systèmes d' …, 2024 - search.ebscohost.com
Crude oil and natural gas constitute key sources of energy that foster the growth of many
other industries and facilitate many facets of modern life and the global economy. The …

Comparative Analysis of Security-Focused Blockchain Architectures: Optimising Security in IoT

C Benali - 2024 6th International Conference on Pattern …, 2024 - ieeexplore.ieee.org
The Internet of Things (IoT) poses serious security risks and issues due to its growing
number of linked devices. This paper conducts a comparative analysis of various security …

Enhancing Traffic Forecasting Accuracy with Fuzzy Data Fusion Learning

S Abdelatif, D Makhlouf… - 2024 21st International …, 2024 - ieeexplore.ieee.org
This article explores a challenge related to managing and forecasting short-term traffic flows.
The accuracy of this prediction is the subject of much research because it directly affects the …