检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

9 篇 会议

馆藏范围

9 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

6 篇 工学
- 4 篇 计算机科学与技术...
- 4 篇 安全科学与工程
- 2 篇 软件工程
- 1 篇 控制科学与工程
- 1 篇 化学工程与技术
- 1 篇 航空宇航科学与技...
1 篇 理学
- 1 篇 数学
- 1 篇 化学
- 1 篇 统计学（可授理学、...

主题

2 篇 fault tree analy...
2 篇 fault trees
2 篇 embedded systems
2 篇 analytical model...
2 篇 software
1 篇 task analysis
1 篇 safety
1 篇 fault tolerance
1 篇 computer archite...
1 篇 software archite...
1 篇 systems architec...
1 篇 hazards
1 篇 automotive engin...
1 篇 visualization
1 篇 security
1 篇 data visualizati...
1 篇 safety engineeri...
1 篇 encoding
1 篇 adaptation model...
1 篇 reliability anal...

机构

2 篇 software enginee...
2 篇 siemens ag corpo...
1 篇 siemens ag corpo...
1 篇 university of ka...
1 篇 ag software engi...
1 篇 ag software engi...
1 篇 ag software engi...
1 篇 siemens industry...
1 篇 ag graphische da...
1 篇 ag software engi...
1 篇 ag graphische da...
1 篇 fraunhofer iese ...
1 篇 dependability an...
1 篇 siemens ag corpo...
1 篇 siemens ag corpo...
1 篇 systems engineer...
1 篇 ag software engi...
1 篇 ag software engi...
1 篇 fraunhofer insti...
1 篇 architecture def...

作者

3 篇 höfig kai
3 篇 peter liggesmeye...
3 篇 liggesmeyer pete...
2 篇 zeller marc
1 篇 keller patric
1 篇 guo zhensheng
1 篇 martin rothfelde...
1 篇 felix mohrle
1 篇 zeckzer dirk
1 篇 egon wuchner
1 篇 steiner max
1 篇 domis dominik
1 篇 dirk zeckzer
1 篇 kai hofig
1 篇 möhrle felix
1 篇 nicolai mike
1 篇 bizik kai
1 篇 menu jonathan
1 篇 marc zeller
1 篇 rothfelder marti...

语言

9 篇 英文

检索条件"机构=AG Software Engineering: Dependability"

共 9 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Towards Viewpoint-driven Visual Analysis for Effective Architecture Recovery

Towards Viewpoint-driven Visual Analysis for Effective Archi...

引用

IEEE International Workshop on Visualizing software for Understanding and Analysis (VISSOFT)

作者： Donny Thomas Daniel Egon Wuchner Michael Stal Peter Liggesmeyer Architecture Definition and Management Siemens AG Munich Germany AG Software Engineering: Dependability TU Kaiserslautern Kaiserslautern Germany

In the context of software architecture recovery, visual representations can allow architects or developers to perceive and comprehend the recovered information faster. Many visualizations address various facets of the complex information space, but there are no systematic approaches for the architect to efficiently evaluate candidate visualizations for suitability, or to explore ways to extend them. The resultant ad-hoc selection from available generic visualizations leads to ineffective comprehension and analysis. We propose a viewpoint-driven approach towards tackling this problem. From a comparison of the conceptual models of architectural viewpoints and information visualization, we observe that focusing on the concerns framed by a viewpoint can guide the suitable selection of visualization tasks. The viewpoint description also serves a source for the definition of the visualization dataset. Starting from a seed visualization, a simple measure called the task/concern coverage allows the architecture visualization designer to decide if the resulting visualization can express all the desired concerns. This approach is illustrated with an example of the Polyptychon hierarchical dependencies visualization.

关键词： Visualization Task analysis Data visualization Computer architecture Encoding software architecture software

来源：评论

学校读者我要写书评

暂无评论

Designing Fail-Safe Architectures for Aircraft Electrical Power Systems

Designing Fail-Safe Architectures for Aircraft Electrical Po...

引用

2018 AIAA/IEEE Electric Aircraft Technologies Symposium, EATS 2018

作者： Menu, Jonathan Nicolai, Mike Zeller, Marc Siemens Industry Software NV Leuven3001 Belgium Siemens AG Corporate Technology München81739 Germany Systems Engineering RTD Interleuvenlaan 68 Leuven3001 Belgium Dependability Analysis and Management Otto-Hahn-Ring 6 München81739 Germany

ISBN: (数字)9781624105722

ISBN: (纸本)9781624105722

