SESSION 39P: HARDWARE-SOFTWARE CODESIGN OF PARALLEL AND DISTRIBUTED SYSTEMS
CHAIR: Pao-Ann (Eric) Hsiung
Institute of Information Science, Academia Sinica,
Taipei, Taiwan, R.O.C.
JULY 1, 10:50 - 3:10pm
(Location: Meeting Room 1)
10:50 - 11:10am: Incremental Cospecification Using Objects and Joint Actions
Risto Pitkanen and Harri Klapuri
Tampere University of Technology, Finland
11:10 - 11:30am: Codesign Requires Closed-System Specifications
Tommi Mikkonen
Tampere University of Technology, Finland
11:30 - 11:50am: Functional Specification of Distributed Digital Image
Processing Systems by Process Interface Descriptions
Wolfgang Bossung, Sorin Alexander Huss, Stephan Klaus,
and Lars Wehmeyer
Darmstadt University of Technology, Germany
11:50 - 12:10pm: A Case Study in Hardware-Software Codesign of
Distributed Systems Vehicle Parking Management System
Trong-Yen Lee*, Pao-Ann Hsiung**, and Sao-Jie Chen*
*National Taiwan University, **Academia Sinica,
Taiwan, R.O.C.
12:10 - 12:30pm: Toward a Unified Model of Computation for Specification
and Design Methodology Frameworks for Parallel and
Distributed Real-Time Embedded Multiprocessor Signal
Processing Systems
Randall Janka
Georgia Institute of Technology, Atlanta, Georgia, USA
12:30 - 1:30pm: LUNCH (On Your Own)
1:30 - 1:50pm: Hardware-Software Coverification of Distributed
Embedded Systems
Jih-Ming Fu and Sao-Jie Chen
National Taiwan University, Taiwan, R.O.C.
1:50 - 2:10pm: Hardware-Software Partition with Microcontrollers and
CPLDs: A Case Study
Walter Soto Encinas Junior and Edson do Santos Moreira
Instituto de Computacao de Sao Carlos, USP, Brazil
2:10 - 2:30pm: Design Process and Tools for the HW/SW-Codesign and
Rapid-Prototyping of Parallel and Heterogenous Real-Time
Communication Systems
Frank Slomka, Mathias Dorfel, Simone Spitz, and
Richard Hofmann
University of Erlangen-Nuremberg, Germany
2:30 - 2:50pm: Combining Different Models of Computation for
Cosimulation of Hetergeneous Systems
Christian Kreiner, Christian Steger*, and Reinhold Weiss
Graz University of Technology, Graz, Austria
2:50 - 3:10pm: Galois lattice Approach to Hardware/Software Partitioning
Romain Kamdem* and Patrick Njiwoua**
*CNRS-IBSM-IFR1, France
**Universite d'Artois, France
One more paper has been placed in another session due to program scheduling.
SESSION 24P: TOOLS, LANGUAGES, AND PROGRAMMING ENVIRONMENTS
CHAIRS: TO BE ANNOUNCED LATER
June 30, 1:30 - 5:10pm
(Location: Meeting Room 2)
3:30 - 3:50pm: Multithreading-Based Coverification Technique of
HW/SW Systems
Mostafa Azizi*, El Mostapha Aboulhamid*, and
Sofiene Tahar**
*University of Montreal, Montreal, Canada
**Concordia University, Quebec, Canada