Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2524
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Bitsch, Friedemann | de |
dc.date.accessioned | 2003-12-05 | de |
dc.date.accessioned | 2016-03-31T07:58:25Z | - |
dc.date.available | 2003-12-05 | de |
dc.date.available | 2016-03-31T07:58:25Z | - |
dc.date.issued | 2002 | de |
dc.identifier.other | 109103440 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-15718 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/2541 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-2524 | - |
dc.description.abstract | In this paper a process model for the development of system requirements specifications for railway systems is introduced. Demands of the approval of system requirements specifications, which arise from recent European railway standards, are taken into account. The aim is to obtain a system specification, which is unambiguous and easy to understand for all parties involved and in which safety aspects are considered in detail. Correlations between the development of a precise system specification, the performance of safety relevant correctness checks and the performance of risk analysis are presented. Especially the identification, specification and formalisation of safety requirements are treated with regard to correctness checks referred to safety aspects by using model checking. It is also demonstrated how different techniques of risk analysis can be supported by a system model in diagrams of the Unified Modelling Language (UML). This work has been developed in close co-operation with the Institute of Railway Systems Engineering and Traffic Safety (IfEV), Technical University of Braunschweig, Germany within the scope of the project SafeRail (see http://www.ias.uni-stuttgart.de/projekte/saferail/). | en |
dc.language.iso | en | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Eisenbahnsignalanlage , Risikoanalyse | de |
dc.subject.ddc | 620 | de |
dc.subject.other | Systemdefinition , UML , Sicherheitsnachweis , formale Spezifiaktion von Sicherheitsanforderungen | de |
dc.subject.other | system requirements specification , UML , risk analysis , formal specification of safety requirements , evidence of safe functionality | en |
dc.title | Process model for the development of system requirements specifications for railway systems | en |
dc.type | conferenceObject | de |
dc.date.updated | 2015-12-08 | de |
ubs.fakultaet | Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Automatisierungs- und Softwaretechnik | de |
ubs.opusid | 1571 | de |
ubs.publikation.source | Schnieder, Eckehard (Hrsg.): International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23-24 April 2002. Düsseldorf : VDI-Verl., 2003 (Fortschrittberichte VDI, Reihe 12, Verkehrstechnik, Fahrzeugtechnik. 535). - ISBN 3-18-353512-2 | de |
ubs.publikation.typ | Konferenzbeitrag | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
WS-VKLT-2002-Bitsch.pdf | 111,47 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.