| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Achieving Hard Real-Time Java
|
Baxter, M.J.
|
|
2000
|
33 |
7 |
p. 151-156
6 p.
|
artikel
|
| 2 |
A Contract-Based Language for Embedded Control Systems
|
Eker, Johan
|
|
2000
|
33 |
7 |
p. 17-22
6 p.
|
artikel
|
| 3 |
Adaptive Distributed Real-Time Transaction Management in Safety-Critical Systems
|
Wedde, Horst F.
|
|
2000
|
33 |
7 |
p. 81-87
7 p.
|
artikel
|
| 4 |
A Framework for Developing Distributed Hard Real-Time Applications
|
Javier Gutiérrez García, J.
|
|
2000
|
33 |
7 |
p. 183-190
8 p.
|
artikel
|
| 5 |
A Generic Framework for Quantitative Modeling of Realtime Systems in UML
|
Selic, Bran
|
|
2000
|
33 |
7 |
p. 129-134
6 p.
|
artikel
|
| 6 |
Analyzing Temporal Constraints with Binary Decision Diagrams
|
Delfieu, David
|
|
2000
|
33 |
7 |
p. 123-128
6 p.
|
artikel
|
| 7 |
An Approach to Dependability Modelling of Real Time Systems
|
Yuste, P.
|
|
2000
|
33 |
7 |
p. 69-74
6 p.
|
artikel
|
| 8 |
An Approach to Symbolic Worst-Case Execution Time Analysis
|
Bernat, Guillem
|
|
2000
|
33 |
7 |
p. 43-48
6 p.
|
artikel
|
| 9 |
An Approach to Use System Models to Assist in the Definition of Test Procedures 1 1 This research work was performed within the ARCO project. The Inter-ministerial Commission for Science and Technology of the Government of Spain, CICYT, partially supports the Project ARCO Ref. TIC98-0782.
|
Garbajosa, Juan
|
|
2000
|
33 |
7 |
p. 175-181
7 p.
|
artikel
|
| 10 |
Applied Research: A Scientist’s Perspective * * Invited plenary speech at the joint IFAC WRTP'2000 &AARTC'2000. The referenced research projects SynUTC and W2F received support from the Austrian Science Foundation (FWF) grant P10244-OMA, the OeNB "Jubilaumsfonds-Proje t" 6454, the BMfWV research contract Zl.601.577/2-IV/B/9/96, and the Austrian START programme Y41-MAT. For further information see http://www.auto.tuwien.ac.at/Projects/SynUTC/and http://www.auto.tuwien.ac.at/Projects/W2
|
Schmid, Ulrich
|
|
2000
|
33 |
7 |
p. 1-8
8 p.
|
artikel
|
| 11 |
A Scheduling Strategy to Preserve Object Autonomy
|
Lino Contreras, José
|
|
2000
|
33 |
7 |
p. 143-149
7 p.
|
artikel
|
| 12 |
A Tool for Modular Modelling and Verification of Hybrid Systems
|
Beyer, Dirk
|
|
2000
|
33 |
7 |
p. 169-174
6 p.
|
artikel
|
| 13 |
Author Index
|
|
|
2000
|
33 |
7 |
p. 211-
1 p.
|
artikel
|
| 14 |
Basic Environment for Real Time Systems Analysis Using CAN Bus
|
Marcos, Marga
|
|
2000
|
33 |
7 |
p. 163-168
6 p.
|
artikel
|
| 15 |
Combined Intrinsic-Extrinsic Cache Analysis for Preemptive Real-Time Systems
|
Marti, A.
|
|
2000
|
33 |
7 |
p. 49-55
7 p.
|
artikel
|
| 16 |
Database Model Update Ordering for Fault Handling in Manufacturing Cells
|
Andréasson, Sven-Arne
|
|
2000
|
33 |
7 |
p. 203-210
8 p.
|
artikel
|
| 17 |
Design and Programming of Peripheral Interfaces for Embedded Real-Time Control Systems
|
Colnarič, Matjaž
|
|
2000
|
33 |
7 |
p. 29-34
6 p.
|
artikel
|
| 18 |
Dynamic Processes in a Static Environment
|
Trutmann, HO.
|
|
2000
|
33 |
7 |
p. 23-28
6 p.
|
artikel
|
| 19 |
Early Experience with an Implementation of the POSIX.13 Minimal Real-Time Operating System for Embedded Applications
|
Rivas, Mario Aldea
|
|
2000
|
33 |
7 |
p. 35-41
7 p.
|
artikel
|
| 20 |
Foreword
|
Crespo, Alfons
|
|
2000
|
33 |
7 |
p. v-
1 p.
|
artikel
|
| 21 |
Formal Specification of a Safety Shell in Real-Time Control Practice
|
Sahraoui, Abd-El-Kader
|
|
2000
|
33 |
7 |
p. 109-115
7 p.
|
artikel
|
| 22 |
Improving Temporal Behavior with Graphical Method in Real-Time Systems
|
Cottet, F.
|
|
2000
|
33 |
7 |
p. 75-80
6 p.
|
artikel
|
| 23 |
Methodology and Tool Support for Developing Distributed Real-Time Applications
|
Brudna, C.
|
|
2000
|
33 |
7 |
p. 191-196
6 p.
|
artikel
|
| 24 |
Migrating from a Non-Object-Oriented to a Traceable Object-Oriented Process
|
Bordeleau, F.
|
|
2000
|
33 |
7 |
p. 135-141
7 p.
|
artikel
|
| 25 |
On the Use of a Railroad Model for Real-Time Systems Teaching and Experimenting
|
Alonso, Alejandro
|
|
2000
|
33 |
7 |
p. 197-202
6 p.
|
artikel
|
| 26 |
Predictable and Efficient Memory Management for Composite Events
|
Mellin, Jonas
|
|
2000
|
33 |
7 |
p. 57-62
6 p.
|
artikel
|
| 27 |
Real Time Scheduling Methods Requirements in Distributed Control Systems
|
Martí, Pau
|
|
2000
|
33 |
7 |
p. 95-102
8 p.
|
artikel
|
| 28 |
Safety Related Real Time Programming
|
Halang, W.A.
|
|
2000
|
33 |
7 |
p. 63-68
6 p.
|
artikel
|
| 29 |
Schedulability Analysis in Real-Time Embedded Systems Specified in SDL
|
Álvarez, José María
|
|
2000
|
33 |
7 |
p. 117-122
6 p.
|
artikel
|
| 30 |
Scheduling Real-Time Systems by Means of Petri Nets
|
Grolleau, Emmanuel
|
|
2000
|
33 |
7 |
p. 89-94
6 p.
|
artikel
|
| 31 |
Some Practical Results About Fixed-Priority Scheduling and Offsets
|
López, J.M.
|
|
2000
|
33 |
7 |
p. 103-108
6 p.
|
artikel
|
| 32 |
Systems Engineering of a Successful Train Control System
|
Lawson, Harold W.
|
|
2000
|
33 |
7 |
p. 9-15
7 p.
|
artikel
|
| 33 |
Verification of Both Functional and Timing Requirements of Real-Time Systems
|
Wang, Shuhua
|
|
2000
|
33 |
7 |
p. 157-162
6 p.
|
artikel
|
Tijdschrift beschrijving