Formal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation
SS Khairullah - Journal of Electronic Testing, 2024 - Springer
With the increasing interest in embedding digital devices in safety-critical cyber-physical
systems (CPSs), such as industrial automation, aerospace, and automotive industries …
systems (CPSs), such as industrial automation, aerospace, and automotive industries …
A multi-objective model checking for transmission policy optimization in hybrid powered small cell networks
In the fifth generation (5G) communication system, maximizing energy utilization is one of
the key challenges especially with limited green energy sources. In particular, it is important …
the key challenges especially with limited green energy sources. In particular, it is important …
Using BECAMEDA method to specify and verify a smart home system
Designing a correct model for smart systems requires an accurate specification and
verification prior to development. This paper proposes the use of BECAMEDA (Behavioral …
verification prior to development. This paper proposes the use of BECAMEDA (Behavioral …
BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems
Multi-Agent paradigm offers a viable solution to the increasing needs for smart and crisis
system that reacts accordingly to the environment changes. The researches have largely …
system that reacts accordingly to the environment changes. The researches have largely …
Towards an approach for behavioral specification of reactive multi-agent system
A Haqiq - 2015 5th International Conference on Information & …, 2015 - ieeexplore.ieee.org
Reactive Multi-Agent system (RMAS) has emerged as an attractive technology for the design
and implementation of distributed and cooperative systems. The RMAS main challenge is …
and implementation of distributed and cooperative systems. The RMAS main challenge is …