Search
Search Results
-
Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems
Scientific research is devoted to determining the areas of integrated application of the formal method Event-B for the development of environmental... -
Automated Transformation of IoT Systems Models into Event-B Specifications
Develo** Internet of Things systems without the benefit of a standard is a difficult process. In this regard, we propose to describe Internet of... -
Formal Modelling of Cluster-Coordinator-Based Load Balancing Protocol Using Event-B
Distributed system is a set of autonomous nodes or sites. Due to uneven distribution of work, some sites may become overloaded and other may be... -
Fault Tolerant Sensor Network Using Formal Method Event-B
Cyber physical systems (CPS) are being increasingly deployed in different critical infrastructures such as transportation, healthcare, power, water,... -
Fault Detection Model for Multi Robotic System Using Formal Method Event-B
Non-compliant behaviour prediction is an essential feature of open systems; this non-compliance may be due to accident, necessity, or malice.... -
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... -
BPMN2EVENTB Supporting Transformation from BPMN2.0 to Event B Using Kermeta
Business Process Modeling Notation (BPMN) has acquired increasing relevance in business process modeling. However, it suffers, as all semi-formal... -
Analyzing Energy Leaks of Android Applications Using Event-B
The number of mobile applications downloaded recently from Google stores increase steadily. It is believed that mobile applications market revenues...
-
Formal scheduling method for zero-defect manufacturing
A defect prevention is a part of manufacturing company practice. Paper proposes a formal approach for solving scheduling problems with unexpected...
-
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model
Autonomous driving technology is safety-critical and thus requires thorough validation. In particular, the probabilistic algorithms employed in...
-
Decision Implication-Based Knowledge Representation and Reasoning Within Incomplete Fuzzy Formal Context
Formal Concept Analysis (FCA) is an order theory-based methodology employed for concept analysis and construction. Incomplete fuzzy formal context is...
-
Verification of transaction-aware web services composition through formal methods
Due to the popularity of web-based technologies and the cloud computing paradigm, organizations are adopting web services composition for the...
-
Novel Patterns for Formal Verification of System Safety Properties
Single-shot operation systems like missiles and satellite launch vehicles operate on pre-defined sequence of control with built-in safety...
-
Formal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation
With the increasing interest in embedding digital devices in safety-critical cyber-physical systems (CPSs), such as industrial automation, aerospace,...
-
An Event-B based Device Description Model in IoT with the Support of Multimodal System
The Internet of Things (IoT) enables sophisticated smart technologies by analyzing various sensor data. Complexity of IoT devices is increasing... -
Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study
This paper presents a formal model-based methodology to support railway engineers in the design of safe electronic urban railway control systems. The...
-
Refinement and Validation of Humoral Immunity Based on Event-B
By the outbreak of Covid-19, we should focus more eyesight on the human immune system. Humoral immunity plays an important role in the immunologic... -
Digitalization for supply chain resilience and robustness: The roles of collaboration and formal contracts
Black swan events such as the coronavirus (COVID-19) outbreak cause substantial supply chain disruption risks to modern companies. In today’s...
-
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... -
Formal Modeling and Verification of the Design Layer of Space Operating Systems
The operating system is an essential basic software for spacecraft, and its reliability and safety are directly related to the success or failure of...