NONSTOPP Seminar

Monday, 26 September 2005, 9:00-17:00

Subject: Risk analysis and critical systems development.

Note that the seminar will be in English (at not partly in norwegian as earlier announced)

Preliminary program:

09:00 - 10:00 Registration and coffee

10:00 - 10:15 NONSTOPP introduction by Rune Winther

10:15 - 11:15 Keynote talk by Robin Bloomfield, Adelard, UK.

11:15 - 12:30 Session 1: Risk Management

Different risk concepts by Ida Hogganvik, Sintef

Challenges related to safety in large deliverables by Linda Lavik/Andre Hauge, Park Air Systems/IFE

12:30 - 13:00 Lunch

13:00 - 15:00 Session 2: Critical systems development

Use of artificial intelligence in critical systems - a practical possibility? by Rune Winther, HIOF

BBN-based decision support for choice of safety design by Siv Houmb, NTNU

15:00 - 15:30 Coffee break

15:30 - 17:00 Session 3: Student projects

From C / C++ to Ada and Spark by Edvard Oroug (Ronny Kristiansen), HIOF

Promon - Intrusion detection by program monitoring v/ Tom Lysemose, Sintef

Model driven availability risk analysis (MODA) v/ Mihail Korabelnikov, Sintef

EWICS TC7 Fall Meeting

Monday, 26 September 2005, 9:00-17:00
Tuesday, 27 September 2005, 9:00-17:00
More information: EWICS

Provisional timetable for the TC 7 meeting:

Mon, 26 Sep 05

09:00 - 10:00 Plenary

10:00 - 12:30 Subgroup Meetings (Curr, MDS, RA)

12:30 - 13:30 Lunch

13:30 - 17:00 Subgroup Meetings (Sec)

17:00 - 18:00 Steering Committee

Tue, 27 Sep 05

09:00 - 12:30 Subgroup Meetings (e.g. MeD)

12:30 - 13:30 Lunch

13:30 - 15:00 Subgroup Meetings

15:00 - 17:00 Plenary

17:00 - 18:00 EWICS Association

CORAS User Group Meeting

Monday, 26 September 2005, 17:00-
More information: CORAS

Agenda: CORAS User Group Meeting and Release Party!

17:15-17:45 The CORAS history - those were the days

17:45-18:00 Countdown to release of CORAS Tool 2.0

18:00 Release of CORAS Tool 2.0!

18:05-18:15 The future of CORAS - the future in hand

The Meeting is open for everyone participating in the Safecomp 2005 week, or just interested in the CORAS. No participation fee.

CSDUML 2005 Workshop

Tuesday, 27 September 2005, 9:00-17:00
More information: CSDUML 2005

Subject: CSDUML 2005 is the 4th workshop reporting on and discussing on the use of modeling languages in the development of critical systems. The workshop aims to gather researchers and practitioners to contribute to overcome challenges involved in using modeling languages for high quality development of critical systems (for example real-time, dependable, safety-critical or security-critical). The workshop is arranged in cooperation with the pUML (precise UML) group.

Agenda:Detailed agenda and program TBA.

09:00 - 09:15 Welcome and practical information

09.15 - 10:15 Keynote by Professor Mats Heimdahl, University of Minnesota, USA

10:15 - 10:30 Break and poster session

10:30 - 11:30Session 1: Formal methods

1. "Modular Model Checking of UML Statecharts" by Shaoyu Hu and Fredrich von Henke. University of Ulm,Germany.

2. "Formal Verification of a Sensor Voting and Monitoring UML Model" by Christian Mrugulla, Dipl.-Inform, Germany; Oliver Robbe, University of Carl Von Ossietzky, Germany; Ingo Schinz, OFFIS, Germany; Tobe Toben, University of Carl Von Ossietzky, Germany and Bernd Westphal, University of Carl Von Ossietzky, Germany.

11:30 - 12:30Session 2: Modelling, testing and simulation

1. "A Systematic Approach to Testing UML Design Models" by Tring Dinh-Trong, Sudipto Ghosh, Robert France, Colorado State University, USA and Anneliese A. Andrews, Washington State University, USA.

2. "Modelling and Simulation of an Automotive System using LSCs" by Christoph Kneike, Michaela Huhn and Ursula Goltz. Technical University of Braunschweig, Germany.

12:30 - 13:30 Lunch

13:30 - 14:30 Invited paper reporting on industrial experience: Kai Hansen, ABB, Norway

14:30 - 15:30 Session 3: Models for risk analysis, security and Common Criteria

1. "Student experiement using Preliminary Hazard Analysis" by Per Trygve Myhrer and Tor Stålhane. The Norwegian University of Science and Technoology, Norway.

2. "Patterning Protection Profiles by UML for Security Specification and their Verification" by Shoichi Morimoto and Jingde Cheng. Saitama University, Japan.

15:00 - 15:30 Coffee break and poster session

15:30 - 16.00 Invited paper reporting from industrial experience: Erik Wisløff, Telenor R&D, Norway

16:00 - 16:50 Panel debate on the subject “How to met the needs from the industry when it comes to using modelling languages for critical systems development”

16:50 - 17.00 Closing remarks and information on next years workshop

Scandinavian Reliability Engineers Meeting

Wednesday, 28 September 2005, 19:00-
More information: SRE

Agenda: Annual meeting. Detailed agenda TBA.