Abstract:In the fields of co-simulation and component-based modelling, designers import models as building blocks to create a composite model that provides more complex functionalities. Modelling tools perform instantaneous cycle detection (ICD) on the composite models having feedback loops to reject the models if the loops are mathematically unsound and to improve simulation performance. In this case, the analysis relies heavily on the availability of dependency information from the imported models. However, the cycle detection problem becomes harder when the model's input to output dependencies are mode-dependent, i.e. changes for certain events generated internally or externally as inputs. The number of possible modes created by composing such models increases significantly and unknown factors such as environmental inputs make the offline (statical) ICD a difficult task. In this paper, an online ICD method is introduced to address this issue for the models used in cyber-physical systems. The method utilises an oracle as a central source of information that can answer whether the individual models can make mode transition without creating instantaneous cycles. The oracle utilises three types of data-structures created offline that are adaptively chosen during online (runtime) depending on the frequency as well as the number of models that make mode transitions. During the analysis, the models used online are stalled from running, resulting in the discrepancy with the physical system. The objective is to detect an absence of the instantaneous cycle while minimising the stall time of the model simulation that is induced from the analysis. The benchmark results show that our method is an adequate alternative to the offline analysis methods and significantly reduces the analysis time.

Automated WCET Analysis Based on Program Modes.

Computation platform for automatic analysis of embedded software systems using model based approach

WCET-Aware Control Flow Checking with Super-Nodes for Resource-Constrained Embedded Systems

Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources

A Retargetable Software Timing Analyzer Using Architecture Description Language

Hybrid Performance Modeling And Analyzing Of Parallel Systems

Power Profiling for Low Power Optimization Using New Computing Model

High-assurance timing analysis for a high-assurance real-time operating system

Chronos: A Timing Analyzer for Embedded Software

WCET Analysis of Unified Cache with Software Prefetching

ESOMICS: ML-Based Timing Behavior Analysis for Efficient Mixed-Criticality System Design

WCRT Optimization Scheme Based on Task Mapping and Cache Partitioning

Computing Exact WCRT for Typed DAG Tasks on Heterogeneous Multi-Core Processors

WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems

Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches

Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages

Delay Analysis and Optimization for Inter-Core Interference in Real-Time Embedded Multicore Systems

Schedulability Analysis for MultiCore Global Scheduling with Model Checking

A Fast And Accurate Approach For Common Path Pessimism Removal In Static Timing Analysis

Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores

Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies