|
|
|
Program:
| 8:45-9:00 |
Invited presentation
John Rushby, SRI
Can Certification be Made More Scientific? |
| 10:00-10:30 |
Coffee break |
| 10:30-12:30 |
Technical presentations
I. Habli, T. Kelly
Process and Product Certification Arguments -
Getting the Balance Right
G.S. Avrunin, L.A. Clarke, E.A. Henneman, L.J. Osterweil
Complex Medical Processes as Context for Embedded Systems
F. Gasperoni
Safety, Security, and Object-Oriented Programming
K. Hammond, R. Dyckhoff, C. Ferdinand, R. Heckmann,
M. Hofmann, H.-W. Loidl, G. Michaelson,
R. Pointon, N. Scaife, J. Serot, A. Wallace
Towards Formally Verifiable Resource Bounds
for Real-Time Embedded Systems
|
| 12:30-2:00 |
Lunch |
| 2:00-3:00 |
Invited presentation
Matt Wilding, Rockwell Collins
Using Formal Methods in a Security Certification
|
| 3:00-3:30 |
Technical presentations
R. Janvier, Y. Lakhnech, M. Perin
Certifying Cryptographic Protocols by Abstract Model-Checking
and Proof Concretization
|
| 3:30-4:00 |
Coffee break |
| 4:00-5:30 |
Technical presentations
K. Rohloff, J. Loyall, R. Schantz
Quality Measures for Embedded Systems and Their Application
to Control and Certification
J. Dehlinger, R.R. Lutz
Bi-Directional Safety Analysis for Product-Line, Multi-Agent
Systems
J.H. Kim, N.Y. Lee, and J.-Y. Choi
Formal Specification and Verification of PLC for Certification
|
| 5:30-6:30 |
Discussion |
|
|
