Program of 2nd International Workshop on
Discrete-Event System Design, DESDes'04
Dychów near Zielona Gora, September 15÷17, 2004
|
Wednesday 15.09.2004
|
University of Zielona Gora,
Campus A, Podgórna 50,
building A-2, room 6A
7.00-10.30 - Registration
8.30 and 10.30 - Bus leaving for Dychów
|
Pensjonat DYCHÓW
Dychów, tel./fax +48 68 383 53 41
e-mail: dychow@hotel.pl
8.00-11.00 - Registration
|
|
11.30-11.50 Conference opening
|
11.50-13.20 Invited session
Chairman: Marian Adamski
|
11.50-12.10 |
Statechart based embedded systems co-design
Luís Gomes, Anikó Costa
|
12.10-12.40 |
Current and prospective application domains of FPGAs
Juan José Rodríguez-Andina, Maria J. Moure, Elena Lago
|
12.40-13.00 |
Randomization of a parallel algorithm for solving undefined systems of linear logical equations
Arkadij Zakrevskij
|
13.00-13.20 |
A dedicated reconfigurable architecture for implementing Petri nets
Norian Marranghello
|
13.20-13.40 |
ASIC PHM scheduler implementation
FJ González-Castano, Enrique Soto-Campos, R Asorey-Cacheda, C López-Bravo,
José Farina-Rodríguez, Juan José Rodríguez-Andina
|
13.50-14.50 Lunch
|
15.00-16.15 High-level system design, session I
Chairman: Norian Marranghello, Alexander Barkalov
|
15.00-15.15 |
Program model of hierarchical Petri-net
Grzegorz Andrzejewski, Andrei Karatkevich
|
15.15-15.30 |
From non-autonomous Petri net models to code in embedded systems design
Luís Gomes, Joao Paulo Barros, Rui Pais
|
15.30-15.45 |
Generation of symbolic functional vector for VHDL specifications verification
Ewa Idzikowska
|
15.45-16.00 |
Direct implementation of Petri net based model in FPGA
Hana Kubátová
|
16.00-16.15 |
Research on coding efficiency of wavelet-based IMC-3DEZBC codec
Andrzej Pop³awski, Mariusz Szychiewicz, Wojciech Zaj¹c
|
16.15-17.00 Coffee break
|
17.00-18.00 High-level system design, session II
Chairman: Hana Kubátová, Luís Gomes
|
17.00-17.15 |
The SystemC behavioral model of IEEE 802153 MAC protocol - design and profiling
Jerzy Ryman, Daniel Dietterle, Kai Dombrowski, Piotr Bubacz
|
17.15-17.30 |
The intermediate model for hardware/software microsystems based on Petri nets
Andrzej Stasiak, Zbigniew Skowroñski
|
17.30-17.45 |
Postprocessing enhancement of image sequences coded by 3D wavelet encoder
Mariusz Szychiewicz, Andrzej Pop³awski, Wojciech Zaj¹c
|
17.45-18.00 |
A design and verification tool for the parallel systems by an extended Petri net and Java executor
Shin'nosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama
|
18.15-19.45 Special session "Digital design by means of SOpC"
|
20.00 Dinner / grill
|
Thursday 16.09.2004
|
8.00-9.00 Breakfast
|
9.00-13.00 Excursion
|
13.00-14.00 Lunch
|
14.15-15.00 Special session "Verification of FB application design"
Chairman: Alexander Barkalov, Wolfgang Halang
|
14.15-14.30 |
Test support for FB based application design
Wei Zhang
|
14.30-14.45 |
Safety profile for UML specifications
Shourog Lu
|
14.45-15.00 |
Safety execution framework for FB applications
Marek Sniezek
|
15.15-16.45 Logic controller design
Chairman: Arkadij Zakrevskij, Hana Kubátová
|
15.15-15.30 |
Structured design of modular logic controllers
Marian Adamski
|
15.30-15.45 |
Synthesis of control unit with multiple encoding of the sets of microoperations
Alexander A Barkalov, Arkadiusz Bukowiec
|
15.45-16.00 |
The real difference between linear and branching temporal logics
Dmitrii I Cheremisinov
|
16.00-16.15 |
Mapping parallel control algorithms onto programmable logic controller programs
Liudmila D Cheremisinova
|
16.15-16.30 |
Data flow driven optimization of assertions checkers performance in runtime
Miroslaw Forczek, Katarzyna Hrynkiewicz
|
16.30-16.45 |
Flow price based vehicle traffic distributed control
T Leþia, A Aºtilean, M Hulea, H Vãlean
|
16.45-17.30 Coffee break
|
17.30-18.30 Microprocessor and Real-Time systems
Chairman: Enrique Soto-Campos, Marian Adamski
|
17.30-17.45 |
Design environment for microcode development and debugging with AVR microcontrollers (MICoSS)
Stanislav Korbel, Vlastimil Janes
|
17.45-18.00 |
Urban driving advisory system based on genetic algoritms
Honoriu Vãlean, Tiberiu Leþia, Adina Aºtilean
|
18.00-18.15 |
A safety-related programmable electronic system for task-oriented real-time execution
Martin Skambraks
|
18.15-18.30 |
Remarks on the programming of a bit processor used in a bit-byte CPU of a PLC
Miros³aw Chmiel, Edward Hrynkiewicz, Adam Milik
|
20.00 Banquet
|
Friday 17.09.2004
|
8.00-9.00 Breakfast
|
9.00-11.30 Programmable logic
Chairman: Arkadij Zakrevskij, Andrei Karatkevich
|
9.00-9.15 |
Logic synthesis importance and its place in digital circuits design for cryptography and DSP applications
Tadeusz £uba, Mariusz Rawski, Pawel Tomaszewicz
|
9.15-9.30 |
Synthesis of compositional microprogram control units with transformation of the numbers of inputs
Alexander A Barkalov, Remigiusz Wiœniewski
|
9.30-9.45 |
Single-level partitioning support in BOOM-II
Petr Fišer, Hana Kubátová
|
9.45-10.00 |
Fault simulation technology for SOCs
VI Hahanov, OV Melnikova, IV Pobegenko, AN Parfentiy
|
10.00-10.15 |
Minimization of the Hamming code generator in self checking circuits
Pavel Kubalik, Petr Fišer, Hana Kubátová
|
10.15-10.30 Coffee break
|
10.30-10.45 |
Multi purpose, low cost, programable PCI interface card
Wojciech Zaj¹c, Sebastian Pawlak
|
10.45-11.00 |
Experimental research of techniques for logic circuits synthesis in PLA basis
Pyotr Bibilo, Nataly Kirienko
|
11.00-11.15 |
Synthesis and implementation modulo arithmetic in FPGA
Janusz Jab³oñski, Janusz Biernat
|
11.30 Conference closing
|
12.00-13.00 Lunch
|
13.30 Bus departure to Zielona Góra
|
|
|