Results 31 to 40 of about 1,494,052 (317)

Model Checking for Real-Time Attack Detection in Water Distribution Systems

Информатика и автоматизация, 2022
Water distribution systems represents critical infrastructures. These architectures are really critical and an irregular behaviour can be reflected in human safety. As a matter of fact, an attacker obtaining the control of such of an architecture is able
Francesco Mercaldo, Fabio Martinelli, Antonella Santone   +2 more
doaj   +1 more source

Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols

IEEE Access, 2022
As the size of data is increasing exponentially, its security is a major concern. Emerging technology like blockchain is used to provide security to systems. Since the inception of blockchain, it has been adopted by researchers and industry both, however,
Sudhani Verma, Divakar Yadav, Girish Chandra   +2 more
doaj   +1 more source

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions

IEEE Access, 2020
Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates.
Fujun Wang, Zining Cao, Lixing Tan, Hui Zong   +3 more
doaj   +1 more source

Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL

Energies, 2022
VANETs have gained much attention from both industry and academia because of their characteristics, such as dynamic topology. There are various applications of VANETs that are classified on the basis of safety, efficiency, commercial usage, and ...
Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali, Eman H. Alkhammash   +3 more
doaj   +1 more source

Formal Methods in Practice

Electronic Notes in Theoretical Computer Science, 1999
AbstractTechnology transfer from academic research to industrial practice is hampered by social, political and economic problems more that by technical issues. This paper describes one instance of successful technology transfer based on a special-purpose language and associated translation tool tailored to the customer's needs.
openaire   +3 more sources

Problematizing the Adoption of Formal Methods in the 4IR–5IR Transition

Applied System Innovation, 2022
The adoption of formal methods (FMs) as a software development methodology remains low. Advocates of FMs point to the advantages to be gained by producing highly dependable systems, while critics refer to the steep learning curve required to master the ...
John Andrew van der Poll
doaj   +1 more source

Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach

IEEE Open Journal of Control Systems, 2023
Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework to design supervisors for CPS under attacks using finite-state ...
Yu Wang, Alper Kamil Bozkurt, Nathan Smith, Miroslav Pajic   +3 more
doaj   +1 more source

Formal Methods in Industry

Formal Aspects of Computing
Formal methods encompass a wide choice of techniques and tools for the specification, development, analysis, and verification of software and hardware systems. Formal methods are widely applied in industry, in activities ranging from the elicitation of requirements and the early design phases all the way to the deployment, configuration, and runtime ...
Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang   +14 more
openaire   +2 more sources

Advancing water productivity monitoring: WaPLUGIN for the analysis and validation of FAO WaPOR data in QGIS [PDF]

The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
The FAO WaPOR (Water Productivity Open Access Portal) is a significant initiative developed by the Food and Agriculture Organization of the United Nations (FAO). It provides extensive datasets derived from remote sensing, specifically aimed at monitoring
A. Dhonthi, F. H. Fonseca Aponte, Z. Nemer, C. Hadj Ali, M. Y. Tebbouche, H. Van Der Kwast   +5 more
doaj   +1 more source

Formalism-Driven Development: Concepts, Taxonomy, and Practice

Applied Sciences, 2022
Formal methods are crucial in program specification and verification. Instead of building cases to test functionalities, formal methods specify functionalities as properties and mathematically prove them. Nevertheless, the applicability of formal methods
Yepeng Ding, Hiroyuki Sato
doaj   +1 more source