SimSched: A tool for Simulating Autosar Implementaion in Simulink

08/29/2023
by   Jian Chen, et al.
0

AUTOSAR (AUTomotive Open System ARchitecture) is an open industry standard for the automotive sector. It defines the three-layered automotive software architecture. One of these layers is the application layer, where functional behaviors are encapsulated in Software Components (SW-Cs). Inside SW-Cs, a set of runnable entities represents the internal behavior and is realized as a set of tasks. To address AUTOSAR's lack of support for modeling behaviors of runnables, languages such as Simulink are employed. Simulink simulations assume Simulink block behaviors are completed in zero execution time, while real execution requires a finite execution time. This timing mismatch can result in failures to detect unexpected runtime behaviors during the simulation phase. This paper extends the Simulink environment to model the timing properties of tasks. We present a Simulink block that can schedule tasks with non-zero simulation times. It enables a more realistic analysis during model development.

READ FULL TEXT

page 7

page 9

research
04/27/2023

Timing Analysis of Embedded Software Updates

We present RETA (Relative Timing Analysis), a differential timing analys...
research
12/14/2017

A Brief Overview of the KTA WCET Tool

KTA (KTH's timing analyzer) is a research tool for performing timing ana...
research
04/13/2020

Detecting Straggler MapReduce Tasks in Big Data Processing Infrastructure by Neural Network

Straggler task detection is one of the main challenges in applying MapRe...
research
03/11/2021

Programming Robot Behaviors with Execution Management Functions

The control architecture of autonomous robots can be developed by progra...
research
07/09/2018

CANAL: A Cache Timing Analysis Framework via LLVM Transformation

A unified modeling framework for non-functional properties of a program ...
research
07/01/2019

Parametric Timed Model Checking for Guaranteeing Timed Opacity

Information leakage can have dramatic consequences on systems security. ...
research
07/24/2017

Verifying Policy Enforcers

Policy enforcers are sophisticated runtime components that can prevent f...

Please sign up or login with your details

Forgot password? Click here to reset