Results 11 to 20 of about 591,091 (290)
Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
Energies, 2020 Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging.
Cinzia Bernardeschi +4 more
doaj +3 more sources
Collaborative Verification-Driven Engineering of Hybrid Systems [PDF]
, 2014 Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements.
Mitsch, Stefan +2 more
core +5 more sources
Formal verification for a PMQTT protocol
Egyptian Informatics Journal, 2020 The future of Internet of Things (IoT) foresees a world of interconnected people with every physical object in a seamless manner. The security related aspects for the IoT world are still an open field of discussion and research.
Eman Elemam +3 more
doaj +1 more source
FIVER – Robust Verification of Countermeasures against Fault Injections
Transactions on Cryptographic Hardware and Embedded Systems, 2021 Fault Injection Analysis is seen as a powerful attack against implementations of cryptographic algorithms. Over the last two decades, researchers proposed a plethora of countermeasures to secure such implementations.
Jan Richter-Brockmann +4 more
doaj +1 more source
Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016 The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts.
Amel Benabbou +2 more
doaj +1 more source
Formal Verification of a Hybrid IoT Operating System Model
IEEE Access, 2021 The Internet of Things (IoT) is becoming an increasingly common paradigm. As IoT usage scenarios have increased, many challenges in IoT operating systems’ safety and adaptability have remained.
Yuqian Guan, Jian Guo, Qin Li
doaj +1 more source
Towards automatic Maude specifications generation from C functions
Journal of Innovation Information Technology and Application, 2023 In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj +1 more source
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
IEEE Access, 2019 The semi-formal verification method, in which the functionality is formally specified and the checking is undertaken through the formal model-based simulation, has been a promising choice for the functional verification of hardware designs.
Zhao Lv +3 more
doaj +1 more source
Coverage and Vacuity in Network Formation Games [PDF]
, 2020 The frameworks of coverage and vacuity in formal verification analyze the effect of mutations applied to systems or their specifications. We adopt these notions to network formation games, analyzing the effect of a change in the cost of a resource.
Bielous, Gili, Kupferman, Orna
core +1 more source
SMACS: A framework for formal verification of complex adaptive systems
Open Computer Science, 2023 Self-adaptive systems (SASs) have the capability to evaluate and change their behavior according to changes occurring in the environment. Research in this field is being held since mid-60, and over the last decade, the importance of self-adaptivity is ...
Fakhir Ilyas +3 more
doaj +1 more source