uu.seUppsala University Publications
Change search
Link to record
Permanent link

Direct link
BETA
Dai, Gaoyang
Publications (4 of 4) Show all publications
Abdullah, J., Dai, G. & Wang, Y. (2019). Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. In: Design, Automation & Test in Europe Conference & Exhibition: DATE 2019. Paper presented at DATE 2019, March 25–29, Florence, Italy (pp. 1625-1630). IEEE
Open this publication in new window or tab >>Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication
2019 (English)In: Design, Automation & Test in Europe Conference & Exhibition: DATE 2019, IEEE, 2019, p. 1625-1630Conference paper, Published paper (Refereed)
Abstract [en]

In real-time embedded systems, a system functionality is often implemented using a data-flow chain over a set of communicating tasks. A critical non-functional requirement in such systems is to restrict the amount of time, i.e. cause-effect latency, for an input to impact its corresponding output. The problem of estimating the worst-case cause-effect latency is well-studied in the context of blocking inter-task communication. Recent research results show that non-blocking communication preserving functional semantics is critical for the model-based design of dynamically updatable systems. In this paper, we study the worst-case cause-effect reaction latency estimation problem in the context of non-blocking inter-task communication. We present a computationally efficient algorithm that tightly over-approximates the exact worst-case reaction latency in cause-effect data-flow chains.

Place, publisher, year, edition, pages
IEEE, 2019
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-389931 (URN)10.23919/DATE.2019.8715264 (DOI)000470666100301 ()978-3-9819263-2-3 (ISBN)
Conference
DATE 2019, March 25–29, Florence, Italy
Available from: 2019-08-01 Created: 2019-08-01 Last updated: 2019-10-07Bibliographically approved
Abdullah, J., Dai, G., Mohaqeqi, M. & Yi, W. (2018). Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. In: Proc. 24th Real-Time and Embedded Technology and Applications Symposium: . Paper presented at RTAS 2018, April 11–13, Porto, Portugal (pp. 261-270). IEEE Computer Society
Open this publication in new window or tab >>Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing
2018 (English)In: Proc. 24th Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2018, p. 261-270Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
IEEE Computer Society, 2018
National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-364848 (URN)10.1109/RTAS.2018.00034 (DOI)000443421100028 ()978-1-5386-5295-4 (ISBN)
Conference
RTAS 2018, April 11–13, Porto, Portugal
Available from: 2018-11-05 Created: 2018-11-05 Last updated: 2018-11-12Bibliographically approved
Lei, L., You, L., Dai, G., Vu, T. X., Yuan, D. & Chatzinotas, S. (2017). A deep learning approach for optimizing content delivering in cache-enabled HetNet. In: Proc. 14th International Symposium on Wireless Communication Systems: . Paper presented at ISWCS 2017, August 28–31, Bologna, Italy (pp. 449-453). IEEE
Open this publication in new window or tab >>A deep learning approach for optimizing content delivering in cache-enabled HetNet
Show others...
2017 (English)In: Proc. 14th International Symposium on Wireless Communication Systems, IEEE, 2017, p. 449-453Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
IEEE, 2017
National Category
Communication Systems Computer Sciences
Identifiers
urn:nbn:se:uu:diva-347749 (URN)10.1109/ISWCS.2017.8108157 (DOI)000418336500077 ()978-1-5386-2913-0 (ISBN)
Conference
ISWCS 2017, August 28–31, Bologna, Italy
Available from: 2017-11-16 Created: 2018-04-17 Last updated: 2018-04-27Bibliographically approved
Abdullah, J., Dai, G., Guan, N., Mohaqeqi, M. & Wang, Y. (2017). Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. In: Aceto, L Bacci, G Bacci, G Ingolfsdottir, A Legay, A Mardare, R (Ed.), MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY. Paper presented at Conference on Models, Algorithms, Logics and Tools in Honour of Kim G. Larsen on the Occasion of his 60th Birthday, AUG 19-20, 2017, Aalborg Univ, Aalborg, DENMARK (pp. 623-639). SPRINGER INTERNATIONAL PUBLISHING AG
Open this publication in new window or tab >>Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems
Show others...
2017 (English)In: MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY / [ed] Aceto, L Bacci, G Bacci, G Ingolfsdottir, A Legay, A Mardare, R, SPRINGER INTERNATIONAL PUBLISHING AG , 2017, p. 623-639Conference paper, Published paper (Refereed)
Abstract [en]

We consider a Cyber-Physical System (CPS) as a network of components that are either physical plants with continuous behaviors or discrete controllers. To build CPS's in a systematic manner, the TIMES-Pro tool is designed to support modeling, analysis and code generation for real-time simulation and final deployment. In this paper, we present our decisions in designing the modeling language, the tool architecture and features of TIMES-Pro, and also a case study to demonstrate its applicability.

Place, publisher, year, edition, pages
SPRINGER INTERNATIONAL PUBLISHING AG, 2017
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 10460
Keywords
Cyber-Physical System, Timing analysis, Real-time simulation, Automated code generation
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-365175 (URN)10.1007/978-3-319-63121-9_31 (DOI)000441452500031 ()978-3-319-63121-9 (ISBN)978-3-319-63120-2 (ISBN)
Conference
Conference on Models, Algorithms, Logics and Tools in Honour of Kim G. Larsen on the Occasion of his 60th Birthday, AUG 19-20, 2017, Aalborg Univ, Aalborg, DENMARK
Available from: 2018-11-09 Created: 2018-11-09 Last updated: 2018-11-09Bibliographically approved
Organisations

Search in DiVA

Show all publications