Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: K. Lüttich, B. Krieg-Brückner, T. Mossakowski
Editor: E. Schnieder, G. Tarnai
Title: Tramway Networks as Route Graphs
Book / Collection title: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems
Page(s): 109 – 119
Year published: 2004
Abstract: The purpose of this paper is threefold: (1) to show a methodology for introducing formality step-by-step, starting from a "light-weight'' ontology, (2) to apply it to the generic Route Graph model, instantiated here to Tramway Networks, and (3) to demonstrate that separation of concerns into layers of abstraction and application of generic formal notions such as graph abstraction lead to a useful decomposition of safety properties.
ISBN: 3-9803363-8-7
PDF Version: http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/tramway-rg.pdf
Keywords: Tramway Route Graph Safety Ontology CASL
Status: Reviewed
Last updated: 08. 10. 2006

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: February 23, 2006   impressum