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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Synthesis of Ada Code from Graph-Based Task Models
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Embedded Systems)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Embedded Systems)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Embedded Systems)
2017 (English)In: Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. ACM 2017, ISBN 978-1-4503-4486-9 / [ed] Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, New York, USA: Association for Computing Machinery (ACM), 2017, 1467-1472 p.Conference paper, (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
New York, USA: Association for Computing Machinery (ACM), 2017. 1467-1472 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-327082DOI: 10.1145/3019612.3019681ISBN: 978-1-4503-4486-9 (print)OAI: oai:DiVA.org:uu-327082DiVA: diva2:1129314
Conference
The 32nd ACM SIGAPP Symposium On Applied Computing (SAC)
Projects
UPMARC
Available from: 2017-08-02 Created: 2017-08-02 Last updated: 2017-08-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textPublisher´s fulltext

Search in DiVA

By author/editor
Abdullah, JakariaMohaqeqi, MortezaWang, Yi
By organisation
Computer Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 36 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf