mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Systematic Design of Data Management for Real-Time Data-Intensive Applications
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (Formal Modelling and Analysis of Embedded Systems)
2017 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University , 2017.
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 258
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-35369ISBN: 978-91-7485-334-6 (tryckt)OAI: oai:DiVA.org:mdh-35369DiVA, id: diva2:1097790
Presentation
2017-06-12, Kappa, Mälardalens högskola, Västerås, 13:30 (engelsk)
Opponent
Veileder
Prosjekter
DAGGERS
Forskningsfinansiär
Knowledge FoundationTilgjengelig fra: 2017-05-23 Laget: 2017-05-22 Sist oppdatert: 2017-07-10bibliografisk kontrollert
Delarbeid
1. DAGGTAX: A Taxonomy of Data Aggregation Processes
Åpne denne publikasjonen i ny fane eller vindu >>DAGGTAX: A Taxonomy of Data Aggregation Processes
2017 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

Data aggregation processes are essential constituents in many data management applications. Due to their complexity, designing data aggregation processes often demands considerable efforts. A study on the features of data aggregation processes will provide a comprehensive view for the designers and ease the design process. Existing works either propose application-specific aggregation solutions, or focus on particular aspects of aggregation processes such as aggregate functions, hence they do not offer a high-level, generic description. In this paper, we propose a taxonomy of data aggregation processes called DAGGTAX, which builds on the results of an extensive survey within various application domains. Our work focuses on the features of aggregation processes and their implications, especially on the temporal data consistency and the process timeliness. We present our taxonomy as a feature diagram, which is a visual notation with formal semantics. The taxonomy can then serve as the foundation of a design tool that enables designers to build an aggregation process by selecting and composing desired features. Based on the implications of the features, we formulate three design rules that eliminate infeasible feature combinations. We also provide a set of design heuristics that could help designers to decide the appropriate mechanisms for achieving the selected features. 

sted, utgiver, år, opplag, sider
Västerås: , 2017
HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-35366 (URN)MDH-MRTC-319/2017-1-SE (ISRN)
Prosjekter
DAGGERS
Forskningsfinansiär
Knowledge Foundation
Tilgjengelig fra: 2017-05-22 Laget: 2017-05-22 Sist oppdatert: 2017-05-29bibliografisk kontrollert
2. A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation
Åpne denne publikasjonen i ny fane eller vindu >>A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation
2016 (engelsk)Inngår i: Proceedings of the 24th International Conference on Real-Time Networks and Systems, Brest, France, 2016Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Traditional Concurrency Control (CC) mechanisms ensure absence of undesired interference in transaction-based systems and enforce isolation. However, CC may introduce unpredictable delays that could lead to breached timeliness, which is unwanted for real-time transactions. To avoid deadline misses, some CC algorithms relax isolation in favor of timeliness, whereas others limit possible interleavings by leveraging real-time constraints and preserve isolation. Selecting an appropriate CC algorithm that can guarantee timeliness at an acceptable level of isolation thus becomes an essential concern for system designers. However, trading-off isolation for timeliness is not easy with existing analysis techniques in database and real-time communities. In this paper, we propose to use model checking of a timed automata model of the transaction system, in order to check the traded-off timeliness and isolation. Our solution provides modularization for the basic transactional constituents, which enables flexible modeling and composition of various candidate CC algorithms, and thus reduces the effort of selecting the appropriate CC algorithm.

sted, utgiver, år, opplag, sider
Brest, France: , 2016
Emneord
Transaction management, concurrency control, timeliness, isolation, model checking
HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-33826 (URN)10.1145/2997465.2997495 (DOI)000391255400001 ()2-s2.0-84997170469 (Scopus ID)
Konferanse
24th International Conference on Real-Time Networks and Systems RTNS'16, 19 Oct 2016, Brest, France
Prosjekter
DAGGERS - Data aggregation for embedded real-time database systems
Tilgjengelig fra: 2016-11-21 Laget: 2016-11-21 Sist oppdatert: 2019-09-13bibliografisk kontrollert
3. Towards the verification of temporal data consistency in Real-Time Data Management
Åpne denne publikasjonen i ny fane eller vindu >>Towards the verification of temporal data consistency in Real-Time Data Management
2016 (engelsk)Inngår i: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, 2016, artikkel-id Article number 7496422Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Many Cyber-Physical Systems (CPSs) require both timeliness of computation and temporal consistency of their data. Therefore, when using real-time databases in a real-time CPS application, the Real-Time Database Management Systems (RTDBMSs) must ensure both transaction timeliness and temporal data consistency. RTDBMSs prevent unwanted interferences of concurrent transactions via concurrency control, which in turn has a significant impact on the timeliness and temporal consistency of data. Therefore it is important to verify, already at early design stages that these properties are not breached by the concurrency control. However, most often such early on guarantees of properties under concurrency control are missing. In this paper we show how to verify transaction timeliness and temporal data consistency using model checking. We model the transaction work units, the data and the concurrency control mechanism as a network of timed automata, and specify the properties in TCTL. The properties are then checked exhaustively and automatically using the UPPAAL model checker. 

Emneord
Complex networks, Embedded systems, Information management, Model checking, Real time systems, Concurrent transactions, Cyber physical systems (CPSs), Early design stages, Real time data management, Real-time database, Real-time database management systems, Temporal consistency, Uppaal model checkers, Concurrency control
HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-32523 (URN)10.1109/CPSData.2016.7496422 (DOI)000390778200005 ()2-s2.0-84982976149 (Scopus ID)9781509011544 (ISBN)
Konferanse
2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, 11 April 2016
Tilgjengelig fra: 2016-08-18 Laget: 2016-08-18 Sist oppdatert: 2019-09-13bibliografisk kontrollert

Open Access i DiVA

fulltext(614 kB)152 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 614 kBChecksum SHA-512
b11327aa41621b637eba654f9e015f0b85f33e7967b50de9c5161e8814f151fba55a10228b8e7f9373d91cfc539982989802f2ca8e5351541914ef0d83bc42d2
Type fulltextMimetype application/pdf

Personposter BETA

Cai, Simin

Søk i DiVA

Av forfatter/redaktør
Cai, Simin
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 152 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 373 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf