mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Customized Real-Time Data Management for Automotive Systems: A Case Study
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2898-9570
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).ORCID iD: 0000-0003-2870-2680
2017 (English)In: 43rd Annual Conference of the IEEE Industrial Electronics Society IECON 2017, 2017Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2017.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-37061OAI: oai:DiVA.org:mdh-37061DiVA: diva2:1155251
Conference
43rd Annual Conference of the IEEE Industrial Electronics Society IECON 2017, 30 Oct 2017, Beijing, China
Projects
DAGGERS - Data aggregation for embedded real-time database systemsAdequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR)
Available from: 2017-11-07 Created: 2017-11-07 Last updated: 2017-11-07Bibliographically approved

Open Access in DiVA

No full text

Authority records BETA

Cai, SiminGallina, BarbaraNyström, DagSeceleanu, Cristina

Search in DiVA

By author/editor
Cai, SiminGallina, BarbaraNyström, DagSeceleanu, Cristina
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf