Volume 33; Issue 7

Main
IFAC Proceedings Volumes
Volume 33; Issue 7

IFAC Proceedings Volumes

Volume 33; Issue 7

1

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

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 2.12 MB

english, 2000

2

A Contract-Based Language for Embedded Control Systems

Eker, Johan, Blomdell, Anders

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.41 MB

english, 2000

3

Early Experience with an Implementation of the POSIX.13 Minimal Real-Time Operating System for Embedded Applications

Rivas, Mario Aldea, Harbour, Michael González

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.59 MB

english, 2000

4

An Approach to Symbolic Worst-Case Execution Time Analysis

Bernat, Guillem, Burns, Alan

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.19 MB

english, 2000

5

Predictable and Efficient Memory Management for Composite Events

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.47 MB

english, 2000

6

Improving Temporal Behavior with Graphical Method in Real-Time Systems

Cottet, F., David, L.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.62 MB

english, 2000

7

Scheduling Real-Time Systems by Means of Petri Nets

Grolleau, Emmanuel, Choquet-Geniet, Annie

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.49 MB

english, 2000

8

Some Practical Results About Fixed-Priority Scheduling and Offsets

López, J.M., Díaz, J.L., García, M., García, D.F.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.45 MB

english, 2000

9

Formal Specification of a Safety Shell in Real-Time Control Practice

Sahraoui, Abd-El-Kader, Anderson, Eric, Katwijk, Jan van, Zalewski, Janusz

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.52 MB

english, 2000

10

A Generic Framework for Quantitative Modeling of Realtime Systems in UML

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.29 MB

english, 2000

11

A Scheduling Strategy to Preserve Object Autonomy

Lino Contreras, José, Louis Sourrouille, Jean

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.51 MB

english, 2000

12

Achieving Hard Real-Time Java

Baxter, M.J., Bass, J.M.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.58 MB

english, 2000

13

Basic Environment for Real Time Systems Analysis Using CAN Bus

Marcos, Marga, Portillo, Javier

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.35 MB

english, 2000

14

Database Model Update Ordering for Fault Handling in Manufacturing Cells

Andréasson, Sven-Arne, Adlemo, Anders

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.69 MB

english, 2000

15

Analyzing Temporal Constraints with Binary Decision Diagrams

Delfieu, David, Molinaro, Pierre, Roux, Olivier H.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.18 MB

english, 2000

16

An Approach to Use System Models to Assist in the Definition of Test Procedures 1 1This 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, Garcia, Hector, Alandes, Maria, Mahillo, Maria-Angeles, Piattini, Mario

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.36 MB

english, 2000

17

On the Use of a Railroad Model for Real-Time Systems Teaching and Experimenting

Alonso, Alejandro, Alfonso, Ramón F., Ruíz, José F., García-Valls, Marisol

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.40 MB

english, 2000

18

Author Index

Journal:

IFAC Proceedings Volumes

Year:

2000

File:

PDF, 102 KB

2000

19

Foreword

Crespo, Alfons, Vila, Joan, Llamosí, Albert

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 145 KB

english, 2000

20

Systems Engineering of a Successful Train Control System

Lawson, Harold W.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.28 MB

english, 2000

21

Design and Programming of Peripheral Interfaces for Embedded Real-Time Control Systems

Colnarič, Matjaž, Verber, Domen

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.43 MB

english, 2000

22

Combined Intrinsic-Extrinsic Cache Analysis for Preemptive Real-Time Systems

Marti, A., Molero, X., Perles, A., Rodriguez, F., Busquets, J.V.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.59 MB

english, 2000

23

Safety Related Real Time Programming

Halang, W.A., Tsai, G.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.46 MB

english, 2000

24

Adaptive Distributed Real-Time Transaction Management in Safety-Critical Systems

Wedde, Horst F., Böhm, Sabine

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.67 MB

english, 2000

25

Real Time Scheduling Methods Requirements in Distributed Control Systems

Martí, Pau, Villà, Ricard, Fuertes, Josep M., Fohler, Gerhard

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.88 MB

english, 2000

26

Schedulability Analysis in Real-Time Embedded Systems Specified in SDL

Álvarez, José María, Díaz, Manuel, Llopis, Luis, Pimentel, Ernesto, Troya, José María

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.38 MB

english, 2000

27

Migrating from a Non-Object-Oriented to a Traceable Object-Oriented Process

Bordeleau, F., Cloutier, M.A., Biagé, D.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.42 MB

english, 2000

28

Verification of Both Functional and Timing Requirements of Real-Time Systems

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.25 MB

english, 2000

29

A Tool for Modular Modelling and Verification of Hybrid Systems

Beyer, Dirk, Rust, Heinrich

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.40 MB

english, 2000

30

A Framework for Developing Distributed Hard Real-Time Applications

Javier Gutiérrez García, J., Harbour, Michael González

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.99 MB

english, 2000

31

Methodology and Tool Support for Developing Distributed Real-Time Applications

Brudna, C., Mitidieri, C., Pereira, C., Kaiser, J.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.52 MB

english, 2000

32

Dynamic Processes in a Static Environment

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.56 MB

english, 2000

33

An Approach to Dependability Modelling of Real Time Systems

Yuste, P., Campelo, J.C., Gil, P.J., Serrano, J.J.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.21 MB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски