Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien

使用 Petri 网技术对铁路交通安全相关控制进行工具支持的建模、分析和综合

基本信息

项目摘要

Gegenstand des Vorhabens ist die Entwicklung einer integrierten Vorgehensweise zur Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungssysteme im Anwendungsbereich der Eisenbahnleittechnik. Einen besonderen Stellenwert hat dabei die Berücksichtigung der Anforderungen der CENELEC-Normen an den Entwicklungsprozess, die eine qualitative sowie quantitative Verifikation der Eigenschaften des Steuerungssystems verlangen. Das Vorhaben zielt ab auf die erstmalige Betrachtung des gesamten Designprozesses auf Basis der Reduktion des betrieblichen Risikos. Diese skizzierte Vorgehensweise soll einen bedeutenden Beitrag zur Anwendbarkeit und Akzeptanz einer neuen Sicherheitsphilosophie auch in anderen sicherheitsrelevanten Bereichen leisten. Für die integrierte Vorgehensweise sollen im Rahmen des Vorhabens ein geeignetes Beschreibungsmittel, eine Anwendungsmethodik sowie eine passende Werkzeugunterstützung untersucht und erprobt werden.
前舱的设计是一个集成前舱模型、分析和综合的前舱设计,它与列车技术中的操纵系统密切相关。一个最重要的恒星价值是通过CENELEC标准和开发过程的评估,对现有的操纵系统进行定性和定量的特征验证。这是在降低商业风险的基础上对一般设计过程的最后一次破坏。这种快速前进的方式也是一种新的安全哲学,而这种安全哲学又是与之相关的。对于集成的Vorgehensweise sollen im Rahmen des Vorhabens ein geeignetes Beschreibungsmittel,eine Anwendungsmethodik sowie eine passengers Werkzeugunterstützung untersucht und errobt韦尔登.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr.-Ing. Eckehard Schnieder其他文献

Professor Dr.-Ing. Eckehard Schnieder的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr.-Ing. Eckehard Schnieder', 18)}}的其他基金

Integrative Erstellung einer konsistenten Terminologie zur Verlässlichkeit (RAMS) in der Automatisierungstechnik
集成创建自动化技术中一致的可靠性术语 (RAMS)
  • 批准号:
    163563441
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Konstruktion und Optimierung robuster Trassen für den Eisenbahnbetrieb
铁路运营稳健路线的建设和优化
  • 批准号:
    5438455
  • 财政年份:
    2004
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Combined Net-object-oriented-specification-technique for software of safety-relevant systems
安全相关系统软件的组合网络面向对象规范技术
  • 批准号:
    5279066
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
KONDISK-ReKoSys: Ressourcenorientierte Beschreibung und Werkzeug-Kooperationskonzepte für hybride Systeme
KONDISK-ReKoSys:混合系统的面向资源的描述和工具协作概念
  • 批准号:
    5165030
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Modellierung, Analyse und Simulation komplexer Systeme des spurgebundenen Verkehrs mit hybriden höheren Petrinetzen
使用混合更高 Petri 网对复杂的基于轨道的交通系统进行建模、分析和仿真
  • 批准号:
    5164994
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Analyse und Synthese kontinuierlich-diskreter technischer Systeme
连续-离散技术系统的分析与综合
  • 批准号:
    5226756
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
VEBASI: Hochpräzise Verhaltensmodellierung von Bahnsystemen für Sicherheits- betrachtungen unter Verwendung eines diskret-kontinuierlichen Beschreibungsmittels
VEBASI:使用离散连续描述工具对铁路系统进行高精度行为建模以考虑安全
  • 批准号:
    5267296
  • 财政年份:
    1996
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
KONDISK-MOVESYN: Modellbildung zur Verifikation und Synthese diskreter Automatisierungssysteme unter Berücksichtigung kontinuierlicher Teilsysteme
KONDISK-MOVESYN:考虑连续子系统的离散自动化系统的验证和综合建模
  • 批准号:
    5268726
  • 财政年份:
    1996
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes

相似海外基金

Robotergestützte Fluoreszenzspektroskopie
机器人辅助荧光光谱
  • 批准号:
    290278514
  • 财政年份:
    2016
  • 资助金额:
    --
  • 项目类别:
    Major Research Instrumentation
Bildgestützte Hochpräzisionsbestrahlungsanlage für Tumore in Kleintieren (Small Animal Radiation Research Platform SARRP)
基于图像的小动物肿瘤高精度放射系统(小动物放射研究平台SARRP)
  • 批准号:
    274625700
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Major Research Instrumentation
Plasma-unterstützte Gasphasendepositionsanlage (Plasma-Enhanced Chemical Vapor Deposition, PECVD)
等离子体辅助气相沉积系统(等离子体增强化学气相沉积,PECVD)
  • 批准号:
    273513748
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Major Research Instrumentation
Bildgestützte Hochpräzisionsbestrahlungsanlage für Tumore in Kleintieren
图像支持的小动物肿瘤高精度照射系统
  • 批准号:
    245712182
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Major Research Instrumentation
Simulationsgestützte Verminderung der Werkzeugbelastung beim Schneideneintrittstroß mit dem Ziel der Standzeitsteigerung
通过仿真支持减少切削刃入口流动期间的刀具负载,以延长使用寿命
  • 批准号:
    209241696
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Ganzheitliches Prozessmodell für die ultraschallunterstützte Gesteinszerspanung
超声辅助岩石切割的整体过程模型
  • 批准号:
    216431941
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Templatgestützte Makrocyclisierungen zu neuen Porphyrinoiden
模板辅助大环化生成新卟啉
  • 批准号:
    191206449
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Computergestützte Methoden der Formoptimierung und ihre Einbettung in den Entwicklungszyklus versteifter Bleche im Automobilbau
形状优化的计算机辅助方法及其在汽车制造中加强板开发周期中的嵌入
  • 批准号:
    193761655
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants (Transfer Project)
MRT-gestützte Entwicklung neuer Materialprüfungsmethoden von biokompatiblen Verbundstoffen aus Polymeren und magnetischen Nanopartikeln
MRI 支持开发由聚合物和磁性纳米粒子制成的生物相容性复合材料的新材料测试方法
  • 批准号:
    179875385
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Simulationsgestützte Einflussanalyse der Festphasenumwandlung auf die Schweißeigenspannungen bei Verwendung martensitischer Zusatzwerkstoffe
使用马氏体填充材料时固相变对残余焊接应力的模拟支持影响分析
  • 批准号:
    194959921
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了