Programme of OpenCert at ETAPS 2007

(Foundations and Techniques for Open Source Software Certification)

Saturday, March 31, room: CP2-110

09:00 - 10:30 SESSION 1

Aspects of OSS Certification

B. Aichernig, TU Graz, Austria

Towards a Quality Model for OSS

S.A. Shaikh & A. Cerone, UNU-IIST, Macao

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

A System to Understand Programs Written in C Language by Code Annotation

M. Beron, B. Henriques, Univ. of Minho; M. Varanda, Polytechnic Inst. Braganca, Portugal; R. Uzal, Univ. of San Luis, Argentina

Slicing Techniques and Program Calculi in OSS Certification

N. Rodrigues, L. Barbosa, J.N. Oliveira Univ. Minho, Portugal

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3

Linux Certification

A.K. Petrenko, ISPRAS, Russia

OSS Operating Systems for Critical Avionics Infrastructure: A survey on quality and security certification

D. von Oheimb, Siemens, Germany

15:30 - 16:00 Coffee Break

16:00 - 18:30 SESSION 4

Position Talk on the OSS Certification Process

P.T. Breuer & S. Pickin, Univ. Carlos III Madrid, Spain

A Perspective on OSS Certification

J. Visser, SIG, The Netherlands

Short Position Statements and Discussion

18:45 SOCIAL EVENT

Joint Workshops Post-Conference Dinner (tickets needed)

Dinner at Pousada Santa Maria de Bouro

Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

• Programme Overview, Social Programme
• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, Bytecode, COCV, FESCA, FinCo, GT-VMT, HAV, HFL, LDTA, MBT, MOMPES, QAPL, SC, SLA++P, TERMGRAPH, WITS,
• Tutorials: Stratego/XT, SoftwGen, Mobius