Entwicklung von Methoden und Werkzeugen zur sicherheitstechnischen Zertifizierung von SPS-Anwenderprogrammen
开发PLC用户程序安全相关认证的方法和工具
基本信息
- 批准号:5363483
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:1997
- 资助国家:德国
- 起止时间:1996-12-31 至 2001-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Sowohl Hard- als auch und Software von speicherprogrammierbaren Steuerungen unterliegen besonderen Anforderungen beim Einsatz in sicherheitskritischen Bereichen der Industrie, der Wirtschaft und des täglichen Lebens. Der vorliegende Projektantrag ist vor allem auf das Gebiet der rechnerbasierten Zertifizierung von Steuerungsprogrammen gerichtet. Ziel ist es, eine duchgängige methodische und werkzeugunterstützte Tchnologie anzubieten, die auf die speziellen Anforderungen und Gepflogenheiten von spreicherprogrammierbaren Steuerungen zugeschnitten ist und somit reale Chancen für eine hohe Nutzerakzeptanz hat....
Sowohl Hardals and Software von speicherprogrammierbaren Steuerungen unterliegen besonderen Anforderungen beim Einsatz in sicherheitskritischen Bereichen der Industrie, der Wirtschaft und des täglichen Life. Der vorliegende Projektantrag ist vor allem auf das Gebiet der rechnerbasierten Zertifizierung von Steuerungsprogrammen Gerichtet。 Ziel ist es、eine duchgängige methodische und werkzeugunterstützte Tchnologie anzubieten、die auf die speziellen Anforderungen und Gepflogenheiten von spreicherprogrammierbaren Steuerungen zugeschnitten ist und somit reale Chancen für eine hohe Nutzerakzeptanz hat....
项目成果
期刊论文数量(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. Horst Meier其他文献
Professor Dr.-Ing. Horst Meier的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Horst Meier', 18)}}的其他基金
Grundlagen zur Steuerung des Radial-Axial-Ringwalzens durch den Einsatz von Bildverarbeitungssystemen
使用图像处理系统控制径向-轴向环件轧制的基础知识
- 批准号:
63342382 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Erhöhung der Maßhaltigkeit von Blechbauteilen durch eine modellgestützte Bahnplanung für die roboterbasierte Blechumformung
通过基于模型的机器人钣金成形路径规划提高钣金部件的尺寸精度
- 批准号:
41304387 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Priority Programmes
Entwicklung eines roboterbasierten matrizenfreien inkrementellen Blechumformverfahrens
基于机器人的无模增量钣金成形工艺的开发
- 批准号:
5425092 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Research Grants
New strategies for the initial rolling phase of the radial axial ring rolling process
径向轴向环件轧制工艺初始轧制阶段的新策略
- 批准号:
5417899 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung eines Sensorsystems zur In-Prozess Ermittlung der Werkstückformänderung für wirkmedienbasierte Fertigungsverfahren
开发传感器系统,用于在基于主动介质的制造过程中过程中确定工件形状变化
- 批准号:
5320382 - 财政年份:2001
- 资助金额:
-- - 项目类别:
Priority Programmes
Contour-near production of seamless rolled rings with an outer profile by regulated shifting
通过调节移位来近轮廓生产具有外轮廓的无缝轧制环
- 批准号:
5231694 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Priority Programmes
Multivariante Ermittlung von messtechnisch nicht direkt erfassbaren Prozessinstabilitäten am Beispiel des Kletterns beim Radial-Axial-Ringwalzen
以径向-轴向环轧中的爬升为例,对无法直接测量的过程不稳定性进行多变量测定
- 批准号:
5226970 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Research Grants
Extension of the forming limits of the vull-bending process with few ductile high-tensile materials
少量延展性高强度材料的拉伸弯曲工艺的成形极限的扩展
- 批准号:
5161359 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Priority Programmes
Dezentrale Steuerung mit horizontaler Kommunikation in der Sensor-/Aktorebene für umformtechnische Anlagen
在成型系统的传感器/执行器级别通过水平通信进行分散控制
- 批准号:
5279618 - 财政年份:1997
- 资助金额:
-- - 项目类别:
Research Grants
Walzrundbiegerichten als Kalibrierung von kreiszylindrischen Blechen aus dem automatisierten Walzrundprozeß
滚压弯曲导轨作为自动滚压过程中圆柱板的校准
- 批准号:
5260566 - 财政年份:1993
- 资助金额:
-- - 项目类别:
Research Grants
相似国自然基金
半有限von Neumann代数中投影集上的Wigner定理
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
- 批准号:82302106
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
- 批准号:12271074
- 批准年份:2022
- 资助金额:45 万元
- 项目类别:面上项目
线性保持方法在量子信息研究中的应用
- 批准号:12001420
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
关于算子代数上非交换Weyl-von Neumann定理的研究
- 批准号:12001437
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
有限von Neumann代数的相对顺从性
- 批准号:12001085
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
模型空间上截断Toeplitz算子的可约性
- 批准号:12001089
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
关于超有限II_1因子中一类算子的不变子空间和单个元生成问题的研究
- 批准号:11961037
- 批准年份:2019
- 资助金额:29.0 万元
- 项目类别:地区科学基金项目
算子代数中齐性空间的微分几何结构
- 批准号:11901453
- 批准年份:2019
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
非交换Orlicz空间的性质及其闭子空间
- 批准号:11901038
- 批准年份:2019
- 资助金额:23.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Entwicklung von Methoden zur Herstellung und automatisierten Bearbeitung schädigungstoleranter, gehipter Zr02-Keramiken für Dentalanwendungen (T05#)
开发用于牙科应用的耐损伤、髋关节 Zr02 陶瓷的生产和自动化加工方法(T05
- 批准号:
239698378 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Collaborative Research Centres (Transfer Project)
Entwicklung von Methoden zur dynamischen Erkennung von Schadcode mit Techniken des maschinellen Lernens.
开发使用机器学习技术动态检测恶意代码的方法。
- 批准号:
198804171 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung und Evaluation von effizienten und genauen theoretischen Methoden zur Berechnung Raman Spektren von Kofaktoren in Proteinen
开发和评估计算蛋白质中辅因子拉曼光谱的高效准确的理论方法
- 批准号:
197254636 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von Methoden des Maschinellen Lernens zur funktionellen Charakterisierung von Peroxisomen
开发用于过氧化物酶体功能表征的机器学习方法
- 批准号:
189920290 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
开发电子表格语义增强的方法和工具
- 批准号:
193388432 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von parallelen Bildgebungs-Methoden für multi-dimensionale und multiparametrische MRT
多维多参数MRI并行成像方法的发展
- 批准号:
187969513 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung ICP-MS basierter Methoden zur Ultraspuren- und Speziesanalytik von Pd und Pt in biologischen Matrices
开发基于 ICP-MS 的生物基质中 Pd 和 Pt 的超痕量和物种分析方法
- 批准号:
189245043 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung und Implementation neuer Methoden zur Identifikation von Top Quarks; Anwendung auf Suchen nach neuer Physik
开发和实施识别顶夸克的新方法;
- 批准号:
179256683 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung und Vergleich von Methoden der multimodalen Bildgebung basierend auf EEG und (f)MRT sowie deren Anwendung in den kognitiven Neurowissenschaften
基于EEG和(f)MRI的多模态成像方法的发展、比较及其在认知神经科学中的应用
- 批准号:
174630518 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung von Methoden zur Kopplung elektrophoretischer Trennverfahren mit planaren Mikrospulen-NMR-Probenköpfen auf Wellenleiterbasis zum Einsatz in der Glycopeptid-Analytik
开发将电泳分离过程与基于波导的平面微线圈 NMR 探头耦合的方法,用于糖肽分析
- 批准号:
180365810 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants














{{item.name}}会员




