Institute of Computer Languages
Compilers and Languages Group

Talks 2012 - Tor Stålhane

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Prof. Dr. Tor Stålhane

Norwegian University of Science and Technology, Trondheim, Norway

über

Safety Analysis and Boilerplates

Datum: Dienstag, 27. November 2012
Zeit: 17:00 c.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

Zusammenfassung:

One of the main problems with safety analysis is that it takes a lot of time and is tedious since there is a lot of details to cater to. Thus, computer support is important. The introduction of boilerplates and ontologies with component failure modes is an important step in the right direction. However, we still miss the ability of describing and identifying the effect on the system's environment. Our current research focuses on three issues:

  1. What is the effect of the assistance we already get from tools - DODT and GNLQ?
  2. How can we describe hazards in the system's environment?
  3. How can we reason about the cause - consequence chains of an equipment or control system failure from initiating event to the accident?
The presentation will summarize the current status and our thoughts about the road ahead.

Kurzbiographie von Prof. Dr. Tor Stålhane

Completed the degree of Master of Science in 1969 - Implementation of debugging aids in an Algol compiler. Worked at SINTEF with compiler construction and maintenance from 1969 to 1986. Finished a PhD in applied statistics 1986 - 1988. The topic was reliability estimation for software systems. Worked at SINTEF with reliability and safety assessment for systems offshore, road and aviation from 1988 to 2000. Professor of software engineering at NTNU from 2000 till now. The main responsibilities are process improvement, empirical software engineering and safety analysis and assessment. (http://www.idi.ntnu.no/people/stalhane)

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)