Session 2: |
Modeling and Specification |
Chair:
|
Ricardo Reis |
11:00 - 11:30 |
Ensuring High quality in Automotive Specification Embedded Control Systems
Eva Rakotomalala, Jean-Pierre Elloy, Pierre Molinaro, Bernard Bavoux, Didier Jampi |
11:30 - 12:00 |
From Model to Requirements: Pattern-based Analysis in Distributed Development of Embedded Systems
Clive Thomsen, Judita Kruse, Rolf Ernst |
12:00 - 12:30 |
An Emdedded SW Design Exploration Approach based on UML Estimation Tools
Marcio F. da S. Oliveira, Lisane B. de Brisolara, Luigi Carro, Flávio R.Wagner |
12:30 - 13:00 |
An Application-oriented Approach for the Generation of SoC-based Embedded Systems
Fauze V. Polpeta, Antônio A. Fröhlich |
Session 3: |
Software Synthesis and Power Management |
Chair:
|
Achim Rettberg |
14:00 - 14:30 |
Software and Driver Synthesis from Transaction Level Models
Haobo Yu, Rainer Dömer, Daniel D. Gajski |
14:30 - 15:00 |
Embedded Hard Real-Time Software Synthesis considering Dispatcher Overheads
Raimundo Barreto, Eduardo Tavares, Paulo Maciel, Marília Neves, Meuse Oliveira Jr., Arthur Basso, Ricardo Lima |
15:00 - 15:30 |
Energy Management for the Telepresence System TSR
Roland Brockers, Matthias Botte, Bärbel Mertsching |
15:30 - 16:00 |
An Energy-Aware Exploration Approach based on Open Software Environment
Abel Guilhermino Silva-Filho, Remy Eskinazi, Paulo Sérgio Nascimento, Manoel E. Lima |
Session 5: |
Special Aspects in System Design |
Chair:
|
Gunar Schirner |
9:00 - 9:30 |
Enhancing Interaction Support in the CORBA Component Model
Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, François Terrier |
9:30 - 10:00 |
Object Orientation Problems when applied to the Embedded Systems Domain
Júlio C. B. Mattos, Emilena Specht, Bruno Neves, Luigi Carro |
10:00 - 10:30 |
TOC-BISR: A Self-Repair Scheme for Memories in Embedded Systems
Gustavo Neuberger, Fernanda Lima Kastensmidt, Ricardo Reis |
Session 6: |
Network and Communication Systems |
Chair:
|
Horst Grotstollen |
11:00 - 11:30 |
Integration of Embedded Software with Corporate Information Systems
Ricardo J. Machado, João M. Fernandes |
11:30 - 12:00 |
Automatic Generation of Communication Architectures
Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel D. Gajski |
12:00 - 12:30 |
Abstract Communication Modeling: A Case Study Using the CAN Automotive Bus
Gunar Schirner, Rainer Dömer |
12:30 - 13:00 |
Adaptable Switch Boxes as On-Chip Routing Nodes for Networks-on-Chip
Ralf Eickhoff, Jörg-Christian Niemann, Mario Porrmann, Ulrich Rückert |
Session 7: |
Distributed Control Systems |
Chair:
|
Franz Rammig |
14:00 - 14:30 |
Integration of Two Complementary Time-Triggered Technologies: TMO and TTP
Roman Obermaisser, Emmanuel Henrich, Kane H. Kim, Hermann Kopetz, Moon H. Kim |
14:30 - 15:00 |
Assessing the Use of RT-Java in Automotive Time-Triggered Applications
Marco A. Wehrmeister, Fernando H. Athaide, Fabiano C. Carvalho, Carlos E.Pereira |
15:00 - 15:30 |
Distributed Control Structure of the NBP Test Track with Linear Motor Driven Vehicles
Andreas Pottharst, Horst Grotstollen |
15:30 - 16:00 |
Towards a Real-Time Communication Network for Autonomous Rail Vehicles
André Luiz de Freitas Francisco, Bernd Schulz, Christian Henke |
Session 8: |
Invited Talks |
Chair:
|
Mauro C. Zanella and Achim Rettberg |
16:00 - 17:00 |
On the Demonstration of Dependability
Jean-Claude Laprie
Abstract: Dependability of a computing system is its ability to deliver service that can justifiably be trusted. The criterion for justified trust is the ability to avoid service failures that are more frequent and more severe than is acceptable. The talk will present briefly the basic concepts of dependability, and will then adress the demonstration of dependability, i.e., how to build justified trust before operational life begins. Objective and subjective demonstrations will be reviewed, with emphasis on the underlaying hypotheses.
|
17:00 - 18:00 |
Manaus Industrial Pole
Diogo Zandonai
Abstract: The Manaus Industrial Pole (MIP) is an island of industrial, technologic and scientific development area located in the middle of the Amazon rain forest. This talk presents MIP under several points of view, as: (1) The geopgraphical location and ecological surrounding environment. (2) Profile of the MIP. (3) The governmental incentives to industry and the organisms intended to regulate industrial activity at MIP. (4) The scientific and technologic environment that has been growing as consequence of the high concentration of industries considering the laws and the economic activates that have been pumping it. Particularly the environment created to research institutes, in Manaus as well as all through the Brazil, presented in more details. Under this sight the presentation shows: (1) Profile of Brazilian research institutes. (2) The Brazilian regulatory science agencies and the set of possibilities of founding. (3) Common management practices in research institutes at MIP/Brazil.
|