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

ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive systems, ASAS 2011

作者： Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Software Engineering Group University of Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Germany Software Engineering Division Chalmers University of Technology University of Gothenburg Sweden

ISBN: (纸本)9783642362484

Self-healing can be used to reduce hazards in embedded real-time systems which are applied in safety-critical environments. These systems may react to failures by a structural reconfiguration of the architecture during runtime. This means the exchange of components or the modification of the components' connections, in order to avoid that a failure results in a hazard. This reaction is subject to hard real-time constraints because reacting too late does not yield the intended effects. Consequently, it is necessary to analyze the propagation of failures in the architectural configuration over time with respect to the structural reconfiguration. However, current approaches do not take into account the timing properties of the failure propagation and the structural reconfiguration. In this paper, we present a hazard analysis approach which specifically considers these timing properties. We illustrate our approach by an example case study from the RailCab project. Further, we demonstrate the scalability of the approach by experiments. © 2013 Springer-Verlag.

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

Model-driven development with mechatronic UML

引用

Lecture Notes in Computer Science

作者： Schäfer, Wilhelm Wehrheim, Heike Heinz Nixdorf Institute Software Engineering Group University of Paderborn Warburger Str. 100 Paderborn 33098 Germany Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn 33098 Germany

ISBN: (纸本)3642173217

Today, mechanical engineering products can largely be classified as mechatronic systems, i.e. systems integrating electrical and mechanical components with software. Mechatronic systems are often employed in safety-critical areas, for instance in the automotive or railway domain. Mechatronic UML is a UML profile specifically tailored towards the modelling of mechatronic systems. It aims at bringing model-based design and formal analysis to the mechatronic area, which has originally been dominated by engineering techniques. In this paper we give a survey of the modelling as well as verification techniques supported by Mechatronic UML. © 2010 Springer-Verlag Berlin Heidelberg.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Component-based timed hazard analysis of self-healing systems

Component-based timed hazard analysis of self-healing system...

引用

8th Workshop on Assurances for Self-Adaptive systems, ASAS'11

作者： Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Organic Computing University of Augsburg Universitätsstr. 6a Augsburg Germany

ISBN: (纸本)9781450308533

Today, self-healing is increasingly used in embedded real-time systems, that are applied in safety-critical environments, to reduce hazards. These systems implement self-healing by reconfiguration, i.e., the exchange of system components during run-time that aims at stopping or removing failures. This reaction is subject to hard real-time constraints because reacting too late does not yield the intended effects. Consequently, it is necessary to analyze the propagation of failures over time and also take into account how the propagation of failures is changed by the reconfiguration. Current approaches do not analyze the propagation times of failures and the changes of structural reconfiguration on the failure propagation. We enhance our hazard analysis approach by extending our failure propagation models by propagation times and taking the system's real-time reconfiguration behavior into account. This allows to analyze how a reconfiguration with certain duration changes the failure propagation of a real-time system and thus whether it is able to prevent a hazard. We show the feasibility of our approach by an example case study from the RailCab project. © 2011 ACM.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

1st Workshop on VAriability for QUalIties in software Architecture (VAQUITA): Workshop Introduction 15

1st Workshop on VAriability for QUalIties in SofTware Archit...

引用

Proceedings of the 2015 European Conference on software Architecture Workshops

作者： Azadeh Alebrahim Stephan Faßbender Martin Filipczyk Michael Goedicke Maritta Heisel Uwe Zdun paluno - The Ruhr Institute for Software Technology Working group Software Engineering University of Duisburg-Essen Germany paluno - The Ruhr Institute for Software Technology Working group Specification of Software Systems University of Duisburg-Essen Germany Research Group Software Architecture University of Vienna

No abstract available.

ISBN: (纸本)9781450333931

No abstract available.

关键词： quality attributes software architecture variability

来源：评论

学校读者我要写书评

暂无评论

A User-Centred Design Approach For Agent Based E-Business systems

A User-Centred Design Approach For Agent Based E-Business Sy...

引用

IEEE International Conference on e-Business Engineering (ICEBE)

作者： Rahat Iqbal Nazaraf Hussain Shah Kuo-ming Chao Anne James Distributed Systems and Modelling Research Group Faculty of Engineering and Computing Coventry University UK Software Engineering Research Group Sheffield Hallam University Sheffield UK

An important aspect of designing for ubiquitous e-business applications is addressing the issues concerning user requirements and culture in which the system is to be deployed. The value of ethnographic analysis in this respect is gaining increasing acceptance. In this paper, we present an approach based on ethnography and multi-agents systems to address these issues. The usage of ethnographic approach provides an understanding of user requirements and explains the semantics, functionality and detailed business needs of e-business applications. We also stress the need of employing artificial intelligent agents that are suitable for e-business applications due to their autonomy, flexible behaviour and negotiating capabilities. Secondly, ethnographic concepts can directly be mapped onto the BDI (belief desire, intention) model of an agent. In this paper, we also demonstrate the usefulness of this approach by presenting a real life case study of a tailoring system

关键词： User centered design Multiagent systems Intelligent agent Humans Large-scale systems Computational modeling Chaos Design engineering Distributed computing Pervasive computing

来源：评论

学校读者我要写书评

暂无评论

Artificial intelligence for modelling infectious disease epidemics

引用

Nature 2025年第8051期638卷 623-635页

作者： Kraemer, Moritz U. G. Tsui, Joseph L.-H. Chang, Serina Y. Lytras, Spyros Khurana, Mark P. Vanderslott, Samantha Bajaj, Sumali Scheidwasser, Neil Curran-Sebastian, Jacob Liam Semenova, Elizaveta Zhang, Mengyan Unwin, H. Juliette T. Watson, Oliver J. Mills, Cathal Dasgupta, Abhishek Ferretti, Luca Scarpino, Samuel V. Koua, Etien Morgan, Oliver Tegally, Houriiyah Paquet, Ulrich Moutsianas, Loukas Fraser, Christophe Ferguson, Neil M. Topol, Eric J. Duchêne, David A. Stadler, Tanja Kingori, Patricia Parker, Michael J. Dominici, Francesca Shadbolt, Nigel Suchard, Marc A. Ratmann, Oliver Flaxman, Seth Holmes, Edward C. Gomez-Rodriguez, Manuel Schölkopf, Bernhard Donnelly, Christl A. Pybus, Oliver G. Cauchemez, Simon Bhatt, Samir Pandemic Sciences Institute University of Oxford Oxford United Kingdom Department of Biology University of Oxford Oxford United Kingdom Department of Electrical Engineering and Computer Science University of California Berkeley Berkeley CA United States UCSF UC Berkeley Joint Program in Computational Precision Health Berkeley CA United States Division of Systems Virology Department of Microbiology and Immunology The Institute of Medical Science The University of Tokyo Tokyo Japan Section of Epidemiology Department of Public Health University of Copenhagen Copenhagen Denmark Oxford Vaccine Group University of Oxford and NIHR Oxford Biomedical Research Centre Oxford United Kingdom Department of Epidemiology and Biostatistics Imperial College London London United Kingdom Department of Computer Science University of Oxford Oxford United Kingdom School of Mathematics University of Bristol Bristol United Kingdom MRC Centre for Global Infectious Disease Analysis School of Public Health Imperial College London London United Kingdom Department of Statistics University of Oxford Oxford United Kingdom Doctoral Training Centre University of Oxford Oxford United Kingdom Institute for Experiential AI Northeastern University MA Boston Thailand Santa Fe Institute Santa Fe NM United States World Health Organization Regional Office for Africa Brazzaville Congo WHO Hub for Pandemic and Epidemic Intelligence Health Emergencies Programme World Health Organization Berlin Germany Centre for Epidemic Response and Innovation (CERI) School for Data Science and Computational Thinking Stellenbosch University Stellenbosch South Africa African Institute for Mathematical Sciences (AIMS) South Africa Muizenberg Cape Town South Africa Genomics England London United Kingdom Scripps Research La Jolla CA United States Department of Biosystems Science and Engineering ETH Zürich Basel Switzerland Swiss Institute of Bioinformatics Lausanne Switzerland The Ethox Centre Nuffield

Infectious disease threats to individual and public health are numerous, varied and frequently unexpected. Artificial intelligence (AI) and related technologies, which are already supporting human decision making in economics, medicine and social science, have the potential to transform the scope and power of infectious disease epidemiology. Here we consider the application to infectious disease modelling of AI systems that combine machine learning, computational statistics, information retrieval and data science. We first outline how recent advances in AI can accelerate breakthroughs in answering key epidemiological questions and we discuss specific AI methods that can be applied to routinely collected infectious disease surveillance data. Second, we elaborate on the social context of AI for infectious disease epidemiology, including issues such as explainability, safety, accountability and ethics. Finally, we summarize some limitations of AI applications in this field and provide recommendations for how infectious disease epidemiology can harness most effectively current and future developments in AI. © Springer Nature Limited 2025.

关键词：

来源：评论

学校读者我要写书评

暂无评论

GridBeans: Supporting e-Science and grid applications

GridBeans: Supporting e-Science and grid applications

引用

e-Science 2006 - 2nd IEEE International Conference on e-Science and Grid Computing

作者： Ratering, Ralf Lukichev, Alexander Vanni, A. Cacciari, C. Lanzarini, S. Bala, Piotr Riedel, Morris Mallmann, Daniel Benedyczak, K. Borcz, M. Kluszcynski, R. Ohme, Gert Software and Solutions Group Intel Corporation High Performance Computing Department CINECA Italy Interdiscipl. Center for Mathem. and Comp. Modelling Warsaw University Poland Central Institute of Applied Mathematics Research Centre Juelich Germany Faculty of Mathematics and Computer Science Torun Nicolaus Copernicus University Poland Solutions for Research T-Systems Corporation

ISBN: (纸本)0769527345

Large-scale scientific research often relies on the collaborative use of Grid and e-Science infrastructures that provide computational or storage related resources. One of the ideas of these modern infrastructures is to facilitate the routine interaction of scientists and their workflows with advanced problem solving tools and computational resources. While many production Grid projects and e-Science infrastructures have begun to offer services for the usage of resources to end-users during the past several years, the corresponding emerging standards defined by GGF and OASIS still appear to be in flux. In this paper, we present the GridBean technology that bridges the gap between the constantly changing basic Grid or e-Science infrastructures and the need of stable application development environments for the Grid users. © 2006 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

GridBeans: Support e-Science and Grid Applications

GridBeans: Support e-Science and Grid Applications

引用

IEEE International Conference on e-Science and Grid Computing

作者： Ralf Ratering Alexander Lukichev Morris Riedel Daniel Mallmann A. Vanni C. Cacciari S. Lanzarini K. Benedyczak M. Borcz R. Kluszcynski Piotr Bala Gert Ohme Software and Solutions Group Intel Corporation USA Research Centre Juelich Central Institute of Applied Mathematics Germany High Performance Computing Department CINECA Italy Faculty of Mathematics and Computer Science Torun Nicolaus Copernicus University Poland Interdiscipl. Center for Mathem. and Comp Modelling Warsaw University of Technology Poland Solutions for Research T-Systems Corporation USA

关键词： Grid computing Web services Quantum computing Standards development Application software Mathematics High performance computing International collaboration Middleware Standards organizations

来源：评论

学校读者我要写书评

暂无评论

The UK virtual ship - The way forward?

引用

NAVAL ENGINEERS JOURNAL 2000年第1期112卷 53-58页

