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
中文摘要
《自然科学》杂志的节目是在《自然科学》杂志上发表的。Der erste Abschnitt untersucht die Möglichkeit Der Simulation des geplanten programmierdermechatischen Systems während Der planungstage。经前症候群的定性建模技术研究。(1)自动化软件与自动化技术集成与自动化技术集成与自动化技术集成。Die Beschreibung des Verhaltens erfolgt sowohl fr den bestimmungsgemäßen (gew<e:1> nschten) Betrieb des PMS als auch fr den fehlerhaften Betrieb。Durch Simulation des geplanten PMS können verschiedene Zuverlässigkeitsmaßnahmen erprobt, optimert and beweret werden。Das Ziel dieser frhzetigen Simulation ist die formululierung von konkreten Anforderungen and die Automatisierungssoftware in Hinblick aueine Zuverlässigkeit des gesamten Systems。在德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国Ein Softwareprogramm (Entwurfsassistent) vergleicht die systemspezifischen Anforderungen, mit Anforderungen die in iner Datenbank abgelegt wurden and schlägt dem Softwareentwickler geeignete Architekturmuster vor, um zur richtigen techniischen Lösung zu verhelfen。Durch Vergleich mit genetischen zuverlässigkeitsunterstützenden architekturmusstern soln and hand der systemspezifischen Anforderungen des konkreten PMS die passende Architektur ausgewählt werden。我写了一个Abschnitt - efolt die Bewertung der Zuverlässigkeit des gesamten PMS。本文介绍了一种基于质量模型的自动化管理软件系统。该模型描述了自动驾驶软件的自动驾驶功能。Die Bewertung der Zuverlässigkeit des entworfenen PMS. Die verindung dieses models mit den qualitative . Modellen f<e:1> . r technischen Prozess和den menschlichen Bedieneingriffen bildet Die Basis . <e:1>
英文摘要
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
-
依托单位: