|
Background and Objectives
|
|
The aim of this workshop is to bring together researchers
from academia and industry who are interested in
developing techniques for the quality assessment of Open
Source Software (OSS), leading to the definition of a
complete certification process.
The workshop will focus on formal methods and model-based
techniques, emphasising on those aspects which are
specific to OSS, such as unconventional development,
rapid evolution of the code, and huge amount of legacy
code.
Contributions to the workshop are expected to present
foundations, methods, tools and case studies that integrate
techniques from different areas such as certification,
security, reverse engineering, and formal modeling and
verification, in order to overcome the challenges in the
quality assessment of OSS.
|
|
|
Programme
|
|
09:00-09:10
|
Opening
|
|
|
09:10-09:45
|
Aspects of OSS Certification
|
|
|
B. Aichernig,
TU Graz, Austria
|
|
|
09:45-10:30
|
Towards a Quality Model
for Open Source Software
|
|
|
S.A. Shaikh and A. Cerone,
UNU-IIST, Macau SAR China
|
|
|
Presentation Slides (PDF)
|
|
|
10:30-11:00
|
Coffee Break
|
|
|
11:00-11:45
|
A System to Understand Programs
Written in C Language by Code Annotation
|
|
|
M. Beron and B. Henriques,
Univ. of Minho, Portugal
|
|
|
M. Varanda,
Polytechnic Inst. Braganca, Portugal
|
|
|
R. Uzal,
Univ. of San Luis, Argentina
|
|
|
Presentation Slides (PowerPoint)
|
|
|
11:45-12:30
|
Slicing Techniques and Program
Calculi in OSS Certification
|
|
|
N. Rodriguez, L. Barbosa,
J.N. Oliveira, Univ. Minho, Portugal
|
|
|
Presentation Slides (PDF)
|
|
|
12:30-14:00
|
Lunch
|
|
|
14:00-14:45
|
Linux Certification
|
|
|
A.K. Petrenko,
ISPRAS, Russia
|
|
|
14:45-15:30
|
OSS Operating Systems for Critical
Avionics Infrastructure:
|
|
|
A survey on quality and
security certification
|
|
|
D. von Oheimb,
Siemens, Germany
|
|
|
Presentation Slides (PDF)
|
|
|
15:30-16:00
|
Coffee Break
|
|
|
16:00-16:45
|
Position Talk
on the OSS Certification Process
|
|
|
P.T. Breuer, S. Pickin,
Univ. Carlos III Madrid, Spain
|
|
|
CANCELLED
|
|
|
16:45-17:30
|
Towards a normative quality standard:
A Perspective on Open Source Software Certification
|
|
|
J. Visser
Software Improvement Group (SIG), The Netherlands
|
|
|
Presentation Slides (PDF)
|
|
|
17:30-18:30
|
Short Position Statements and
Discussion
|
|
|
|
Call for Papers
|
|
The Call for Paper is available in
PDF
and
Text
formats.
|
|
|
Program Co-chairs
|
- Bernhard Aichernig, Technical University of Graz, Austria
- Luis Barbosa, University of Minho, Portugal
|
|
|
Steering Committee
|
- Bernhard Aichernig, Technical University of Graz, Austria
- José Nuno Oliveira, University of Minho, Portugal
- Antonio Cerone, UNU-IIST, Macau SAR China
- Martin Michlmayr, University of Cambridge, UK
- David von Oheimb, Siemens AG, Germany
|
|
|
Program Committee
|
- Bernhard Aichernig, Technical University of Graz, Austria
(Co-chair)
- Luis Barbosa, University of Minho, Portugal
(Co-chair)
- Roberto Barbuti, University of Pisa, Italy
- Peter T. Breuer, University Carlos III, Spain
- Antonio Cerone, UNU-IIST, Macau SAR China
- Marsha Chechik, University of Toronto, Canada
- Karim Djouani, University of Paris 12, France
- Stefania Gnesi, ISTI-CRN, Italy
- Paddy Krishnan, Bond University, Australia
- Volkmar Lotz, SAP, France
- Tom Maibaum, McMaster University, Canada
- Leon Moonen, CWI, The Netherlands
- Alexander Petrenko, ISP RAS, Russia
- Arie van Deursen, TU Delft, The Netherlands
- David von Oheimb, Siemens AG, Germany
|
|
|
Contact
|
|
Luis Barbosa
|
|
Email: opencert07 AT di.uminho.pt
|
|