Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, ... in Computer and Information Science, 1481)

This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021. The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021. Preface Organization Abstracts of Invited Talks A Vision of an Open Source Correct by Construction Tool Chain New Developments in the IEC 61131-3 and 61499 Standards for Industry 4.0 Contents moDeling, vErification and Testing of dEpendable CriTical systems (DETECT) Refinable Record Structures in Formal Methods 1 Introduction and Motivation 2 Background 3 Record 3.1 Record Syntax and Semantics 3.2 Record Transformation 4 Case Study: An Electronic Voting System 5 Comparison with Other Data Structuring Methods 6 Conclusion and Future Works References Development of Critical Systems with UML/OCL and FoCaLiZe 1 Introduction 2 FoCaLiZe Concepts 3 UML/OCL 4 Development Process 5 Related Work 6 Conclusion and Perspectives References Systematic Assessment of Formal Methods Based Models Quality Criteria 1 Introduction 2 Literature Review 3 Visual Complexity 4 Formal Methods Readability 5 Methodology 6 Theoretical Mathematics: Axiomatic Systems (AS) 6.1 Consistency 6.2 Completeness 6.3 Independence 6.4 Simplicity, the Fourth Property 7 Evaluating the Performance of Formal Specification Reliability 7.1 Consistency and Completeness (1st Criterion) 7.2 Independency (2nd Criterion) 7.3 Formal Methods Complexity (3rd Criterion) 8 Formal Model Quality Performance Function 9 Cognitive Capacity Benchmark; the Rule of 1, 2, 3, 7 10 Case Study 10.1 Consistency and Completeness (1st Criterion) 10.2 Formal Methods Complexity (3rd Criterion) 10.3 Operations Density Index 11 Conclusion References Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution 1 Introduction 2 Motivating Example: Trickle-Based Dissemination 3 Models of Timed Symbolic Transition Systems 4 Distributed Models and Interaction Scenarios Derivation 5 Conclusion References Symposium on Intelligent and Autonomous Systems (SIAS) Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings 1 Introduction 2 Architecture of Wireless Sensor Networks 3 Time Synchronization in WSNs 3.1 Timestamping at Receiving Node 3.2 Timestamping at Source Node 4 Related Work 5 Proposed Time Synchronization Protocol 5.1 Time Synchronization Mechanism 5.2 Calculating the Sensor Time 5.3 Calculating the Sensor Energy Consumption 6 Implementation and Experimental Results 6.1 Protocol Implementation 6.2 Results and Discussion 7 Conclusions References Edge-to-Fog Collaborative Computing in a Swarm of Drones 1 Introduction 2 Framework for Edge-to-Fog Collaborative Computing 2.1 Latency 2.2 Energy Consumption 2.3 Fairness of Offloading 3 Federated Learning-Based Offloading in Swarm of Drones 3.1 Step 1. Initialization of Drones and Application 3.2 Step 2. Finding the Best Drone for Offloading with a Rating Strategy 3.3 Step 3. Updating Learning Model by Neighbors of Drones 3.4 Step 4. Placing Drones in a New Position 4 Experimental Results 5 Conclusion References Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi Diagram 1 Introduction 2 Related Work 3 PSO Based Algorithm for WSN Deployment 3.1 Problem Formulation 3.2 Proposed Solution 4 Results and Discussion 5 Conclusion References EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles 1 Introduction 2 Related Work 3 Monitoring Platform Specification 3.1 Technologies Used by the Approach 3.2 Illustrative Real-Life Use Case 3.3 Abstract Description of the Extensible Platform for Autonomous Vehicle Safety Analysis (EPSAAV) 3.4 Concrete Description of the Autonomous Vehicle's Environment 3.5 Generation of Monitors to Analyze the Solution 4 Conclusion and Future Work References Bridging Trust in Runtime Open Evaluation Scenarios 1 Emerging Transitions 1.1 Crowd Intelligence and AI Intelligence 1.2 From Machine to Human Readable Specification Scenarios 1.3 Enriching the Input Domain 2 Gaming for Trust 3 Prototype Platform 4 Discussion and Conclusions 4.1 State of Work and Preliminary Results 4.2 Future and Ongoing Work References A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key 1 Introduction 2 Related Work 3 Preliminaries 4 Linear Block Codes 5 Cryptographic Key Generation from PUFs 5.1 Silicon PUFs 5.2 Framework Overview 5.3 Constructing Fuzzy Extractor from Secure Sketch 5.4 Secure Sketch Construction 5.5 Key Reproduction Process 6 Implementation and Experimental Results 6.1 Arbiter PUF Evaluation 6.2 Cryptography Key Generation 7 Conclusion References Record Linkage for Auto-tuning of High Performance Computing Systems 1 Introduction 2 Related Works 3 Suggested Pipeline and Practical Implementation 3.1 Tuner Workflow 3.2 Auto-tuning of HPC Components Using the Tuner 3.3 Practical Implementation and Use-Case 4 Matching Methodology 4.1 Data Preprocessing 4.2 Record Pair Comparison 4.3 Matcher 5 Validation Plan 5.1 Cluster Usage Scenario 5.2 Tested Applications and Environment 5.3 Variation in Metadata 5.4 Evaluation Metrics 6 Results 6.1 Impact of the Auto-tuner on Execution Times 6.2 Matching Quality 6.3 Impact of the User's Behavior on the Tuning Process 6.4 Elapsed Time 7 Conclusion and Further Works References Protecting Sensitive Data in Web of Data 1 Introduction 2 Related Work 3 Formalization and Specification of the Privacy Policy 4 Enforcement of the Policy 4.1 The P2SD Algorithm 4.2 The D-P2SD Algorithm 5 Architecture and Experimental Results 5.1 Architecture 5.2 Experimentation Results 6 Conclusion and Perspectives References COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection 1 Introduction 2 Related Work 3 COVID-DETECT Framework 4 Experiments 5 Conclusion References Control Software: Methods, Models, and Languages (CSMML) Time Insertion Functions 1 Introduction 2 Timed Process Algebra 3 Opacity 4 Insertion Functions 5 Existence of Time Insertion Functions 6 Conclusions References Static Checking Consistency of Temporal Requirements for Control Software 1 Introduction 2 Event-Driven Temporal Logic Pattern 3 Consistency of EDTL-Requirements 3.1 Inconsistency Restrictions with Attribute trigger 3.2 Inconsistency Restrictions with Other Attributes 4 Procedure Compare 5 Algorithm for Checking Consistency of EDTL-Patterns 6 Conclusion References Visual Language for Device Management in Telecommunication Product Line 1 Introduction 2 Approach Context 3 Metamodel 4 View Types 5 Tool 6 Related Work 7 Conclusion References Using Process-Oriented Structured Text for IEC 61499 Function Block Specification 1 Introduction and Motivation 2 Introduction to PoST 3 Wheelchair Lift Example 4 Software Design and Implementation in PoST 5 Conceptual Implementation Within IEC 61499 6 Discussion and Conclusion References Blockchain for Inter-organizational Collaboration (BIOC) The DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain Information 1 Introduction 2 Related Work 3 The DibiChain Protocol 3.1 Achieving Accountability 3.2 Adding Capabilities for Timestamping and Notarization 4 Exchanging Supply Chain Information with the DibiChain Protocol 4.1 A Discovery Service for EPCIS Event Data 5 Discussion 6 Conclusion References The International Health Data Workshop (HEDA) Towards a Resource-Aware Formal Modelling Language for Workflow Planning 1 Introduction 2 A Resource-Aware Modelling Language 3 An Illustrative Example 4 Related Work 5 Conclusion References Systematic Literature Review of Methods for Maintaining Data Integrity 1 Introduction 2 Systematic Literature Review Process 3 Results 3.1 Blockchain-Based Solutions 3.2 Other Solutions 4 Conclusion and Future Work References Medical Data Engineering – Theory and Practice 1 Introduction 2 Top-Down- and Bottom-Up-Approaches 3 Medical Informatics Initiative 3.1 HiGHmed MeDIC Architecture 3.2 Use Case Infection Control 3.3 Use Case Cardiology 3.4 Use Case Molecular Tumor Board 4 Discussion 4.1 Schema-Based Data Integration 4.2 Data Integration Approaches Allowing More Flexibility 4.3 Data Integration Using Semantic Web 5 Conclusion References Querying Medical Imaging Datasets Using Spatial Logics (Position Paper) 1 Introduction and Related Work 2 Spatial Logics for Medical Imaging 3 The Spatial Model Checker VoxLogicA 4 Applications in Medical Imaging 4.1 Case Study: Brain Tumour Segmentation 4.2 Case Study: Nevus Segmentation 5 Querying Medical Image Datasets 6 Outlook: VoxLogicA as a Distributed Query Engine 7 Concluding Remarks References Evaluation of Anonymization Tools for Health Data 1 Introduction 2 Methods 3 Results 4 Discussion and Conclusion References Usages of the ContSys Standard: A Position Paper 1 Introduction 2 Method 3 Results 3.1 Using the Standard as a Conceptual Model 3.2 Shortcomings of the Standard 3.3 Ontological Perspective 3.4 Extending the Standard 3.5 Seen but Unused Possibilities of the Standard 3.6 Concurrent Use Initiative 4 Discussion and Future Work 4.1 Using the Standard as a Conceptual Model 4.2 Shortcomings and Modifications 4.3 Ontological Perspective 4.4 Extending the Standard 4.5 Seen but Unused Possibilities 4.6 Concurrent Use Initiative 5 Conclusion References Author Index