Teaching real-time systems around a digital model railroad platform using ada

被引：0
|
作者：
Alvarez, B [1 ]
Pastor, JA [1 ]
Ortiz, F [1 ]
Sanchez, P [1 ]
Navarro, P [1 ]
机构：
[1] Univ Politecn Cartagena, Cartagena, Spain
来源：
RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004 | 2004年 / 3063卷
关键词：
education and training; real-time systems; object-oriented programming;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the development of different control applications for educational purposes. Because of the platform is a limited resource and the students can not test their programs simultaneously, a railroad platform simulator has been developed. The programming language used to implement the simulator has been Ada and the design and implementation of the system is described in this work. Ada is also selected in order to allow the students to carry out their practical exercises during the course(1).
引用
收藏
页码：213 / 224
页数：12
相关论文
共 50 条
  • [41] Real-time digital simulator for distributed systems
    Chen, Jinchao
    Du, Chenglie
    Han, Pengcheng
    Du, Xiaoyan
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2021, 97 (05): : 299 - 309
  • [42] Real-Time Digital Twin for Railway Systems
    Bernal, Esteban
    Spiryagin, Maksym
    Santa, Juan
    Toro, Alejandro
    Wu, Qing
    Cole, Colin
    ADVANCES IN DYNAMICS OF VEHICLES ON ROADS AND TRACKS III, VOL 1, IAVSD 2023, 2025, : 445 - 454
  • [43] Digital real-time simulation for distribution systems
    Barry, AO
    Guay, F
    Guérette, S
    Giroux, P
    2000 IEEE ESMO - 2000 IEEE 9TH INTERNATIONAL CONFERENCE ON TRANSMISSION & DISTRIBUTION CONSTRUCTION, OPERATION & LIVE-LINE MAINTENANCE PROCEEDINGS, 2000, : 252 - 258
  • [44] Implementing and using execution time clocks in ada hard real-time applications
    Harbour, MG
    Rivas, MA
    García, JJG
    Gutiérrez, JCP
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE, 1998, 1411 : 90 - 101
  • [45] Towards platform-independent real-time systems
    Hayes, IJ
    2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 192 - 200
  • [46] Real-Time Control of Dense-Time Systems Using Digital-Clocks
    Xu, Songyan
    Kumar, Ratnesh
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (09) : 2003 - 2013
  • [47] Model Checking of Real-Time Systems Using Rewriting Logic
    Bendiaf, Messaoud
    Bourahla, Mustapha
    Boudia, Malika
    Rehab, Seidali
    PROCEEDINGS OF 2017 INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES (ICEIT 2017), 2017,
  • [48] Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE
    Medina, Julio L.
    Garcia Cuesta, Alvaro
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 89 - 102
  • [49] A Model for Industrial Real-Time Systems
    Bin Waez, Md Tawhid
    Wasowski, Andrzej
    Dingel, Juergen
    Rudie, Karen
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 153 - 171
  • [50] AN INTERLEAVING MODEL FOR REAL-TIME SYSTEMS
    CHEN, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 81 - 92
12345