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 条
  • [41] Operating system structure model for real-time systems
    Kamiuchi, T
    Nakanishi, H
    Hayashi, K
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 120 - 124
  • [42] Analysis of Real-Time Systems with CTL Model Checkers
    Bourahla, Mustapha
    Benmohamed, Mohamed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 : 41 - 60
  • [43] Symbolic model checking for discrete real-time systems
    Luo, Xiangyu
    Wu, Lijun
    Chen, Qingliang
    Li, Haibo
    Zheng, Lixiao
    Chen, Zuxi
    SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (05)
  • [44] Model Adaptation for Real-Time Optimization in Energy Systems
    Serralunga, Fernan J.
    Mussati, Miguel C.
    Aguirre, Pio A.
    INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2013, 52 (47) : 16795 - 16810
  • [45] 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 (05) : 203 - 225
  • [46] Model-Based Design of Real-Time Systems
    Thiele, Lothar
    2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : XVI - XVI
  • [47] Model-checking real-time concurrent systems
    Romanovsky, I
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 439 - 439
  • [48] Model-Based Implementation of Real-Time Systems
    Sacha, Krzysztof
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 332 - 345
  • [49] Towards a workflow model of real-time cooperative systems
    Du, YY
    Jiang, CJ
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 452 - 470
  • [50] MODEL-CHECKING FOR PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 115 - 126