An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis

2018 ◽  
pp. 164-178
Author(s):  
Ansgar Fehnker ◽  
Kaylash Chaudhary ◽  
Vinay Mehta
Keyword(s):  
Formal Modelling

Formal modelling of attack scenarios and mitigation strategies in IEEE 1588

2021 ◽  
Author(s):  
Kelvin Anto ◽  
Partha S. Roop ◽  
Akshya K. Swain
Keyword(s):  
Mitigation Strategies ◽  
Formal Modelling ◽  
Ieee 1588

Formal Modelling and Verification of the RTPS Behavior Module

2021 ◽  
Author(s):  
Jiaqi Yin ◽  
Huibiao Zhu ◽  
Yuan Fei ◽  
Qiwen Xu
Keyword(s):  
Formal Modelling

Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling

2013 ◽  
pp. 17-33
Author(s):  
Stefano Marrone ◽  
Nicola Mazzocca ◽  
Roberto Nardone ◽  
Valeria Vittorini
Keyword(s):  
Flexible Manufacturing ◽  
Manufacturing Systems ◽  
Formal Model ◽  
Automatic Generation ◽  
Formal Proof ◽  
Functional Requirements ◽  
Formal Modelling ◽  
Model Driven ◽  
Analysis Methodology ◽  
Market Needs

Critical computer-based systems have an increasing complexity due to the number of components, to their heterogeneity, and to the relationships among them. Such systems must meet strict non-functional requirements and should be able to cope with competitive market needs. The adoption of formal methods is often advocated in order to provide formal proof, but their application does not scale with the growing size of systems. The aim of this chapter is to introduce a modelling and analysis methodology that allows the combination of three proven research trends in formal modelling of large systems: formal model generation (by means of model-driven techniques), multiformalism, and compositional approaches. In this chapter there is also a discussion about enabling techniques. The proposed approach has been applied to the performability modelling and evaluation of flexible manufacturing systems.

Sign in / Sign up

Export Citation Format

Share Document