A train control system case study in model-based real time system design

Proceedings International Parallel and Distributed Processing Symposium ◽

10.1109/ipdps.2003.1213234 ◽

2004 ◽

Author(s):

A. Zimmermann ◽

G. Hommel

Keyword(s):

Control System ◽

System Design ◽

Real Time ◽

Time System ◽

Real Time System ◽

Train Control ◽

Model Based ◽

Train Control System

Download Full-text

The olympus attitude and orbital control system A case study in hard real-time system design and implementation

Ada - Europe '93 - Lecture Notes in Computer Science ◽

10.1007/3-540-56802-6_3 ◽

1993 ◽

pp. 19-35 ◽

Author(s):

A. Burns ◽

A. J. Wellings ◽

C. M. Bailey ◽

E. Fyfe

Keyword(s):

Control System ◽

System Design ◽

Real Time ◽

Time System ◽

Real Time System ◽

Design And Implementation ◽

Orbital Control ◽

System A ◽

Download Full-text

Visual assessment of a real-time system design: a case study on a CNC controller

17th IEEE Real-Time Systems Symposium REAL-96 ◽

10.1109/real.1996.563726 ◽

2002 ◽

Author(s):

Namyun Kim ◽

Minsoo Ryu ◽

Seongsoo Hong ◽

M. Saksena ◽

Chong-Ho Choi ◽

...

Keyword(s):

System Design ◽

Real Time ◽

Visual Assessment ◽

Time System ◽

Real Time System ◽

Download Full-text

Embedded and real time system design: A case study fire fighting robot

2016 5th Mediterranean Conference on Embedded Computing (MECO) ◽

10.1109/meco.2016.7525712 ◽

2016 ◽

Author(s):

Mustafa Engin

Keyword(s):

System Design ◽

Real Time ◽

Fire Fighting ◽

Time System ◽

Real Time System ◽

Fire Fighting Robot

Download Full-text

Tools for real-time system design

Proceedings. [1989] 11th International Conference on Software Engineering ◽

10.1109/icse.1988.93695 ◽

2003 ◽

Author(s):

R.A. Orr ◽

M.T. Norris ◽

R. Tinker ◽

C.D.V. Rouch

Keyword(s):

System Design ◽

Real Time ◽

Time System ◽

Real Time System

Download Full-text

Model-based verification method for solving the parameter uncertainty in the train control system

Reliability Engineering & System Safety ◽

10.1016/j.ress.2015.09.014 ◽

2016 ◽

Vol 145 ◽

pp. 169-182 ◽

Author(s):

Ruijun Cheng ◽

Jin Zhou ◽

Dewang Chen ◽

Yongduan Song

Keyword(s):

Control System ◽

Parameter Uncertainty ◽

Verification Method ◽

Train Control ◽

Model Based ◽

Train Control System

Download Full-text

A probabilistic performance metric for real-time system design

Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450) ◽

10.1145/301177.301494 ◽

1999 ◽

Author(s):

Tao Zhou ◽

Xiaobo (Sharon) Hu ◽

Edwin H.-M. Sha

Keyword(s):

System Design ◽

Real Time ◽

Time System ◽

Real Time System ◽

Performance Metric

Download Full-text

An integrated approach to real-time system design and on-line performance visualization with steering

Proceedings 21st IEEE Real-Time Systems Symposium ◽

10.1109/real.2000.896004 ◽

2002 ◽

Author(s):

A.M. Bakic ◽

M.W. Mutka

Keyword(s):

System Design ◽

Real Time ◽

Integrated Approach ◽

Time System ◽

Real Time System ◽

Performance Visualization ◽

Download Full-text

Multi Core Real-Time System Design for Hospital and Cyclosporine in The Treatment of Pathological Diagnosis of Pemphigus Patients

Microprocessors and Microsystems ◽

10.1016/j.micpro.2020.103647 ◽

2021 ◽

Vol 81 ◽

pp. 103647

Author(s):

Xiaojun Liu ◽

Yuanyuan Qi ◽

Xuebin Du ◽

Yuguo Wang ◽

Chao Liu

Keyword(s):

System Design ◽

Real Time ◽

Pathological Diagnosis ◽

Time System ◽

Real Time System

Download Full-text

Towards Mechanization of Real-Time System Design

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_1 ◽

1991 ◽

pp. 1-37 ◽

Author(s):

Aloysius K. Mok

Keyword(s):

System Design ◽

Real Time ◽

Time System ◽

Real Time System

Download Full-text

A novel GSM-R train control system and method for real-time transmission of data

2011 4th IEEE International Symposium on Microwave, Antenna, Propagation and EMC Technologies for Wireless Communications ◽

10.1109/mape.2011.6156171 ◽

2011 ◽

Author(s):

Hengliang Tang ◽

Hao Wu ◽

Shiya Wen

Keyword(s):

Control System ◽

Real Time ◽

Train Control ◽

Train Control System ◽

Real Time Transmission

Download Full-text