TY - GEN
T1 - Synthesis of ada code from graph-based task models
AU - Abdullah, Jakaria
AU - Mohaqeqi, Morteza
AU - Yi, Wang
N1 - Publisher Copyright:
© 2017 ACM.
PY - 2017/4/3
Y1 - 2017/4/3
N2 - Software for safety-critical applications must provide high-confidence behavior through predictable timely executions. The Synchronous Digraph Real-Time (SDRT) task model is a graph-based model for safety-critical software, for which efficient timing analysis techniques exist. In this work, we present a software synthesis method to generate Ada source code from SDRT models verified by timing analysis. We also explore how the expressiveness of SDRT can be utilized in synthesizing real-time simulation code of systems with complex behavior through a heart/pacemaker case study.
AB - Software for safety-critical applications must provide high-confidence behavior through predictable timely executions. The Synchronous Digraph Real-Time (SDRT) task model is a graph-based model for safety-critical software, for which efficient timing analysis techniques exist. In this work, we present a software synthesis method to generate Ada source code from SDRT models verified by timing analysis. We also explore how the expressiveness of SDRT can be utilized in synthesizing real-time simulation code of systems with complex behavior through a heart/pacemaker case study.
KW - Embedded software synthesis
KW - Graph-based Task model
UR - https://www.scopus.com/pages/publications/85020453341
U2 - 10.1145/3019612.3019681
DO - 10.1145/3019612.3019681
M3 - 会议稿件
AN - SCOPUS:85020453341
T3 - Proceedings of the ACM Symposium on Applied Computing
SP - 1467
EP - 1472
BT - 32nd Annual ACM Symposium on Applied Computing, SAC 2017
PB - Association for Computing Machinery
T2 - 32nd Annual ACM Symposium on Applied Computing, SAC 2017
Y2 - 4 April 2017 through 6 April 2017
ER -