Model-based engineering of large-scale real-time systems

Proceedings International Conference and Workshop on Engineering of Computer-Based Systems ◽

10.1109/ecbs.1997.581931 ◽

2002 ◽

Author(s):

T.A. Bapty ◽

J. Sztipanovits

Keyword(s):

Real Time ◽

Large Scale ◽

Real Time Systems ◽

Model Based ◽

Download Full-text

Computer interface engineering for real-time systems: a model-based approach

Microprocessors and Microsystems ◽

10.1016/0141-9331(87)90048-2 ◽

1987 ◽

Vol 11 (9) ◽

pp. 506

Keyword(s):

Real Time ◽

Computer Interface ◽

Real Time Systems ◽

Interface Engineering ◽

Model Based ◽

Download Full-text

Model-based systems engineering with requirements variability for embedded real-time systems

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) ◽

10.1109/modre.2015.7343874 ◽

2015 ◽

Author(s):

Mole Li ◽

Firat Batmaz ◽

Lin Guan ◽

Alan Grigg ◽

Matthew Ingham ◽

...

Keyword(s):

Real Time ◽

Systems Engineering ◽

Real Time Systems ◽

Model Based ◽

Time Systems ◽

Model Based Systems Engineering

Download Full-text

Randomized Work Stealing for Large Scale Soft Real-Time Systems

2016 IEEE Real-Time Systems Symposium (RTSS) ◽

10.1109/rtss.2016.028 ◽

2016 ◽

Author(s):

Jing Li ◽

Son Dinh ◽

Kevin Kieselbach ◽

Kunal Agrawal ◽

Christopher Gill ◽

...

Keyword(s):

Real Time ◽

Large Scale ◽

Real Time Systems ◽

Work Stealing ◽

Download Full-text

Book Review: Computer Interface Engineering for Real-Time Systems: A Model-Based Approach

International Journal of Electrical Engineering Education ◽

10.1177/002072098802500426 ◽

1988 ◽

Vol 25 (4) ◽

pp. 374-375

Author(s):

D. W. Doughty

Keyword(s):

Real Time ◽

Computer Interface ◽

Real Time Systems ◽

Interface Engineering ◽

Model Based ◽

Download Full-text

Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems

Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06) ◽

10.1109/ease.2006.24 ◽

2006 ◽

Author(s):

A. Dubey ◽

S. Nordstrom ◽

T. Keskinpala ◽

S. Neema ◽

T. Bapty

Keyword(s):

Real Time ◽

Large Scale ◽

Mitigation Strategies ◽

Real Time Systems ◽

Download Full-text

Modeling of a Monitoring Scheme for TMO Model-based Real-Time Systems

Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06) ◽

10.1109/isorc.2006.56 ◽

2006 ◽

Author(s):

Yoon-Seok Jeong ◽

Tae-Wan Kim ◽

Chun-Hyon Chang

Keyword(s):

Real Time ◽

Real Time Systems ◽

Monitoring Scheme ◽

Model Based ◽

Download Full-text

Call for papers on the challenges of global time in large scale distributed real-time systems

Real-Time Systems ◽

10.1007/bf01893148 ◽

1995 ◽

Vol 8 (1) ◽

pp. 95-95

Keyword(s):

Real Time ◽

Large Scale ◽

Real Time Systems ◽

Global Time ◽

Download Full-text

Schedulability in model-based software development for distributed real-time systems

Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002) WORDS-02 ◽

10.1109/words.2002.1000035 ◽

2003 ◽

Author(s):

S.S. Yau ◽

Xiaoyong Zhou

Keyword(s):

Software Development ◽

Real Time ◽

Real Time Systems ◽

Model Based ◽

Download Full-text

Model-based specification and execution of embedded real-time systems

Proceedings Design, Automation and Test in Europe Conference and Exhibition ◽

10.1109/date.2004.1269103 ◽

2004 ◽

Author(s):

T. Schattkowsky ◽

W. Mueller

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Based ◽

Download Full-text

Formal development of remote interfaces for large-scale real-time systems

2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) ◽

10.1109/icsmc.2004.1398285 ◽

2005 ◽

Author(s):

W. Hussak ◽

S.H. Yang

Keyword(s):

Real Time ◽

Large Scale ◽

Real Time Systems ◽

Formal Development ◽

Download Full-text