作者： Anderson, T Tony Anderson: joined the Sonar department of what was then the Admiralty Underwater Weapons Establishment on Portland in 1978. His earliest work involved the design and development of an integrated software environment to help research into submarine command tools based on MASCOT and using various networks including DEF STAN 1553B to provide the means of communication between different computers. The research into command aids involved him in their design and development using artificial intelligence techniques and expert systems which was employed in the development of a passive sonar classification system. With a move in 1989 to the Weapons and Countermeasures department he found himself in the studies area where he took the technical lead in the specification of a new modelling environment for both above and below water studies based on the Object Oriented design methodology. He then took a break from the technical side to support his departmental head as his Management Support Officer dealing with financial quality and staffing issues. In October 1996 he was asked by Director Sea Systems to take the technical lead in the development of the virtual ship concept.

The UK is about to embark on the development of a virtual ship to support both current and future ships and submarines during their lifetimes. This paper describes the background as to why the UK is considering this option, and to highlight the potential users and benefits of a virtual ship. The paper goes on to discuss some of the technical issues that will need to be addressed in the development of a UK virtual ship;for example, whether the definition of a standard, which will sup port an open systems philosophy to enable the maximum reuse of software components and interoperability, is appropriate. A description of a demonstrator built using the Distributed Interactive Simulation protocol is given, based on some of the components needed in an Anti-Submarine Warfare scenario. This work represented the first foray for the Sea systems Sector into the world of synthetic environments and has provided pointers to how the virtual ship should be developed. The paper concludes with some thoughts on how we intend to make the UK virtual ship a 'reality'.

关键词： Naval architecture

来源：评论

学校读者我要写书评

暂无评论

ASYNCHRONOUS TRANSFER MODE (ATM) OPERATION VIA SATELLITE - ISSUES, CHALLENGES AND RESOLUTIONS

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第3期12卷 211-222页

作者： CHITRE, DM GOKHALE, DS HENDERSON, T LUNSFORD, JL MATHEWS, N COMSAT Laboratories 22300 Comsat Drive Clarksburg MD 20871 USA. Received his B.Sc. from the University of Bombay India an M.A. in mathematics from the University of Cambridge U.K. and a Ph.D. in physics from the University of Maryland. He is currently an Associate Executive Director of the Network Technology Division at COMSAT Laboratories. He has been involved in research and development activities in ISDN VSAT networks data communications and network systems and architectures. Prior to his current positions Dr. Chitre was a Principal Scientist in the Network Technology Division at COMSAT Laboratories. Dr. Chitre joined COMSAT Laboratories in 1980. He has made major contributions to the analysis and architecture of data communication ISDN and BISDN via satellite. Dr. Chitre directs and participates in the international and national standards activities in ISDN BISDN and data communication as they apply to satellite communication. He was Chairman of the Working Group on Protocols and Network Timing Function of the CCIR/CCITT Joint Ad Hoc Group on ISDN-Satellite Matters during 1990–1992. Currently he is the Chairman of the Working Group on New Technologies in the ITU Intersector Coordinating Group (ICG) on Satellite Matters. Dr. Chitre was a programme manager during 1990 and 1991 on a contract from INTELSAT on systems studies on satellite communications systems architectures for ISDN and broadband ISDN systems. Currently he is the technical manager of the DoD Contract on ATM via satellite demonstration and the programme manager for the INTELSAT contract on analysis and top-level specification of INTELSAT ISDN subnetworks and SDH compatible transport network. Department manager for ISDN/Data Communications in the Network Technology Division of COMSAT Laboratories. His responsibilities include managing the implementation of next generation telecommunication systems for fixed and mobile satellite systems. Current projects include the development of a high data rate gateway switch that provides for the

Key issues regarding the operation of the broadband integrated services digital network (BISDN) via satellite are presented herein. The specific issues, challenges, and their resolutions are detailed. In particular, the impact of error characteristics and propagation delay on the operation of BISDN via satellite is discussed. Solutions are presented for removing adverse effects and providing high-quality service to users of BISDN via satellite.

关键词： ATM BISDN

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：