Reliability methods for early development phases of programmable mechatronical systems based on qualitative models
Reliability methods for early development phases of programmable mechatronical systems based on qualitative models
批准号:
5354087
负责人:
Professor Dr.-Ing. Peter Göhner
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Units
财政年份:
2002
资助国家:
德国
项目状态:
已结题
起止时间:
2001-12-31 至 2009-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Das geplante Arbeitsprogramm gliedert sich in drei aufeinanderfolgende Abschnitte. Der erste Abschnitt untersucht die Möglichkeit der Simulation des geplanten programmierbaren mechatronischen Systems während der Planungsphase. Ausgangspunkt ist der Einsatz von qualitativen Modellierungstechniken zur ganzheitlichen Betrachtung des PMS. Ganzheitliche Betrachtung bedeutet die integrierte Beschreibung des Verhaltens des technischen Prozesses, der Automatisierungssoftware und möglicher menschlicher Bedieneingriffe. Die Beschreibung des Verhaltens erfolgt sowohl für den bestimmungsgemäßen (gewünschten) Betrieb des PMS als auch für den fehlerhaften Betrieb. Durch Simulation des geplanten PMS können verschiedene Zuverlässigkeitsmaßnahmen erprobt, optimiert und bewertet werden. Das Ziel dieser frühzeitigen Simulation ist die Formulierung von konkreten Anforderungen an die Automatisierungssoftware im Hinblick auf eine hohe Zuverlässigkeit des gesamten Systems. Im zweiten Abschnitt werden Möglichkeiten diskutiert, wie der Softwareentwickler bei der Erstellung des Entwurfs der Automatisierungssoftware vor allem in Bezug auf zuverlässigkeitsfördernde Maßnahmen unterstützt werden kann. Ein Softwareprogramm (Entwurfsassistent) vergleicht die systemspezifischen Anforderungen, mit Anforderungen die in einer Datenbank abgelegt wurden und schlägt dem Softwareentwickler geeignete Architekturmuster vor, um zur richtigen fachtechnischen Lösung zu verhelfen. Durch Vergleich mit genetischen zuverlässigkeitsunterstützenden Architekturmustern soll anhand der systemspezifischen Anforderungen des konkreten PMS die passende Architektur ausgewählt werden. Im dritten Abschnitt erfolgt die Bewertung der Zuverlässigkeit des gesamten PMS. Hierzu wird der erstellte Entwurf der Automatisierungssoftware in ein entsprechendes qualitatives Modell überführt. Dieses Modell beschreibt das zu erwartende Verhalten der Automatisierungssoftware. Die Verbindung dieses Modells mit den qualitativen Modellen für den technischen Prozess und den menschlichen Bedieneingriffen bildet die Basis für Bewertung der Zuverlässigkeit des entworfenen PMS.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme
-
批准号:179085201
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
INAMOSYS - Integrated Accessibility Models of User Interfaces for Web and Automation Systems
-
批准号:130006494
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Flexible dezentrale Automatisierungs- und Regelungssysteme auf Basis qualitativer Modelle und Ressourcen-schonender Agenten (AUREG - IAS)
-
批准号:54063720
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
-
批准号:16564189
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung
-
批准号:5390844
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
The use component models for monitoring and diagnosis of continuous and discrete systems
-
批准号:5301426
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
-
批准号:5135386
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
Komponentenbasierte Entwicklung eingebetteter Systeme
-
批准号:5371315
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Professor Dr.-Ing. Peter Göhner
-
依托单位:
国内基金
海外基金
复杂图像处理中的自由非连续问题及其水平集方法研究
-
批准号:60872130
-
项目类别:面上项目
-
资助金额:28.0万元
-
批准年份:2008
-
负责人:刘国才
-
依托单位:
Computational Methods for Analyzing Toponome Data
-
批准号:60601030
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2006
-
负责人:Axel Mosig
-
依托单位: