Search
Search Results
-
Integrating formal specifications into applications: the ProB Java API
The common formal methods workflow consists of formalising a model followed by applying model checking and proof techniques. Once an appropriate...
-
Detecting Communities in Complex Networks Using Formal Concept Analysis
Missaoui, Rokia Messaoudi, Abir Ibrahim, Mohamed Hamza Abdessalem, TalelThe complex nature of many real-world networks is motivating researchers to... -
A digital twin modeling method for production resources of shop floor
The smart shop floor is the basic unit to realize intelligent manufacturing. Digital twin (DT) technology is a virtual presentation of the physical...
-
Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems
Formal methods are mathematical techniques used for develo** reliable and verified systems. Event-B formal method is proved to be very useful to...
-
Formal Specification and Verification of MQTT Protocol in PlusCal-2
The recent rise in adaptation of Internet of Things (IoT) concepts has potential to transform industries such as healthcare, manufacturing and...
-
Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture
The accuracy of design and implementation of an operating system in intelligent transportation systems is difficult to describe and validate because...
-
Estimating Re-identification Risk by Means of Formal Conceptualization
Risk-based methodologies for de-identification provide solutions to ensure privacy. These are based on the availability of sound metrics to estimate... -
Formal Validation of Interlocking Under Signaling Rules
The railway is necessary for the objective of the sustainable mobility of European Union. Whereas significant disparities between the railway... -
Fusion method for digital twin model of a production line
Digital twins have attracted more and more attention in the past few years. To put digital twins into practice, a large number of modeling approaches...
-
A Kind of Fail-Operational Realization Method Based on Active STPA
With the development of train control systems towards autonomous and unmanned direction, drivers no longer control trains. But safety and efficiency... -
Research on knowledge graph-driven equipment fault diagnosis method for intelligent manufacturing
In the process of rotating machinery fault diagnosis (RMFD), the lack of feature conditions leads to the problem of low accuracy of traditional...
-
Spatial and temporal reasoning with granular computing and three way formal concept analysis
This paper presents and evaluates a method to combine time-based granulation and three-way decisions to support decision makers in understanding and...
-
Software Development of a Chat System with EVENT B
We wrote software requirements for a chat application that includes some of the functionality typically found in WhatsApp... -
Path Integration Method for Analyzing Response Problems of Marine Structures
In the previous chapter, we used the Monte Carlo Simulation method to calculate the motion responses, response statistics and level up-crossing rates... -
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems
This paper summarises recent developments in the application of modular formalisms to model-based verification of industrial automation systems. The... -
New meteoroid entry method with a deformable non-spherical N-body model
Meteoroid disintegration in the atmosphere can produce airbursts that pose regional/global threats to the Earth. Precise dynamical simulation of...
-
On Formal Models of Interactions Between Detectors and Trackers in Crowd Analysis Tasks
In crowd analysis tasks (crowds of humans, cattle, birds, drones, etc.) the low-level vision tools are usually the same, i.e. detection and tracking... -
Research on Modeling Method of UCAV Swarm Architecture Based on Capability
With the advantages of high flexibility and wide adaptability, the unmanned combat aerial vehicle (UCAV) swarm has plenty of applications in air... -
Formal Methods for Controlling Dynamical Systems
In control theory, complicated dynamics such as systems of (nonlinear) differential equations are mostly controlled to achieve stability. This...