Timed High-Level Message Sequence Charts for Real-Time System Design

System Analysis and Modeling: Language Profiles - Lecture Notes in Computer Science ◽

10.1007/11951148_6 ◽

2006 ◽

pp. 82-98 ◽

Cited By ~ 3

Author(s):

Tai Hyo Kim ◽

Sung Deok Cha

Keyword(s):

System Design ◽

Real Time ◽

Time System ◽

Real Time System ◽

Message Sequence Charts ◽

High Level

Download Full-text

Tools for real-time system design

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

10.1109/icse.1988.93695 ◽

2003 ◽

Cited By ~ 5

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

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 ◽

Cited By ~ 5

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 ◽

On Line

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

A real-time system for high-level video representation: application to video surveillance

10.1117/12.476352 ◽

2003 ◽

Cited By ~ 7

Author(s):

Aishy Amer ◽

Eric Dubois ◽

Amar Mitiche

Keyword(s):

Real Time ◽

Video Surveillance ◽

Time System ◽

Real Time System ◽

Video Representation ◽

High Level

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 ◽

Cited By ~ 8

Author(s):

Aloysius K. Mok

Keyword(s):

System Design ◽

Real Time ◽

Time System ◽

Real Time 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 ◽

Cited By ~ 13

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 ◽

Hard Real Time

Download Full-text

Integrated Software and Real-Time System Design with Applications

Computer, Network, Software, and Hardware Engineering with Applications ◽

10.1002/9781118181287.ch4 ◽

2012 ◽

pp. 97-124

Keyword(s):

System Design ◽

Real Time ◽

Time System ◽

Real Time System ◽

Integrated Software

Download Full-text

Formal Methods for Fault-Tolerant, Real-Time System Design

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_74 ◽

1994 ◽

pp. 625-625

Author(s):

Jack Goldberg

Keyword(s):

System Design ◽

Real Time ◽

Formal Methods ◽

Fault Tolerant ◽

Time System ◽

Real Time System

Download Full-text

The Time-Triggered Approach to Real-Time System Design

Predictably Dependable Computing Systems ◽

10.1007/978-3-642-79789-7_4 ◽

1995 ◽

pp. 53-66 ◽

Cited By ~ 22

Author(s):

Hermann Kopetz

Keyword(s):

System Design ◽

Real Time ◽

Time System ◽

Real Time System

Download Full-text