Analysis, Estimations, and Applications of Embedded Systems: 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019 Friedrichshafen, Germany, September 9–11, 2019 Revised Selected Papers

Description

This book constitutes the refereed proceedings of the 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, which took place in Friedrichshafen, Germany, in September 2019. The 16 full papers and 4 short papers presented in this book were carefully reviewed and selected from 32 submissions. The papers were organized in topical sections on embedded real-time systems; estimations; architecture and applications; algorithms and System C; and analysis.  Preface Organization Contents Embedded Real-Time Systems A Real-Time Operating System for Cyber-Physical Systems Based on Physical Time and Logical Time 1 Introduction 2 Distributed Computing Environment 2.1 Logical Time-Triggered Processing 2.2 Timestamped Message 2.3 Task Scheduling 2.4 Software Structure of Distributed Computing Environment 3 Real-Time Operating System 3.1 Mixed Scheduling 3.2 Task Activation Mechanism 3.3 Logical Time Updating 4 Implementation and Evaluation 5 Conclusion References A Proposal to Trace and Maintain Requirements Constraints of Real-time Embedded Systems 1 Introduction 2 A Proposal to Trace MARTE Constraints 3 Case Study in the RTES Domain 3.1 Manual Analysis and Comparison of Constraints 4 Proposed Tool to Automatic Analysis of Timing Constraints 5 Discussion 6 Conclusion References A Comparative Analysis Between SysML and AADL When Modeling a Real-Time System 1 Introduction 2 Headlight Control System Details 3 Headlight System Modeled with SysML 3.1 Block Definition Model 3.2 Internal Block Model 3.3 Activity Model 4 Headlight System Modeled with AADL - External Specification 4.1 Internal Specification of AADL Headlight System 5 A Comparative Analysis: SysML x AADL 6 Conclusion References Design, Implementation, and Evaluation of a Real Time Localization System for the Optimization of Agitation Processes 1 Introduction 2 Main 2.1 Distance Determination 2.2 Lateration 2.3 System Structure 2.4 Distance and Accuracy 2.5 Power Management and TDMA 2.6 Evaluation 3 Conclusion and Future Work References Estimations Improving Estimations for Latencies of Cause-Effect Chains 1 Introduction 1.1 Problem Statement 1.2 Our Contribution 1.3 Structure 2 Related Work 3 Properties and Encoding of Task Sets 3.1 System Model 3.2 Task Properties 3.3 Encoding 3.4 Model Optimization 4 Properties and Encoding of Cause-Effect Chains 5 Evaluation 6 Conclusion References Workload Characterization for Memory Management in Emerging Embedded Platforms 1 Introduction 2 Motivation 3 Diversity of Working Set Size in Embedded Applications 3.1 PARSEC Benchmark Suite 4 Related Work 4.1 Runtime Policies Using Memory Bandwidth Utilization 4.2 Runtime Policies Using Workload Information 4.3 Runtime Policies Using Reflection or Prediction 4.4 Runtime Policies Using Task Mapping 5 Classification Methodology 5.1 Classification of PARSEC Benchmarks 6 Evaluation 6.1 Experimental Setup 6.2 Experimental Results 7 Conclusion and Future Work References Tool and Method for Obtaining End-to-End Reliability Parameters of Wireless Industrial Networks 1 Introduction 2 Theoretical Foundation 3 State of the Art Analysis 4 Methods and Materials 4.1 Latency Analysis Strategy 5 Case Studies 5.1 Case Study 1: Disconnecting a Device from the Network 5.2 Case Study 2: Deleting Communications Links from a Device 6 Conclusions References Architecture and Application Towards ASIP Architecture-Driven Algorithm Development 1 Introduction 2 Related Work 3 Background 4 Proposed Methodology 5 Evaluation 6 Conclusions and Future Work References Using Data Mining and Mobile Devices to Assist the Interactive Automotive Diagnostics 1 Introduction 2 Related Works 3 Interactive Approach to Assist Automotive Diagnostics 3.1 Overview 3.2 Applying Data Mining on the Automaker Knowledge Base 3.3 Interactive Diagnostics Software Assistant 4 Evaluation and Results 4.1 Overview 4.2 Issue Evidences Captured Through DTC 4.3 Issue Without Associated DTC Data 5 Conclusions and Future Works References Algorithm and System C An Untimed SystemC Model of GoogLeNet 1 Introduction 2 GoogLeNet Structure 3 SystemC Modeling of GoogLeNet 3.1 Reference Model Using OpenCV 3.2 Modeling Goals 3.3 Layer Implementation 3.4 Netspec Generator 3.5 Validation by Simulation 3.6 Modular Source File Structure and Build Flow 4 Experimental Results 4.1 Performance Setup 4.2 Simulation Results 4.3 Analysis 5 Conclusion References An Efficient Lightweight Framework for Porting Vision Algorithms on Embedded SoCs 1 Introduction 2 Related Work 3 Background 3.1 TDA2XX System-on-Chip 3.2 Block Accelerator Manager Framwork 4 Proposed Framework 4.1 Modular Execution Model 4.2 Enhanced DMA API 4.3 Best Block Search 5 Experimental Setup 6 Experimental Results 6.1 Stack Usage 6.2 DMA Overhead 6.3 Execution Time at Algorithm Level 6.4 Best Block Search Overhead 6.5 Execution Time at Application Level 7 Conclusions References Analysis IoT Assistant for People with Visual Impairment in Edge Computing 1 Introduction 2 Related Work 3 System Proposed 4 Implementation of the System Design 4.1 Architecture 4.2 Software Design 4.3 Hardware Design 5 Results and Future Work 5.1 Accuracy Test 5.2 Problems Occurred 5.3 Future Work 6 Conclusion References Analysis of Low Cost Sensors Applied to the Detection of Obstacles in High Voltage Towers 1 Introduction 2 Characteristics of Ultrasonics and Laser Sensors 3 Choice of Sensors 4 Experimental Methods 5 Experimental Results 5.1 Average Obstacle Detection 5.2 Out of Range 5.3 Mean Angular 5.4 Influence on External Environment 6 Conclusion References Monitoring of an Artificial DNA in Dynamic Environments 1 Introduction 2 Related Work 3 Conception of the Artificial Hormone System and DNA 3.1 Artificial DNA 3.2 Building the System from Its ADNA by the AHS 3.3 Application of the ADNA and AHS Concept to Automotive Systems 4 Architecture of the ADNA/AHS Approach for Dynamic Environments 5 Evaluation 6 Conclusion References Design and Analysis of an Online Update Approach for Embedded Microprocessors 1 Introduction 2 Related Work 3 Overall Update Approach 3.1 Update Procedure 3.2 Full Update 3.3 Append Update 4 Implementation 4.1 Full Update 4.2 Append Update 5 Evaluation 5.1 Memory Usage 5.2 Duration of the Update Procedure 5.3 Run-Time Overhead 6 Conclusion References Author Index