You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Customized Real-Time Data Management for Automotive Systems: A Case Study

Fulltext:


Authors:

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Research groups:

Formal Modelling and Analysis of Embedded Systems
Certifiable Evidences & Justification Engineering

Publication Type:

Conference/Workshop Paper

Venue:

43rd Annual Conference of the IEEE Industrial Electronics Society

Abstract

Real-time DataBase Management Systems (RTDBMS) have been considered as a promising means to manage data for data-centric automotive systems. During the design of an RTDBMS, one must carefully trade off data consistency and timeliness, in order to achieve an acceptable level of both properties. Previously, we have proposed a design process called DAGGERS to facilitate a systematic customization of transaction models and decision on the run-time mechanisms. In this paper, we evaluate the applicability of DAGGERS via an industrially relevant case study that aims to design the transaction management for an on-board diagnostic system, which should guarantee both timeliness and data consistency under concurrent access. To achieve this, we apply the pattern-based approach of DAGGERS to formalize the transactions, and derive the appropriate isolation level and concurrency control algorithm guided by model checking. We show by simulation that the implementation of our designed system satisfies the desired timeliness and derived isolation, and demonstrate that DAGGERS helps to customize desired real-time transaction management prior to implementation.

Bibtex

@inproceedings{Cai4839,
author = {Simin Cai and Barbara Gallina and Dag Nystr{\"o}m and Cristina Seceleanu},
title = {Customized Real-Time Data Management for Automotive Systems: A Case Study},
month = {October},
year = {2017},
booktitle = {43rd Annual Conference of the IEEE Industrial Electronics Society},
url = {http://www.es.mdu.se/publications/4839-}
}