More-electric, hybrid-electric, and all-electric aircraft have one important thing in common: they increasingly rely on electrical components and electrical power systems for fulfilling their principal functions. The increased dependency on electrical power has a drastic impact on the nature of the power generation and distribution system within the aircraft. New electrical components, often safety-critical, require completely rethinking of established electrical power system architectures. Manual (re)design, verification, and test of these complex systems becomes costly, cluttered, and often even infeasible. With a new methodology and software tool, we provide the ability to combine different aspects within the early design phases of electrical power systems. Based on a declarative component-based model, a designer can use the tool to automatically generate architectural variants. The component-based models seamlessly integrate with safety and reliability models in the form of component fault trees, which combine the traditional expressiveness of fault tree analysis for failure behavior with some notable advantages. Component fault trees enable the automatic ranking of the generated architectures in terms of safety and reliability attributes. By associating performance models with the original models, the tool also enables verifying complex functional requirements for the ranked architectures, again in a largely automated fashion. We demonstrate the developed methodology on two realistic use cases. In addition, we comment on the ability to apply the same methodology for the design of other systems (e.g., hydraulics, avionics). Indeed, the redesign of the electrical power system will often go hand in hand with rethinking other aircraft systems, because of their mutual interface(s). © 2018 AIAA.

关键词： Fault tree analysis

来源：评论

学校读者我要写书评

暂无评论

A formal approach for automating compositional safety analysis using flow type annotations in component fault trees 27th

A formal approach for automating compositional safety analys...

引用

27th European Safety and Reliability Conference, ESREL 2017

作者： Möhrle, Felix Bizik, Kai Zeller, Marc Höfig, Kai Rothfelder, Martin Liggesmeyer, Peter Software Engineering: Dependability University of Kaiserslautern Germany Siemens AG Corporate Technology Munich Germany Fraunhofer Institute for Experimental Software Engineering Kaiserslautern Germany

ISBN: (纸本)9781138629370

Safety assurance is a major challenge in the design of modern embedded systems that has become increasingly difficult in recent years. Growing system sizes and the rise of Cyber-Physical systems confront safety engineers with large sets of configurations to be analyzed. Current approaches are usually carried out at design time and do not address the need for automated assessments in the field. With Component Fault Trees (CFTs) there exists a component-based methodology that enables an efficient modular composition of safety artifacts. The combined model is a system-level CFT that can be analyzed by means of popular Fault Tree Analysis techniques that are widely accepted in the industry. However, when composing models, their interfacing elements must be connected manually which impedes the automation of the procedure. In this work, we introduce the notion of flow types that represent a particular kind of component interaction and define a taxonomy of related failure behavior. By annotating CFTs with types, a machine-readable vocabulary is provided that allows for an automated interconnection of their interfaces. This way, the automatic composition of models according to system architecture is enabled, allowing for automated safety assessments on system-level. We demonstrate the feasibility of our approach using an example ethylene vaporization unit. © 2017 Taylor & Francis Group, London.

关键词： Fault tree analysis

来源：评论

学校读者我要写书评

暂无评论

Automated compositional safety analysis using component fault trees

Automated compositional safety analysis using component faul...

引用

IEEE International Conference on software Reliability engineering Workshops (ISSRE Wksp)

作者： Felix Mohrle Marc Zeller Kai Hofig Martin Rothfelder Peter Liggesmeyer Software Engineering: Dependability University of Kaiserslautern Germany Siemens AG Corporate Technology Munich Germany Fraunhofer IESE Kaiserslautern Germany

Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Especially changes in a system's architectural design invalidate former safety analyses and require an adaptation of related safety analysis models in order to restore consistency. In this work, we present an approach for automatically generating mappings between failure ports in compositional safety analysis models. This way, automatic and system-wide safety analyses are enabled that can be easily repeated after making modifications to the system's architecture. We demonstrate the feasibility of our approach using a case study from the automotive domain.

关键词： Safety Fault trees Analytical models Adaptation models Systems architecture Automotive engineering Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Modeling the effects of software on safety and reliability in complex embedded systems

Modeling the effects of software on safety and reliability i...

引用

Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2012

作者： Steiner, Max Keller, Patric Liggesmeyer, Peter AG Software Engineering: Dependability TU Kaiserslautern Germany

ISBN: (纸本)9783642336744

The development of autonomous vehicle systems demands the increased usage of software based control mechanisms. Generally, this leads to very complex systems, whose proper functioning has to be ensured. In our work we aim at investigating and assessing the potential effects of software issues on the safety, reliability and availability of complex embedded autonomous systems. One of the key aspects of the research concerns the mapping of functional descriptions in form of integrated behavior-based control networks to State-Event Fault Tree models. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Reliability analysis

