微信服务号

微信订阅号

2025-4-8- 5
Home > Archive>Volume 27, Issue 3, 2016 >611-632. DOI:10.13328/j.cnki.jos.004984
PDF HTML XML Export Cite reminder
Time-Predictable Multi-Threaded Code Generation with Synchronous Languages
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61502231); the National Key Basic Research Program of China (973) (2014CB744904); Natural Science Foundation of Jiangsu Province (BK20150753); the Project of the State Key Laboratory of Software Development Environment of China (SKLSDE-2015KF-04); the Avionics Science Foundation of China (2015ZC52027); China Postdoctoral Science Foundation

  • Article
    • | |
  • Metrics
    • |
  • Reference
    • |
  • Related
    • |
  • Cited by
    • | |
  • Comments
    Abstract:

    Multi-core processors are being widely used in safety-critical systems.Unfortunately, the introduction of performance-enhancing architectural elements, such as pipelines, out-of-order execution, dynamic branch prediction, caches and inter-cores resource-sharing, make WCET(worst-case execution time) analysis of a system become more difficult.Thus, time-predictable system design is established to meet the challenge of building systems for which WCET can be statically and easily analyzed.At the software level, this paper proposes a time-predictable multi-threaded code generation based on synchronous-model development.At the platform level, it presents a time-predictable multi-core architecture model in AADL(architecture analysis and design language), and then maps the multi-threaded code to this model.Real-time specifications propagate down in the system hierarchy.As a result, the proposed method integrates time predictability across several design layers, and finally reduces the complexity of WCET analysis.

    Reference
    Related
    Cited by
Get Citation

杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX, Mamoun FILALI.同步语言的时间可预测多线程代码生成方法.软件学报,2016,27(3):611-632

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 15,2015
  • Revised:October 20,2015
  • Online: January 06,2016
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063