Reliability methods for early development phases of programmable mechatronical systems based on qualitative models
基于定性模型的可编程机电系统早期开发阶段的可靠性方法
基本信息
- 批准号:5354087
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别: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.
这个工厂的工作计划是在三个不同的地方进行的。Der erste Abschnitt untersucht die Möglichkeit der Simulation des geplanten programmierbaren mechatronischen Systems während der Planungschase. Ausgangspunkt ist der Einsatz von qualitativen Modellierungstechniken zur ganzheitlichen Betrachtung des PMS。Ganzheitliche Betrachtung bedutet die integrierte Beschreibung des Verhaltens des technischen Prozesses,der Automatisierungssoftware and 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 fehleraparten Betrieb. DSPINAL SIMULATION DES GEPLANTEN PMS Können VERDENE Zuverlässigkeitsmaßnahmen errobt,optimiert und bewertet韦尔登. 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韦尔登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韦尔登kann.一个软件程序(Entwurfsassistant)vergleicht die system spezifischen Anforderungen,mit Anforderungen die in einer Datenbank abgelegt wurden and schlägt dem Softwareentwickler geeignete Architekturmuster vor muster,um zur richtigen fachtechnischen Lösung zu verhelfen. DANG Vergleich mit genetischen zuverlässigkeitsunterstützenden Architekturmustern soll anhand der systemspezifischen Anforderungen des konkreten PMS die passengerArchitektur ausgewählt韦尔登。I dritten Abschnitt erfolgt die Bewertung der Zuverlässigkeit des gesamten PMS.以上将在一个特定的质量模型中对自动化软件进行测试。该模型是自动化软件的一种改进。Die Verbindung dieses Models 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)
会议论文数量(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. Peter Göhner其他文献
Professor Dr.-Ing. Peter Göhner的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Peter Göhner', 18)}}的其他基金
Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme
基于模型的测试数据生成,可有效测试集成硬件/软件系统
- 批准号:
179085201 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
INAMOSYS - Integrated Accessibility Models of User Interfaces for Web and Automation Systems
INAMOSYS - Web 和自动化系统用户界面的集成可访问性模型
- 批准号:
130006494 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Flexible dezentrale Automatisierungs- und Regelungssysteme auf Basis qualitativer Modelle und Ressourcen-schonender Agenten (AUREG - IAS)
基于定性模型和资源节约代理的灵活分散自动化和控制系统(AUREG - IAS)
- 批准号:
54063720 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
开发应用面向代理的软件开发以实现灵活可靠的嵌入式实时系统的概念和方法
- 批准号:
16564189 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung
过程自动化中分布式实时系统软件规范方法的开发和调整
- 批准号:
5390844 - 财政年份:2002
- 资助金额:
-- - 项目类别:
Priority Programmes
The use component models for monitoring and diagnosis of continuous and discrete systems
使用组件模型来监视和诊断连续和离散系统
- 批准号:
5301426 - 财政年份:2001
- 资助金额:
-- - 项目类别:
Priority Programmes
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号:
5135386 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Priority Programmes
Komponentenbasierte Entwicklung eingebetteter Systeme
基于组件的嵌入式系统开发
- 批准号:
5371315 - 财政年份:1997
- 资助金额:
-- - 项目类别:
Priority Programmes
相似国自然基金
复杂图像处理中的自由非连续问题及其水平集方法研究
- 批准号:60872130
- 批准年份:2008
- 资助金额:28.0 万元
- 项目类别:面上项目
Computational Methods for Analyzing Toponome Data
- 批准号:60601030
- 批准年份:2006
- 资助金额:17.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Parent-adolescent informant discrepancies: Predicting suicide risk and treatment outcomes
父母与青少年信息差异:预测自杀风险和治疗结果
- 批准号:
10751263 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Identification of Prospective Predictors of Alcohol Initiation During Early Adolescence
青春期早期饮酒的前瞻性预测因素的鉴定
- 批准号:
10823917 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Fluency from Flesh to Filament: Collation, Representation, and Analysis of Multi-Scale Neuroimaging data to Characterize and Diagnose Alzheimer's Disease
从肉体到细丝的流畅性:多尺度神经影像数据的整理、表示和分析,以表征和诊断阿尔茨海默病
- 批准号:
10462257 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Genetics of Extreme Phenotypes of OSA and Associated Upper Airway Anatomy
OSA 极端表型的遗传学及相关上呼吸道解剖学
- 批准号:
10555809 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Maternal immune activation remodeling of offspring glycosaminoglycan sulfation patterns during neurodevelopment
神经发育过程中后代糖胺聚糖硫酸化模式的母体免疫激活重塑
- 批准号:
10508305 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Sedentary behavior, physical activity, and 24-hour behavior in pregnancy and offspring health: the Pregnancy 24/7 Offspring Study
久坐行为、体力活动和 24 小时行为对怀孕和后代健康的影响:怀孕 24/7 后代研究
- 批准号:
10654333 - 财政年份:2023
- 资助金额:
-- - 项目类别:
How reasoning contributes to preschoolers’ prosocial development
推理如何促进学龄前儿童亲社会发展
- 批准号:
10645706 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Testing Approaches to Promote Breast Cancer Screening in Rural Ghana
促进加纳农村地区乳腺癌筛查的测试方法
- 批准号:
10645446 - 财政年份:2023
- 资助金额:
-- - 项目类别:
A place-based approach to geographic disparities in lung transplant
基于地点的肺移植地理差异方法
- 批准号:
10655779 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Early pathogenesis and diagnosis of Parkinsons Disease in peripheral tissues
帕金森病周围组织的早期发病机制和诊断
- 批准号:
10486334 - 财政年份:2023
- 资助金额:
-- - 项目类别: