| Presentation |
 |
| Organizing Committee |
|
| Program Committee |
|
| Program |
|
| Tutorials |
|
| Workshops |
|
| Registration Fees |
|
| Registration |
|
| Hotel /Air ticket Reservations / City Tours |
|
| LADC Links |
|
| About São Paulo |
|
| University of São Paulo |
|
| Polytechnic School |
|
| | |
 |
| PRELIMINAR
PROGRAM 10:20 – 10:30: Opening Remarks 10:30 – 11:00 Requirements Title: Determining
Customer and User Requirements: Theory and Experience. 11:00 – 12:00: Development Title: Design
and Safety Assurance Processes for Railway Systems Title: Safety-Critical
System Development for Air Traffic Control 12:00 - 13:30 Lunch 13:30 – 14:30: Management Title: Safety
Management in Health Information Systems Title: A Model
for Management of Project’s Quality in Safety-Critical Systems
Development 14:30 – 15:00 Certification Title: Software
Certification in Airborne Systems: Process and Challenges 15:00-15:30 - Coffee break 15:30 – 16:00 Operation/Maintenance Title: Supervision
and Control Systems for Pipeline Operations. 16:00 – 16:30 - Safety-Critical Life Cycle. Title: Safety-Critical
Life Cycle for Computing Systems. 16:30 – 18:00 –
Open Debate: "Challenges of Safety-Critical Computing
Systems – How can Universities and Industries Mutually Cooperate?" POSTER
SESSION
Avaliação
de Perigo de Colisão entre Aeronaves nas Operações
de Aproximação em Pistas de Aterrissagem Paralelas Coloured Petri Nets -
Safety Analysis Using Mutation Testing Controlador Programável
Embutido Baseado em Componentes COTS para Sistemas de Controle Otimização
de Demanda em Infra-Estrutura Aeronáutica visando um maior
Nível de Segurança Sistema de Captura e Acesso
para Ambientes de Segurança Crítica |