Timing modeling and analysis for AUTOSAR-based software development - a case study

Klobedanz, Kay; Kuznik, Christoph; Thuy, Andreas; Mueller, Wolfgang

doi:10.1109/date.2010.5457125

Cited by 27 publications

(12 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, let us To form this trade-off, the CPU utilization test is applied, meaning that the algorithm merges multiple tasks into one task whenever the CPU utilization after merging gets lower. 2 The utilization of the task containing τ i and τ j , denoted by u τ i j is computed by Eq. 15.…”

Section: Methods 2: the Feedback-based Refinement Approach (Smsafr)mentioning

confidence: 99%

“…Let us presume that in average a shared runnable belongs to 3 transactions. There are 60 transactions in the benchmark where the number of runnables per transaction (excluding dummy transactions), according to the benchmark, is in the range of [2,10] with an average of 5. Therefore, in average 30% of the runnables belong to at least one transaction…”

Section: Application and Hardware Specificationsmentioning

confidence: 99%

“…AUTOSAR not only provides a methodology and standardized work-flows for development of software components, but it also provides a set of basic software services along with an abstraction of hardware devices [2].…”

mentioning

confidence: 99%

See 2 more Smart Citations

A resource efficient framework to run automotive embedded software on multi-core ECUs

Faragardi

Lisper

Sandström

et al. 2018

Journal of Systems and Software

View full text Add to dashboard Cite

The increasing functionality and complexity of automotive applications requires not only the use of more powerful hardware, e.g., multi-core processors, but also efficient methods and tools to support design decisions. Component-based software engineering proved to be a promising solution for managing software complexity and allowing for reuse. However, there are several challenges inherent in the intersection of resource efficiency and predictability of multi-core processors when it comes to running component-based embedded software. In this paper, we present a software design framework addressing these challenges. The framework includes both mapping of software components onto executable tasks, and the partitioning of the generated task set onto the cores of a multi-core processor. This paper aims at enhancing resource efficiency by optimizing the software design with respect to: 1) the inter-softwarecomponents communication cost, 2) the cost of synchronization among dependent transactions of software components, and 3) the interaction of software components with the basic software services. An engine management system, one of the most complex automotive sub-systems, is considered as a use case, and the experimental results show a reduction of up to 11.2% total CPU usage on a quad-core processor, in comparison with the common framework in the literature.

show abstract

Section: Methods 2: the Feedback-based Refinement Approach (Smsafr)mentioning

confidence: 99%

Section: Application and Hardware Specificationsmentioning

confidence: 99%

See 1 more Smart Citation

A resource efficient framework to run automotive embedded software on multi-core ECUs

Faragardi

Lisper

Sandström

et al. 2018

Journal of Systems and Software

View full text Add to dashboard Cite

show abstract

“…AU-TOSAR serves as a specification for different layers (i.e., application software, runtime environment and basic software) of a system constituted by hierarchical components. AUTOSAR itself does not provide any means to perform timing analysis and for that reason it has been enriched by the TIMing MOdel (TIMMO) [17], which builds on the Timing Augmented Description Language (TADL).…”

Section: Related Workmentioning

confidence: 99%

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications

Masrur

Kit

Bure

et al. 2014

2014 17th Euromicro Conference on Digital System Design

View full text Add to dashboard Cite

Abstract-Cyber-physical systems typically involve a large number of mobile autonomous devices that closely interact with each other and their environment. Standard design and development techniques from the embedded domain fail to accurately model the dynamics of such systems and, hence, there is an increasing need for new programming models and abstractions. Component-based design approaches are a promising solution to manage the complexity of large-scale dynamic systems. However, existing such approaches either do not accurately model transitory interactions between componentswhich are typical of cyber-physical systems -or do not provide guarantees for real-time behavior which is essential in many safety-critical applications. To overcome this problem, in this paper, we present a component-based design technique based on DEECo (Dependable Emergent Ensembles of Components). The DEECo framework allows modeling large-scale dynamic systems by a set of interacting components. In contrast to other component-based design approaches from the literature, DEECo provides mechanisms to describe transitory interactions between components. We introduce necessary extensions to the DEECo design flow and integrate it with real-time analysis techniques that allow reasoning about timing behavior at the component-description level. Finally, we illustrate the simplicity and usefulness of our approach on a case study consisting of an intelligent crossroad system.

show abstract

“…In [16], the authors explore timing analysis with an AUTO-SAR-based [3] modeling language. The commercial SymTA/S [44] analysis tool is used for schedulability analysis.…”

Section: Related Workmentioning

confidence: 99%

Applicability of real-time schedulability analysis on a software radio protocol

Singhoff

Rubini

et al. 2012

Proceedings of the 2012 ACM Conference on High Integrity Language Technology

View full text Add to dashboard Cite

In this paper, we present our experience on integrating timing constraint verification and analysis, by using the realtime scheduling theory, in an industrial context. The verification process has been integrated into a design flow at THALES Communications & Security. We focus our work on Software Radio Protocols (SRP). We have used ModelDriven Engineering technologies and the Cheddar schedulability analysis tool for our experiment. We show how we have modeled a complete SRP in UML MARTE, a profile for real-time embedded systems, before using model transformation to extract information for schedulability analysis with Cheddar.

show abstract

Timing modeling and analysis for AUTOSAR-based software development - a case study

Cited by 27 publications

References 4 publications

A resource efficient framework to run automotive embedded software on multi-core ECUs

A resource efficient framework to run automotive embedded software on multi-core ECUs

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications

Applicability of real-time schedulability analysis on a software radio protocol

Contact Info

Product

Resources

About