A model for real-time systems curriculum

被引:0
|
作者
Halang, WA
Zalewski, J
机构
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
An outline of an undergraduate syllabus for the education of real-time systems engineers is given, in a broader context of software engineering, to meet three high-level educational objectives: depth of study, breadth of study, and curriculum flexibility. The model is based on a 4-layer paradigm for course contents, comprising: real-time development methodologies and environments, real-time programming languages, operating system kernels, and real-time hardware architectures. ACM/IEEE-CS ''Computing Curricula 1991'' framework is used to describe the course contents. Ac companying laboratory work is outlined and suggestions for establishing a laboratory with advanced, but low-cost, hardware and software are provided. Suggestions are also made on prerequisites, course materials, and areas for possible graduate research.
引用
收藏
页码:39 / 48
页数:10
相关论文
共 50 条
  • [31] Model checking real-time properties of symmetric systems
    Emerson, EA
    Trefler, RJ
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 427 - 436
  • [32] Implementing reliable distributed real-time systems with the Θ-model
    Hermant, Jean-Francois
    Widder, Josef
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 2006, 3974 : 334 - +
  • [33] An event model for real-time systems in mobile environments
    Meier, R
    Kaiser, J
    Hughes, B
    Brudna, C
    Cahill, V
    SECOND IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, 2004, : 29 - 34
  • [34] Research on the reliability model of real-time network systems
    Jiang, Zhen
    Shao, Ding-Rong
    Xiong, Hua-Gang
    Wang, Jian-Zhen
    Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 2004, 25 (03): : 275 - 278
  • [35] Model Driven Timing Analysis for Real-Time Systems
    Ouhammou, Yassine
    Grolleau, Emmanuel
    Richard, Michael
    Richard, Pascal
    2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), 2012, : 1458 - 1465
  • [36] THE EXECUTION MODEL AND THE ARCHITECTURE FOR REAL-TIME PARALLEL SYSTEMS
    YAMAGUCHI, Y
    TODA, K
    NISHIDA, K
    TAKAHASHI, E
    INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 177 - 182
  • [37] Model Predictive Real-Time Monitoring of Linear Systems
    Chen, Xin
    Sankaranarayanan, Sriram
    2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2017, : 297 - 306
  • [38] Model Feasible Interactions in Distributed Real-Time Systems
    Ren, Shangping
    Yu, Yue
    Song, Miao
    FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS: ESSAYS DEDICATED TO CAROLYN TALCOTT ON THE OCCASION OF HER 70TH BIRTHDAY, 2011, 7000 : 144 - 168
  • [39] Symbolic model checking for discrete real-time systems
    Xiangyu Luo
    Lijun Wu
    Qingliang Chen
    Haibo Li
    Lixiao Zheng
    Zuxi Chen
    Science China Information Sciences, 2018, 61
  • [40] SaveCCM: An Analysable Component Model for Real-Time Systems
    Carlson, Jan
    Hakansson, John
    Pettersson, Paul
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 127 - 140