|
|
| DESDes06 |
| |
| 26th September 2006, Tuesday |
Opening (Four Seasons Room)
Chairman: Prof
Marian Adamski
09:00 - 09:15
|
|
|
| |
Session 1 (Formal Methods in Digital Design) (Four
Seasons Room)
Chairman: Prof Wolfgang A. Halang
09:15
- 11:00
|
| 1. |
A New Heuristic Algorithm for Sequential
Two-Block Decomposition of Boolean Functions
|
| |
Arkadij Zakrevskij |
| |
09:15-09:40 |
|
| 2. |
Advanced Synthesis of DSP Algorithms in Modern
Programmable Architectures |
| |
Tadeusz Łuba, Mariusz Rawski,
Paweł Tomaszewicz |
| |
09:40-10:05 |
|
| 3. |
HEDEFS - Hardware Embedded Deductive Fault
Simulation |
| |
Vladimir Hahanov, Hassan
Kteaman, Wade Ghribi, Elena
Fomina |
| |
10:05-10:25 |
|
| 4. |
AMCAS: Advanced Methods for the Co-Design of
Complex Adaptive Systems |
| |
Alfredo Rosado-Muňoz, C. A.
DeJuan-Esteban, E. Soria-Olivas, M.
Bataller-Mompean, J. Guerrero-Martinez
|
| |
10:25-10:45 |
|
| 5. |
Logic Controllers Dependability Verification
Using a Plant Model |
| |
Jose M. Machado, Bruno Denis,
Jean-Jacques Lesage, Jean-Marc
Faure, Jaime C. L. Ferreira Da Silva
|
| |
10:45-11:00
| | |
| |
Coffee Break
11:00 -
11:15
|
| |
Session 2 (Testing and Verification) (Four Seasons
Room)
Chairman: Prof Vladimir Hahanov
11:15 - 13:00
|
| 1. |
From Self-Test to Self-Repair |
| |
Mark Zwolinski |
| |
11:15-11:40 |
|
| 2. |
Modeling Technique for Model Based Error
Localization and Error Removal Based on Extended
UML Activity Diagrams |
| |
Wolfgang Fengler, Alexander
Pacholik, Maria Mologina |
| |
11:40-12:05 |
|
| 3. |
Statistical Detection of the Faulty Behaviour
of Islip-Based Schedulers for VOQ Switches |
| |
Miguel Pereira, Enrique Soto,
Juan Jose Rodriguez Andina |
| |
12:05-12:25 |
|
| 4. |
Fault Tolerance Extensions of TrueTime Package
for Discrete Systems Simulation |
| |
Dawid Trawczynski, Janusz
Sosnowski, Janusz Zalewski |
| |
12:25-12:45 |
|
| 5. |
Hierarchical Self Test for SoCs including
Logic and Interconnects |
| |
R. Kothe, Christian Galke, S.
Schultke, H. Fröschke, Heinrich T.
Vierhaus |
| |
12:45-13:00
| | |
| |
Lunch
13:30 - 15:00
|
| |
Castel Visiting
15:30
- 16:30
|
| |
Session 3 (Special Aspects of Discrete Control)
(Four Seasons Room)
Chairman: Prof Janusz Zalewski
16:45 - 18:15
|
| 1. |
State Restoration at Runtime after Transient
Hardware-Faults in Redundant Real-Time Systems
|
| |
Martin Skambraks, Wolfgang A.
Halang |
| |
16:45-17:05 |
|
| 2. |
Compact PLC with Event-Driven Program Tasks
Execution |
| |
Mirosław Chmiel, Edward
Hrynkiewicz, Adam Milik |
| |
17:05-17:25 |
|
| 3. |
Internal Event Removal in Hierarchical and
Concurrent State Diagrams |
| |
Aniko Costa, Luis Gomes,
Helder Fransisco, Bruno Silva |
| |
17:25-17:45 |
|
| 4. |
A Constructive and Modular Approach to
Decentralized Supervisory Control Problems |
| |
Jan Komenda, Herve Marchand,
Sophie Pinchinat |
| |
17:45-18:00 |
|
| 5. |
Supervisory Control of Grid Connected Wind
Power Systems to Guarantee Safe Operation |
| |
Antoneta Iuliana Bratcu, Daniela
Cristina Cernega, Iulian Monteanu
|
| |
18:00-18:15
| | |
| |
Welcome reception
19:00 -
|
| |
| 27th September 2006, Wednesday |
Session 4 (PLC and RLC) (Four Seasons Room)
Chairman: Dr Alfredo Rosado-Muňoz
09:00 - 10:15
|
| 1. |
Is There a PLC Alternative for Industry?
|
| |
Ian Clark, Sias Mostert |
| |
09:00-09:15 |
|
| 2. |
Automatic PLC Code Generation Using Matlab
|
| |
Ibrahim Tolga Hasdemir, Salman
Kurtulan |
| |
09:15-09:30 |
|
| 3. |
Analysis of safeness, liveness and persistence
properties of Petri nets by means of monotone
logic function |
| |
Piotr Miczulski, Marian Adamski
|
| |
09:30-09:45 |
|
| 4. |
Optimization of LUT-Elements Amount in Control
Unit of System-On-Chip |
| |
Alexander A. Barkalov, Marek
Węgrzyn, Remigiusz Wi¶niewski |
| |
09:45-10:00 |
|
| 5. |
Reconfigurable logic controller for embedded
applications |
| |
Marian Adamski |
| |
10:00-10:15
| | |
| |
Session 5 (Digital Design) (Hunting Room)
Chairman: Prof Mark Zwolinski
09:00 - 10:15
|
| 1. |
Modelling Hardware and Software for Fast
Serial Interprocessor Communication |
| |
Bernd Däne, Wolfgang Fengler
|
| |
09:00-09:15 |
|
| 2. |
From Statecharts to FSM-Description -
Transformation by Means of Symbolic Methods |
| |
Grzegorz Łabiak |
| |
09:15-09:30 |
|
| 3. |
Configurable 8-Bit Microcontroller IP Core as
a Basis for Effective System on Chip
Implementation |
| |
Maciej Pyka, Wojciech Sakowski
|
| |
09:30-09:45 |
|
| 4. |
Arbitration Circuit with Cyclically Shifted
Priorities for Multiprocessor System |
| |
Krzysztof Taborek, Edward
Hrynkiewicz |
| |
09:45-10:00 |
|
| 5. |
Synthesis of Parallel Controllers Through a
Logic Matrix Model |
| |
Camilo Quintans, Celso F. Silva,
Enrique Mandado |
| |
10:00-10:15
| | |
| |
Poster Session
10:15 - 11:00
|
| 1. |
Some Aspects of Logical Control Systems Design
Using PRALU |
| |
Dmitry I. Cheremisinov, Liudmila
Cheremisinova |
| |
|
|
| 2. |
Gentzen System Calculus Implementation for
Symbolic Minimalization of Complicated Logical
Expressions |
| |
Jacek Tkacz |
| |
|
|
| 3. |
Petri net Decomposition Approach for Partial
Reconfiguration of Logic Controllers |
| |
Marek Węgrzyn |
| |
|
|
| 4. |
The Influence of the Logical Minimization on
the Complexity of Circuits Realized as a Part of
Gate Arrays and Custom VLSI |
| |
Pyotr Bibilo, Pavel Liavonchyk
|
| |
|
|
| 5. |
Generalized Compact Table in Decomposition of
a Boolean Function |
| |
Yuri Pottosin, Eugeny Shestakov
|
| |
|
|
| 6. |
Implementation of Analitic Functions of Real
Argument in VLSI |
| |
Denis Kochanov |
| |
|
|
| 7. |
Stubborn Set Method for Interpreted Petri Nets
|
| |
Andrei Karatkevich |
| |
|
|
| 8. |
Design of Compositional Microprogram Control
Units with Elementary Operational Linear Chains
|
| |
Remigiusz Wi¶niewski |
| |
|
|
| 9. |
Optimization of Control Unit with Code Sharing
|
| |
Alexander A. Barkalov, Larysa
Titarenko, Małgorzata Kołopieńczyk
|
| |
|
|
| 10. |
Application of Databases for Management of
Distributed Control Systems |
| |
Agnieszka Węgrzyn |
| |
|
|
| 11. |
Semantic integrity of flat and hierarchical
Petri nets |
| |
Grzegorz Andrzejewski |
| |
| | |
| |
Session 6 (Petri Nets and UML) (Four Seasons Room)
Chairman: Prof Luis Gomes
11:00 - 12:00
|
| 1. |
RTCP-net approach to the verification of
embedded systems implemented in Ada |
| |
Marcin Szpyrka, Piotr Matyasik,
Jacek Piwowarczyk |
| |
11:00-11:15 |
|
| 2. |
UML in Design of ASIP |
| |
Karel Masařík, Tomás Hruska
|
| |
11:15-11:30 |
|
| 3. |
UML Manufacturing System Model Analysis Using
Petri Nets |
| |
Tomasz Kowalski |
| |
11:30-11:45 |
|
| 4. |
Off-Line Identification for a Class of
Discrete Event Systems Using Safe Petri Nets
|
| |
Rebiha Bekrar, Nadhir Messai,
Najib Essounbouli, Abdelaziz
Hamzaoui, Bernard Riera |
| |
11:45-12:00
| | |
| |
Session 7 (Hardware Implementation) (Hunting Room)
Chairman: Prof Edward Hrynkiewicz
11:00 - 12:00
|
| 1. |
Optimization of Circuit of Mealy FSM on FPGA
Based on Encoding of Fields of Compatible MO and
VFC |
| |
Alexander A. Barkalov, Larysa
Titarenko, Arkadiusz Bukowiec |
| |
11:00-11:15 |
|
| 2. |
Design of the Spiking Neuron Having Learning
Capabilities Based on FPGA Circuits |
| |
Marek Kraft, Andrzej Kasiński,
Filip Ponulak |
| |
11:15-11:30 |
|
| 3. |
Error Correction Procedures for a Hardware
Implementation of the Advanced Encryption Standard
|
| |
Janusz Biernat, Mariusz Czapski,
Maciej Nikodem |
| |
11:30-11:45 |
|
| 4. |
Implementation of Heterogonous Embedded
Microsystems |
| |
Zbigniew Skowroński, Andrzej
Stasiak |
| |
11:45-12:00
| | |
| |
Excursion (Racot - The Palace and
the Horse Stud (http://www.racot.pl/))
12:30 - 18:30
|
| |
Concert (Programme)
19:30 - 20:30
|
| |
Banquet
20:30 -
|
| |
| 28th September 2006, Thursday |
Session 8 (Real-Time Systems) (Four Seasons Room)
Chairman: Prof Wolfgang Fengler
09:00 - 10:00
|
| 1. |
Real-time Climate Control in a Complex
Greenhouse |
| |
Alessandro Candido, Franco
Cicirelli, Angelo Furfaro, Libero
Nigro |
| |
09:00-09:15 |
|
| 2. |
Time Analysis of Protocol Converters for
Wireless Transmission in Modbus Networks |
| |
Bartłomiej Zieliński |
| |
09:15-09:30 |
|
| 3. |
Probabilistic Hybrid Automata with Variable
Step Width Applied to the Anaylsis of Networked
Automation Systems |
| |
Jürgen Greifeneder, Georg Frey
|
| |
09:30-09:45 |
|
| 4. |
Design of Experimental Platform for Testing
Real-Time Database Transaction Processing |
| |
Vaclav Krol, Jan Pokorny |
| |
09:45-10:00
| | |
| |
Session 9 (System Design) (Hunting Room)
Chairman: Prof Juan Jose Rodriguez Andina
09:00 -
10:00
|
| 1. |
MiADL: Architecture Description Language for
Design Space Exploration |
| |
Jose Metrolho, Carlos A. Silva,
Carlos Couto, Adriano Tavares |
| |
09:00-09:15 |
|
| 2. |
A Methodology to Design and Check a Plant
Model |
| |
Benoît Rohee, Bernard Riera,
V. Carré-Ménétrier, J-M. Roussel
|
| |
09:15-09:30 |
|
| 3. |
PDPT Framework - building information system
with speedup connectivity of mobile device |
| |
Ondrej Krejcar |
| |
09:30-09:45 |
|
| 4. |
Prototyping of Concurrent Cyclic Processes
|
| |
Paweł Majdzik, Andrzej
Obuchowicz |
| |
09:45-10:00
| | |
| |
Coffee Break
10:00 -
10:15
|
| |
Industry Session (Four Seasons Room)
10:15 -
11:15
|
| 1. |
Sun Microsystems' Products in Discrete-Event
Systems Design |
| |
Maciej Plona |
| |
10:15-10:45 |
|
| 2. |
Mentor Graphics' Solutions for Todays Design
and Verification Challenges |
| |
Mieczysław Kręciejewski |
| |
10:45-11:15
| | |
| |
Coffee Break
11:15 -
11:30
|
| |
Tutorial 1 - Discrete Event Dynamic Systems - An
(Max,+) Algebraic Approach (Four Seasons Room)
Presenter(s): Prof Andrzej Obuchowicz
11:30 - 12:15
|
|
|
| |
Tutorial 2 - On Partial Reconfiguration of FPGA
Devices (Four Seasons Room)
Presenter(s): Remigiusz
Wi¶niewski, Arkadiusz Bukowiec
12:15 - 13:00
|
|
|
| |
Closing Conference (Four Seasons Room)
Chairman: Prof Marian Adamski
13:00 - 13:15
|
|
|
| |
Lunch
13:30 - 14:30
|
| |
|
