Electronic Resource
Towards Programming Primitives for Hard Real-Time Constraints and Runtime Monitoring in Timed C
| العنوان: | Towards Programming Primitives for Hard Real-Time Constraints and Runtime Monitoring in Timed C |
|---|---|
| المؤلفون: | Natarajan, Saranya, Broman, David |
| بيانات النشر: | KTH, Programvaruteknik och datorsystem, SCS |
| نوع الوثيقة: | Electronic Resource |
| مستخلص: | The stringent timing requirements of hard real-time systems are typically guaranteed by first estimating safe worst-case execution time (WCET) values for a set of tasks, followed by a schedulability analysis. Furthermore, many schemes for developing systems with mixed real-time constraints make use of runtime monitoring. In case of timing violations at runtime, runtime monitoring can automatically discover incorrect WCET estimations. However, many programming languages do not have direct constructs for programming both hard timing constraints and runtime monitoring requirements. In this paper, we introduce direct primitives for programming hard timing constraints and runtime monitoring for a recently introduced real-time programming language called Timed C. We investigate the usability and limitations of these primitives by using a synthetic case study of an unmanned aerial vehicle and two Timed C examples encoding different types of mixed-criticality systems. QC 20210517 |
| مصطلحات الفهرس: | Real-time systems, programming language, Computer Systems, Datorsystem, Manuscript (preprint), info:eu-repo/semantics/preprint, text |
| URL: | |
| الاتاحة: | Open access content. Open access content info:eu-repo/semantics/openAccess |
| ملاحظة: | application/pdf English |
| Other Numbers: | UPE oai:DiVA.org:kth-294223 0000-0001-8457-4105 1280646744 |
| المصدر المساهم: | UPPSALA UNIV LIBR From OAIster®, provided by the OCLC Cooperative. |
| رقم الانضمام: | edsoai.on1280646744 |
| قاعدة البيانات: | OAIster |
| الوصف غير متاح. |