Systematic Design of Data Management for Real-Time Data-Intensive Applications

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Search: onr:"swepub:oai:DiVA.org:mdh-35369" > Systematic Design o...

1 of 1
Previous record
Next record
To hitlist

Details
MARC

Cai, SiminMälardalens högskola,Inbyggda system,Formal Modelling and Analysis of Embedded Systems (author)

Systematic Design of Data Management for Real-Time Data-Intensive Applications

BookEnglish2017

Publisher, publication year, extent ...

Västerås :Mälardalen University,2017
electronicrdacarrier

Numbers

LIBRIS-ID:oai:DiVA.org:mdh-35369
ISBN:9789174853346
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35369URI

Supplementary language notes

Language:English
Summary in:English

Part of subdatabase

SwePubSwePub

Classification

Subject category:vet swepub-contenttype
Subject category:lic swepub-publicationtype

Notes

Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain the consistency of data, such computations must be both logically correct (producing correct and consistent results) and temporally correct (completing before specified deadlines). One solution to ensure logical and temporal correctness is to model these computations as transactions and manage them using a Real-Time Database Management System (RTDBMS). Ideally, depending on the particular system, the transactions are customized with the desired logical and temporal correctness properties, which are achieved by the customized RTDBMS with appropriate run-time mechanisms. However, developing such a data management solution with provided guarantees is not easy, partly due to inadequate support for systematic analysis during the design. Firstly, designers do not have means to identify the characteristics of the computations, especially data aggregation, and to reason about their implications. Design flaws might not be discovered, and thus they may be propagated to the implementation. Secondly, trade-off analysis of conflicting properties, such as conflicts between transaction isolation and temporal correctness, is mainly performed ad-hoc, which increases the risk of unpredictable behavior.In this thesis, we propose a systematic approach to develop transaction-based data management with data aggregation support for real-time systems. Our approach includes the following contributions: (i) a taxonomy of data aggregation, (ii) a process for customizing transaction models and RTDBMS, and (iii) a pattern-based method of modeling transactions in the timed automata framework, which we show how to verify with respect to transaction isolation and temporal correctness. Our proposed taxonomy of data aggregation processes helps in identifying their common and variable characteristics, based on which their implications can be reasoned about. Our proposed process allows designers to derive transaction models with desired properties for the data-related computations from system requirements, and decide the appropriate run-time mechanisms for the customized RTDBMS to achieve the desired properties. To perform systematic trade-off analysis between transaction isolation and temporal correctness specifically, we propose a method to create formal models of transactions with concurrency control, based on which the isolation and temporal correctness properties can be verified by model checking, using the UPPAAL tool. By applying the proposed approach to the development of an industrial demonstrator, we validate the applicability of our approach.

Subject headings and genre

Added entries (persons, corporate bodies, meetings, titles ...)

Seceleanu, Cristina,Associate ProfessorMälardalens högskola,Inbyggda system (thesis advisor)
Nyström, Dag,Senior LecturerMälardalens högskola,Inbyggda system (thesis advisor)
Gallina, Barbara,Associate ProfessorMälardalens högskola,Akademin för innovation, design och teknik (thesis advisor)
Almeida, Luís,Associate ProfessorUniversity of Porto (opponent)
Mälardalens högskolaInbyggda system (creator_code:org_t)

Internet link

Find in a library

Systematic Design of Data Management for Real-Time Data-Intensive Applications (Search the publication in LIBRIS)

To the university's database

1 of 1
Previous record
Next record
To hitlist

Find more in SwePub

By the author/editor: Cai, Simin; Seceleanu, Crist ...; Nyström, Dag, Se ...; Gallina, Barbara ...; Almeida, Luís, A ...

About the subject

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Computer Systems

By the university: Mälardalen University

Search outside SwePub

Extend your search to:: Google; Google Book Search; Google Scholar

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

LIBRIS.kb.se