Presentations
-
Combinatorial abstraction refinement method for feasibility analysis,
by M. Stigge and W. Yi, presented at RTSS, 2013.
-
Refinement-based exact response time analysis, by M. Stigge
and W. Yi, presented at ECRTS, 2014.
-
Tractability of Digraph Task Model, by M. Stigge
and W. Yi, presented at ECRTS, 2011.
-
Scalable yet precise timing analysis, by W. Yi,
presented at ETAPS, 2015.
-
Schedulability Analysis of SDRT Tasks, by M. Mohaqeqi, J. Abdullah, N. Guan and W. Yi, presented at ECRTS, 2016.
-
Modeling Data Flow Graphs using DRT, by M. Mohaqeqi, J. Abdullah, N. Guan and W. Yi, presented at Ada-Europe, 2016.
-
Modeling engine controller tasks using DRT, by M. Mohaqeqi, J. Abdullah, P. Ekberg and W. Yi, presented at ECRTS, 2017.
-
Executable semantics of SDRT tasks, by M. Mohaqeqi, J. Abdullah and W. Yi, presented at Ada-Europe, 2017.
-
Non-preemptive resource sharing in DRT, by J. Abdullah, G. Dai, M. Mohaqeqi and W. Yi, presented at RTAS, 2018.
Tutorials
Published Material
List of our publications related to task models and analysis methods used in TIMES-Pro.
Tool Paper
- Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi and Wang Yi. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, LNCS 10460, pp 623-639, Springer, 2017.
(
doi,
bibtex
)
Model and Complexity
- The Digraph Real-Time Task Model.
Martin Stigge, Pontus Ekberg, Nan Guan, and Wang Yi.
In Proc. 17th Real-Time and Embedded Technology and Applications Symposium (RTAS'11), pp 71-80, IEEE, 2011.
(
doi,
bibtex
)
- On the Tractability of Digraph-Based Task Models. Martin Stigge, Pontus Ekberg, Nan Guan and Wang Yi. In Proc. 25h Euromicro Conference on Real-Time Systems (ECRTS'11), pp 162-171, IEEE, 2011.
(
doi,
bibtex
)
- Hardness Results for Static Priority Real-Time Scheduling. Martin Stigge and Wang Yi. In Proc. 26th Euromicro Conference on Real-Time Systems (ECRTS'12), pp 189-198, IEEE, 2012.
(
doi,
bibtex
)
- Graph-Based Models for Real-Time Workload: a Survey. Martin Stigge and Wang Yi. In Real-Time Systems, Volume 51, Issue 6, pp 602-636, Springer, 2015.
(
doi,
bibtex
)
- Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. Morteza Mohaqeqi, Jakaria Abdullah and Wang Yi. In Proc. 20th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe'16), pp 15-29, Springer, 2016.
(
doi,
bibtex
)
- Refinement of Workload Models for Engine Controllers by State Space Partitioning. Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg and Wang Yi. In Proc. 29th Euromicro Conference on Real-Time Systems (ECRTS'17), pp 11:1-11:22, LIPIcs, 2017.
(
doi,
bibtex
)
Analysis
- Combinatorial Abstraction Refinement for Feasibility Analysis. Martin Stigge and Wang Yi. In Proc. 34th Real-Time Systems Symposium (RTSS'13), pp 340-349, IEEE, 2013.
(
doi,
bibtex
)
- Refinement-based Exact Response-Time Analysis. Martin Stigge and Wang Yi. In Proc. 26th Euromicro Conference on Real-Time Systems (ECRTS'14), pp 143-152, IEEE, 2014.
(
doi,
.bibtex
)
- Combinatorial Abstraction Refinement for Feasibility Analysis. Martin Stigge and Wang Yi. In Real-Time Systems, Volume 51, Issue 6, pp 639-674, Springer, 2015.
(
doi,
bibtex
)
- Scalable Timing Analysis with Refinement. Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge and Wang Yi. In Proc. 21St International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), LNCS 10460, pp 3-18, Springer, 2015.
(
doi,
bibtex
)
- Approximate Response Time Analysis of Real-Time Task Graphs. Nan Guan, Chuancai Gu, Martin Stigge, Qingxu Deng and Wang Yi. In Proc. 35th Real-Time Systems Symposium (RTSS'14), pp 304-313, IEEE, 2014.
(
doi,
bibtex
)
Communication and resource sharing
- Resource Sharing Protocols of Real-Time Task Graphs. Nan Guan, Pontus Ekberg, Martin Stigge and Wang Yi. In Proc. 25h Euromicro Conference on Real-Time Systems (ECRTS'11), pp 272-281, IEEE, 2011.
(
doi,
bibtex
)
- Schedulability Analysis of Synchronous Digraph Real-Time Tasks. Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan and Wang Yi. In Proc. 28th Euromicro Conference on Real-Time Systems (ECRTS'16), pp 176-186, IEEE, 2016.
(
doi,
bibtex
)
- Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi and Wang Yi. In Proc. 24th Real-Time and Embedded Technology and Applications Symposium (RTAS'18), pp 261-270, IEEE, 2018.
(
doi,
bibtex
)
Software synthesis
- Synthesis of Ada Code from Graph-Based Task Models. Jakaria Abdullah, Morteza Mohaqeqi and Wang Yi. In Proc. Symposium on Applied Computing (SAC'17), pp 1467-1472, ACM, 2017.
(
doi,
bibtex
)
- An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. Morteza Mohaqeqi, Jakaria Abdullah and Wang Yi. In Proc. 21st Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe'17), pp 137-152, Springer, 2017.
(
doi,
bibtex
)
Other
- The Fork-Join Real-Time Task Model. Martin Stigge, Pontus Ekberg and Wang Yi. In SIGBED Review, Volume 10, Issue 2, pp 20, ACM, 2013.
(
doi,
bibtex
)
- Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms. Jinghao Sun, Nan Guan, Yang wang, Qingxu Deng, Peng Zeng and Wang Yi. In Real-Time Transaction on Embedded Computing Systems, Volume 15, Issue 1, pp 14:1-14:28, ACM, 2016.
(
doi,
bibtex
)
- Transforming Real-Time Task Graphs to Improve Schedulability. Chuancai Gu, Nan Guan, Zhiwei Feng, Qingxu Deng, Xiaobo Sharon Hu and Wang Yi. In Proc. 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'16), pp 29-38, IEEE, 2016.
(
doi,
bibtex
)
- Delay Analysis of Structural Real-Time Workload. Chuancai Gu, Nan Guan, Yue Tang, Yang Wang and Wang Yi. In Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE'15), pp 223-228, ACM, 2015.
(
doi,
bibtex
)