Schedulability in model-based software development for distributed real-time systems

Sik-Sang Yau, Xiaoyong Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

Schedulability of distributed real-time system has been studied extensively. However, due to the discrepancies the reference model used in scheduling analysis and the object-oriented model, the results cannot be easily used for distributed real-time object-oriented software development. Even if object-oriented models can be used to conduct schedulability analysis successfully, there still lacks an effective approach to validate the implementation with the design. Model-based approach alleviates the discrepancies between models of different stages and the implementation by automatically transforming models at different granularity until the code generation for the implementation from the generated design. In this paper, an approach to incorporating schedulability analysis reference diagrams into the existing framework for model-based software development will be presented. It will improve the predictability of a distributed real-time system as well as increase the capability of model refinements and code generation using the new reference diagrams and schedulability analysis results to generate code for implementing scheduling and synchronization aspects of the distributed real-time system.

Original languageEnglish (US)
Title of host publicationProceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages45-52
Number of pages8
Volume2002-January
ISBN (Print)0769515762
DOIs
StatePublished - 2002
Event7th International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2002 - San Diego, United States
Duration: Jan 7 2002Jan 9 2002

Other

Other7th International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2002
CountryUnited States
CitySan Diego
Period1/7/021/9/02

Fingerprint

Real time systems
Software engineering
Scheduling
Synchronization

Keywords

  • Computational modeling
  • Computer science
  • Object oriented modeling
  • Processor scheduling
  • Programming
  • Real time systems
  • Runtime library
  • Timing
  • Unified modeling language
  • Yarn

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Yau, S-S., & Zhou, X. (2002). Schedulability in model-based software development for distributed real-time systems. In Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS (Vol. 2002-January, pp. 45-52). [1000035] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/WORDS.2002.1000035

Schedulability in model-based software development for distributed real-time systems. / Yau, Sik-Sang; Zhou, Xiaoyong.

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. Vol. 2002-January Institute of Electrical and Electronics Engineers Inc., 2002. p. 45-52 1000035.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Yau, S-S & Zhou, X 2002, Schedulability in model-based software development for distributed real-time systems. in Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. vol. 2002-January, 1000035, Institute of Electrical and Electronics Engineers Inc., pp. 45-52, 7th International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2002, San Diego, United States, 1/7/02. https://doi.org/10.1109/WORDS.2002.1000035
Yau S-S, Zhou X. Schedulability in model-based software development for distributed real-time systems. In Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. Vol. 2002-January. Institute of Electrical and Electronics Engineers Inc. 2002. p. 45-52. 1000035 https://doi.org/10.1109/WORDS.2002.1000035
Yau, Sik-Sang ; Zhou, Xiaoyong. / Schedulability in model-based software development for distributed real-time systems. Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. Vol. 2002-January Institute of Electrical and Electronics Engineers Inc., 2002. pp. 45-52
@inproceedings{6a9eaf3e99bf4a04a7aff5ed8428b74d,
title = "Schedulability in model-based software development for distributed real-time systems",
abstract = "Schedulability of distributed real-time system has been studied extensively. However, due to the discrepancies the reference model used in scheduling analysis and the object-oriented model, the results cannot be easily used for distributed real-time object-oriented software development. Even if object-oriented models can be used to conduct schedulability analysis successfully, there still lacks an effective approach to validate the implementation with the design. Model-based approach alleviates the discrepancies between models of different stages and the implementation by automatically transforming models at different granularity until the code generation for the implementation from the generated design. In this paper, an approach to incorporating schedulability analysis reference diagrams into the existing framework for model-based software development will be presented. It will improve the predictability of a distributed real-time system as well as increase the capability of model refinements and code generation using the new reference diagrams and schedulability analysis results to generate code for implementing scheduling and synchronization aspects of the distributed real-time system.",
keywords = "Computational modeling, Computer science, Object oriented modeling, Processor scheduling, Programming, Real time systems, Runtime library, Timing, Unified modeling language, Yarn",
author = "Sik-Sang Yau and Xiaoyong Zhou",
year = "2002",
doi = "10.1109/WORDS.2002.1000035",
language = "English (US)",
isbn = "0769515762",
volume = "2002-January",
pages = "45--52",
booktitle = "Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Schedulability in model-based software development for distributed real-time systems

AU - Yau, Sik-Sang

AU - Zhou, Xiaoyong

PY - 2002

Y1 - 2002

N2 - Schedulability of distributed real-time system has been studied extensively. However, due to the discrepancies the reference model used in scheduling analysis and the object-oriented model, the results cannot be easily used for distributed real-time object-oriented software development. Even if object-oriented models can be used to conduct schedulability analysis successfully, there still lacks an effective approach to validate the implementation with the design. Model-based approach alleviates the discrepancies between models of different stages and the implementation by automatically transforming models at different granularity until the code generation for the implementation from the generated design. In this paper, an approach to incorporating schedulability analysis reference diagrams into the existing framework for model-based software development will be presented. It will improve the predictability of a distributed real-time system as well as increase the capability of model refinements and code generation using the new reference diagrams and schedulability analysis results to generate code for implementing scheduling and synchronization aspects of the distributed real-time system.

AB - Schedulability of distributed real-time system has been studied extensively. However, due to the discrepancies the reference model used in scheduling analysis and the object-oriented model, the results cannot be easily used for distributed real-time object-oriented software development. Even if object-oriented models can be used to conduct schedulability analysis successfully, there still lacks an effective approach to validate the implementation with the design. Model-based approach alleviates the discrepancies between models of different stages and the implementation by automatically transforming models at different granularity until the code generation for the implementation from the generated design. In this paper, an approach to incorporating schedulability analysis reference diagrams into the existing framework for model-based software development will be presented. It will improve the predictability of a distributed real-time system as well as increase the capability of model refinements and code generation using the new reference diagrams and schedulability analysis results to generate code for implementing scheduling and synchronization aspects of the distributed real-time system.

KW - Computational modeling

KW - Computer science

KW - Object oriented modeling

KW - Processor scheduling

KW - Programming

KW - Real time systems

KW - Runtime library

KW - Timing

KW - Unified modeling language

KW - Yarn

UR - http://www.scopus.com/inward/record.url?scp=1642286732&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=1642286732&partnerID=8YFLogxK

U2 - 10.1109/WORDS.2002.1000035

DO - 10.1109/WORDS.2002.1000035

M3 - Conference contribution

AN - SCOPUS:1642286732

SN - 0769515762

VL - 2002-January

SP - 45

EP - 52

BT - Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

PB - Institute of Electrical and Electronics Engineers Inc.

ER -