![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
FMSG: a framework for modeling and verification of a smart grid
System requirements can occasionally be ill-defined and difficult to define. In this case, graphic representation of the system created using semi-formal modelling is advantageous. A smart power grid, for exam...
-
Article
Elevating security and disease forecasting in smart healthcare through artificial neural synchronized federated learning
Protecting patient privacy has become a top priority with the introduction of Healthcare 5.0 and the growth of the Internet of Things. This study provides a revolutionary strategy that makes use of blockchain ...
-
Article
Efficacy of Ensemble Learning Method over Individual Classifier for Rainfall Forecasting in Eastern India
Severe rainfall has seriously threatened human health and survival. Natural catastrophes such as floods, droughts, and many other natural disasters are caused by heavy rains, which people worldwide have to dea...
-
Article
GAN-guided artificial neural collaborative complex computation for efficient neural synchronization
Achieving neural synchronization, one must be able to evaluate the degree of cooperation across Artificial Neural Networks (ANNs) on various sides, regardless of each network’s particular weights. However, tra...
-
Article
A graphical tool for formal verification using Event-B modeling
Event-B is a formal method for describing and verifying systems at the system level. It enables a refining technique to design the system incrementally. Using Event-B notations to define system requirements ca...
-
Article
BCPUML: Breast Cancer Prediction Using Machine Learning Approach—A Performance Analysis
Breast cancer is taking the lives of women globally. It’s one of the most common malignancies in women, as well as the leading cause of cancer-related death. Even though there are no therapies for breast cance...
-
Chapter and Conference Paper
Formal Verification Techniques: A Comparative Analysis for Critical System Design
Formal methods are used to verify software systems. The system requirements are modeled using specification languages. The models are validated by their tool supports. The Formal methods provide consistency be...
-
Chapter and Conference Paper
Symbolic Model Checking: A Comprehensive Review for Critical System Design
Model-checking is largely used in formal verification of hardware and software systems. The advantage of model checking is producing counterexamples when properties are not satisfied. Formal modeling specifies...
-
Chapter and Conference Paper
A Framework for Component Map** Between Event-B and Python
Event-B is a formal modeling language that helps to prove the critical requirement properties of a software. The failure or malfunction of this software may cause a huge loss in terms of life and money. Execut...
-
Chapter and Conference Paper
Map** UML Activity Diagram into Z Notation
The unified modeling language (UML) is widely used for modeling a system. It captures different views of the system. But the semantics of UML is semi-formal and sometimes ambiguous. On the other hand, Z is a f...
-
Chapter and Conference Paper
Application of Genetic Algorithm (GA) in Medical Science: A Review
diagnosis is the key prerequisite for any medical treatment. To get that optimized result of any diagnosis, several tests have been proposed in a cost and time-effective manner. Metaheuristic algorithms are u...
-
Article
A Prototype Modeling of Smart Irrigation System Using Event-B
Traditional irrigation operates on a preset programmed schedule and timers. Smart irrigation monitors weather, soil conditions, evaporation, and plant water use to automatically adjust the watering schedule to...
-
Chapter and Conference Paper
Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design
Safety-critical systems are systems that cannot be allowed to fail. Such systems, if they fail, may cause economic damage or even loss of life. As a result, bug-fixes and patches are routinely applied to tradi...
-
Chapter and Conference Paper
Event-B Based Formal Modeling of a Controller: A Case Study
Event-B is an event-driven approach for system development. It has the flexibility to develop different discrete control systems. Event-B is a refinement-based step-by-step modeling methodology. There is a wel...
-
Chapter and Conference Paper
Event Ordering Using Graphical Notation for Event-B Models
System requirements are sometimes either too complex or undefined. Event-B is a formal modeling method and is being used increasingly to model various systems. Event-B models support atomicity decomposition a...