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

Direct link
BETA
Abdullah, Jakaria
Alternative names
Publications (10 of 10) 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
Mohaqeqi, M., Abdullah, J. & Yi, W. (2017). An executable semantics for synchronous task graphs: From SDRT to Ada. In: Reliable Software Technologies — Ada-Europe 2017: . Paper presented at 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe)2017, June 12–16, Vienna, Austria. (pp. 137-152). Springer, 10300
Open this publication in new window or tab >>An executable semantics for synchronous task graphs: From SDRT to Ada
2017 (English)In: Reliable Software Technologies — Ada-Europe 2017, Springer, 2017, Vol. 10300, p. 137-152Conference paper, Published paper (Refereed)
Abstract [en]

We study a graph-based real-time task model in which inter-task synchronization can be specified through a rendezvous mechanism. Previously, efficient methods have been proposed for timing analysis of the corresponding task sets. In this paper, we first formally specify an operational semantics for the model. Next, we describe a method for Ada code generation for a set of such task graphs. We also specify extensions of the approach to cover a notion of broadcasting, as well as global inter-release separation time of real-time jobs. We have implemented the proposed method in a graphical tool which facilitates a model-based design and implementation of real-time software.

Place, publisher, year, edition, pages
Springer, 2017
Series
Lecture Notes in Computer Science ; 10300
National Category
Embedded Systems
Identifiers
urn:nbn:se:uu:diva-326691 (URN)10.1007/978-3-319-60588-3_9 (DOI)000433224100009 ()978-3-319-60587-6 (ISBN)
Conference
22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe)2017, June 12–16, Vienna, Austria.
Projects
UPMARC
Available from: 2017-05-30 Created: 2017-07-22 Last updated: 2018-09-25Bibliographically approved
Mohaqeqi, M., Abdullah, J., Ekberg, P. & Yi, W. (2017). Refinement of workload models for engine controllers by state space partitioning. In: 29th Euromicro Conference on Real-Time Systems: ECRTS 2017. Paper presented at ECRTS 2017, June 27–30, Dubrovnik, Croatia (pp. 11:1-22). Dagstuhl, Germany: Leibniz-Zentrum für Informatik
Open this publication in new window or tab >>Refinement of workload models for engine controllers by state space partitioning
2017 (English)In: 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2017, p. 11:1-22Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Dagstuhl, Germany: Leibniz-Zentrum für Informatik, 2017
Series
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969 ; 76
National Category
Computer Systems
Identifiers
urn:nbn:se:uu:diva-326690 (URN)10.4230/LIPIcs.ECRTS.2017.11 (DOI)978-3-95977-037-8 (ISBN)
Conference
ECRTS 2017, June 27–30, Dubrovnik, Croatia
Projects
UPMARC
Available from: 2017-06-30 Created: 2017-07-22 Last updated: 2017-07-25Bibliographically approved
Abdullah, J., Mohaqeqi, M. & Yi, W. (2017). Synthesis of Ada code from graph-based task models. In: Proc. 32nd ACM Symposium on Applied Computing: . Paper presented at SAC 2017, April 3–7, Marrakech, Morocco (pp. 1467-1472). New York: ACM Press
Open this publication in new window or tab >>Synthesis of Ada code from graph-based task models
2017 (English)In: Proc. 32nd ACM Symposium on Applied Computing, New York: ACM Press, 2017, p. 1467-1472Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
New York: ACM Press, 2017
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-327082 (URN)10.1145/3019612.3019681 (DOI)978-1-4503-4486-9 (ISBN)
Conference
SAC 2017, April 3–7, Marrakech, Morocco
Projects
UPMARC
Available from: 2017-04-03 Created: 2017-08-02 Last updated: 2018-01-13Bibliographically 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
Abdullah, S. M., Lampka, K. & Yi, W. (2016). Improving performance by monitoring while maintaining worst-case guarantees. In: Proc. 19th Conference on Design, Automation and Test in Europe: . Paper presented at DATE 2016, March 14–18, Dresden, Germany (pp. 257-260). Piscataway, NJ: IEEE
Open this publication in new window or tab >>Improving performance by monitoring while maintaining worst-case guarantees
2016 (English)In: Proc. 19th Conference on Design, Automation and Test in Europe, Piscataway, NJ: IEEE, 2016, p. 257-260Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Piscataway, NJ: IEEE, 2016
National Category
Computer Sciences
Research subject
Computer Science with specialization in Embedded Systems
Identifiers
urn:nbn:se:uu:diva-295505 (URN)000382679200046 ()978-3-9815-3707-9 (ISBN)
Conference
DATE 2016, March 14–18, Dresden, Germany
Projects
UPMARC
Available from: 2016-04-28 Created: 2016-06-07 Last updated: 2018-01-10Bibliographically approved
Mohaqeqi, M., Abdullah, J. & Yi, W. (2016). Modeling and analysis of data flow graphs using the digraph real-time task model. In: Reliable Software Technologies — Ada-Europe 2016: . Paper presented at Ada-Europe 2016, June 13–17, Pisa, Italy (pp. 15-29). Springer
Open this publication in new window or tab >>Modeling and analysis of data flow graphs using the digraph real-time task model
2016 (English)In: Reliable Software Technologies — Ada-Europe 2016, Springer, 2016, p. 15-29Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer, 2016
Series
Lecture Notes in Computer Science ; 9695
National Category
Computer Engineering
Identifiers
urn:nbn:se:uu:diva-295513 (URN)10.1007/978-3-319-39083-3_2 (DOI)000386324400002 ()978-3-319-39082-6 (ISBN)
Conference
Ada-Europe 2016, June 13–17, Pisa, Italy
Projects
UPMARC
Available from: 2016-05-31 Created: 2016-06-07 Last updated: 2018-01-10Bibliographically approved
Mohaqeqi, M., Abdullah, J., Guan, N. & Yi, W. (2016). Schedulability analysis of synchronous digraph real-time tasks. In: Proc. 28th Euromicro Conference on Real-Time Systems: . Paper presented at ECRTS 2016, July 5–8, Toulouse, France (pp. 176-186). IEEE Computer Society
Open this publication in new window or tab >>Schedulability analysis of synchronous digraph real-time tasks
2016 (English)In: Proc. 28th Euromicro Conference on Real-Time Systems, IEEE Computer Society, 2016, p. 176-186Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
IEEE Computer Society, 2016
National Category
Computer Engineering
Identifiers
urn:nbn:se:uu:diva-293967 (URN)10.1109/ECRTS.2016.17 (DOI)000389463400016 ()978-1-5090-2811-5 (ISBN)
Conference
ECRTS 2016, July 5–8, Toulouse, France
Projects
UPMARC
Available from: 2016-09-01 Created: 2016-05-15 Last updated: 2018-01-10Bibliographically approved
Guan, N., Tang, Y., Abdullah, J., Stigge, M. & Yi, W. (2015). Scalable timing analysis with refinement. In: Tools and Algorithms for the Construction and Analysis of Systems: . Paper presented at TACAS 2015, April 13–17, London, UK (pp. 3-18). Springer
Open this publication in new window or tab >>Scalable timing analysis with refinement
Show others...
2015 (English)In: Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2015, p. 3-18Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer, 2015
Series
Lecture Notes in Computer Science ; 9035
National Category
Computer Engineering
Identifiers
urn:nbn:se:uu:diva-317679 (URN)10.1007/978-3-662-46681-0_1 (DOI)978-3-662-46680-3 (ISBN)
Conference
TACAS 2015, April 13–17, London, UK
Projects
UPMARC
Available from: 2015-04-24 Created: 2017-03-16 Last updated: 2018-01-13Bibliographically approved
Organisations

Search in DiVA

Show all publications