ISSN 1897-8649 (Print)
eISSN 2080-2145 (Online)
completely current issue
avaliable on-line
Editorial Board
Editorial Office
Industrial Research Institute for Automation and Measurements "PIAP"
building 4 , room 206
Al. Jerozolimskie 202
02-486 Warsaw
POLAND
tel.: +48-22-8740-109
fax : +48-22-8740-209
|
|
ISSUE 01/2009
[click here for full electronic issue]
|
REGULAR PAPERS
|
|
3
Reachability of fractional positive continuous-time linear systems
T. Kaczorek
|
|
8
Pointwise completeness and pointwise degeneracy of linear continuous-time fractional order systems
T. Kaczorek, M. Busłowicz
|
|
12
Stability analysis of linear continuous-time fractional systems of commensurate order
M. Busłowicz
|
|
SPECIAL ISSUE SECTION
Dependability and Safety of Real-Time Computer Systems
Editors: Wojciech Grega, Andrew J. Kornecki, Janusz Zalewski
|
|
19
EDITORIAL
W. Grega, A. J. Kornecki, J. Zalewski
|
|
23
Reusing Verilog Designs in the Synchronous Language Esterel
M. Leuchter, S. Tyszberowicz, Y. A. Feldman
|
|
30
Towards the safety verification of real-time systems with the coq proof assistant
O. Tveretina
|
|
33
Improving dependability of automation for free electron laser FLASH
B. Kosęda, T. Szmuc, W. Cichalewski
|
|
40
Using pre-emption for dependable urban vehicle traffic
T. Letia, S. Barbu, F. Dinga
|
|
46
Incorporating fault tolerance into component-based architectures for embedded systems
S. Lu, W. A. Halang
|
|
52
Fault sensitivity of explicit DMC and GPC algorithms
P. Gawkowski, M. Ławryńczuk, P. Marusak, J. Sosnowski, P. Tatjewski
|
|
57
Speed analysis of a digital controller in time critical applications
P. Piątek, W. Grega
|
|
62
Task jitter measurement under RTLinux operating system
P. Moryc, J. Cemohorsky
|
|
66
ILERT - international learning environment for realtime software-intensive control systems
A. J. Kornecki, T. B. Hilburn, W. Grega, M. Sveda, J-M. Thiriet
|
|
|
DEPARTMENTS
|
|
72
IN THE SPOTLIGHT
|
|
74
EVENTS
|
|
|
|
Editor-in-Chief
Janusz Kacprzyk
(Systems Research Institute, Polish Academy of Sciences, PIAP, POLAND)
Co-Editors
- Dimitar Filev (Research & Advenced Engineering, Ford Motor Company, USA)
- Kaoru Hirota (Interdisciplinary Graduate School of Science and Engineering, Tokyo Institute of Technology)
- Witold Pedrycz (ECERF, University of Alberta, Canada)
- Roman Szewczyk (PIAP, Warsaw University of Technology)
Executive Editor
Anna Ładan
Associate Editors
Mariusz Andrzejczak
Katarzyna Rzeplińska-Rykała
Web editor
Tomasz Kobyliński
|
PIAP Industrial Research Institute
