Hard real-time systems modeling and simulation

被引：0

作者：

de Miguel, MA ^{[1
]}

Dueñas, JC ^{[1
]}

机构：

[1] Univ Politecn Madrid, ETSI Telecomunicac, E-28040 Madrid, Spain

来源：

MODELLING AND SIMULATION 1996 | 1996年

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Usually, hard real-time systems offer a special kind of complexity raised out by time restrictions. They are difficult to develop using the traditional methods used in the software engineering field. Instead, two new different kinds of tools must be used: models simulation (that allow to study the system behavior and its architecture and structure) and analysis tools (in order to ensure temporal requirements fulfillment). This document describes the coordinated usage of both solutions. A set of tools used for the automatic generation of temporal requirements analysis and simulation behavior of engineering models is also presented.

引用

页码：108 / 112

页数：5

共 50 条

[1] Modeling and simulation of a hard real-time processor
Glavinić, Vlado
Groš, Stjepan
Colnarič, Matjaž
[J]. Journal of Computing and Information Technology, 2000, 8 (03) : 221 - 233
[2] Reliability modeling of hard real-time systems
Kim, H
White, AL
Shin, KG
[J]. TWENTY-EIGHTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST PAPERS, 1998, : 304 - 313
[3] Modeling of discrete event systems with hard real-time deadlines
Xi'an Jiaotong Univ, Xi'an, China
[J]. Hsi An Chiao Tung Ta Hsueh, 7 (27-31):
[4] A tool for modeling and simulation of real-time systems behaviour
Zmaranda, Doina
Gabor, Gianina
[J]. SOFA 2007: 2ND IEEE INTERNATIONAL WORKSHOP ON SOFT COMPUTING APPLICATIONS, PROCEEDINGS, 2007, : 211 - +
[5] Real-time calculus for scheduling hard real-time systems
Thiele, L
Chakraborty, S
Naedele, M
[J]. ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
[6] DESIGNING HARD REAL-TIME SYSTEMS
BURNS, A
WELLINGS, AJ
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 603 : 116 - 127
[7] SCHEDULING OF HARD REAL-TIME SYSTEMS
MOITRA, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 362 - 381
[8] Weakly hard real-time systems
Bernat, G
Burns, A
Llamosí, A
[J]. IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (04) : 308 - 321
[9] From multibody systems modeling to distributed real-time simulation
Cozot, R
[J]. PROCEEDINGS OF THE 29TH ANNUAL SIMULATION SYMPOSIUM, 1996, : 234 - 241
[10] MODELING IN REAL-TIME SYSTEMS
BOASSON, M
[J]. COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 107 - 114

← 1 2 3 4 5 →