来源：评论

学校读者我要写书评

暂无评论

Failure-dependent timing analysis - A new methodology for probabilistic worst-case execution time analysis

Failure-dependent timing analysis - A new methodology for pr...

引用

16th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and dependability and Fault Tolerance, MMB and DFT 2012

作者： Höfig, Kai AG Software Engineering: Dependability University of Kaiserslautern Kaiserslautern Germany

ISBN: (纸本)9783642285394

Embedded real-time systems are growing in complexity, which goes far beyond simplistic closed-loop functionality. Current approaches for worst-case execution time (WCET) analysis are used to verify the deadlines of such systems. These approaches calculate or measure the WCET as a single value that is expected as an upper bound for a system's execution time. Overestimations are taken into account to make this upper bound a safe bound, but modern processor architectures expand those overestimations into unrealistic areas. Therefore, we present in this paper how of safety analysis model probabilities can be combined with elements of system development models to calculate a probabilistic WCET. This approach can be applied to systems that use mechanisms belonging to the area of fault tolerance, since such mechanisms are usually quantified using safety analyses to certify the system as being highly reliable or safe. A tool prototype implementing this approach is also presented which provides reliable safe upper bounds by performing a static WCET analysis and which overcomes the frequently encountered problem of dependence structures by using a fault injection approach. © 2012 Springer-Verlag.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Failure-dependent execution time analysis 11

Failure-dependent execution time analysis

引用

Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS

作者： Höfig, Kai Domis, Dominik University of Kaiserslautern AG Software Engineering: Dependability 67653 Kaiserslautern Germany

ISBN: (纸本)9781450307246

The growing complexity of safety-critical embedded systems is leading to an increased complexity of safety analysis models. Often used fault tolerance mechanisms have complex failure behavior and produce overhead compared to systems without such mechanisms. The question arises whether the overhead for fault tolerance is acceptable for the increased safety of a system. Manually modeling the timing behavior is cost intensive and error prone. Current approaches of safety analysis and execution time analysis are not able to reflect the timing behavior of complex mechanisms according to failures. In this paper, we describe an approach that combines safety analysis models with execution times to extract different execution times for different failure conditions. This provides a detailed view on the safety behavior in combination with the produced overhead and allows to find and certify appropriate fault tolerance mechanisms. © 2011 ACM.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques

Identification of Security-Safety Requirements for the Outdo...

引用

International Conference on software engineering Advances (ICSEA)

作者： Zhensheng Guo Dirk Zeckzer Peter Liggesmeyer Oliver Mäckel AG Software Engineering: Dependability University of Kaiserslautern Germany AG Software Engineering: Dependability AG Graphische Datenverarbeitung Gottlieb-Daimler-Strasse University of Kaiserslautern Germany Siemens AG Corporate Technology Technical Risk Management München Germany

This paper presents a case study for identifying security-safety requirements by using safety analysis techniques. In order to construct distributed software-intensive safety-critical systems, it is crucial to identify not only the safety requirements, but also the security requirements simultaneously, due to the fact that security attacks on the communication channels could cause safety consequences, such as damage to properties or even loss of human lives. Security-safety requirements are proposed for addressing the requirement that describes the safety, security requirements and the influence of the security attacks on safety requirements. Although many safety and security analyses techniques are available for deriving the security-safety requirements separately, no effective approach exists that uses an identical model for identifying integrated security and safety requirements. In this paper, the procedures and lessons learned for deriving integrated security-safety requirements using one identical model that is established by safety analysis techniques are presented. The results from this case study show that the safety analysis techniques are applicable for determining integrated requirements for describing the behavior of an outdoor robot.

关键词： Security Fault trees software Analytical models Communication channels Hazards

来源：评论

学校读者我要写书评

暂无评论

Identification of security-safety requirements for the outdoor robot RAVON using safety analysis techniques

Identification of security-safety requirements for the outdo...

引用

International Conference on software engineering Advances

作者： Guo, Zhensheng Zeckzer, Dirk Liggesmeyer, Peter Mäckel, Oliver AG Software Engineering: Dependability Gottlieb-Daimler-Strasse 67663 Kaiserslautern Germany AG Graphische Datenverarbeitung Gottlieb-Daimler-Strasse 67663 Kaiserslautern Germany Siemens AG Corporate Technology Technical Risk Management CT PP 6 Otto-Hahn-Ring 6 81739 München Germany

ISBN: (纸本)9780769541440

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：