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

Multi-Conference on software engineering, SE 2013

作者： Wasilewski, Michael Hasselbring, Wilhelm Nowotka, Dirk Vossloh Locomotives GmbH Kiel24152 Germany Kiel University Dept. Computer Science Software Engineering Group Kiel24118 Germany Kiel University Dept. Computer Science Dependable Systems Group Kiel24118 Germany

ISBN: (纸本)9783885796091

Domain-specific languages are designed and used to assist software development in various domains. Safety-critical systems such as aviation systems, railway control systems and nuclear power plants require certified software by law. This paper focuses on domain-specific languages that are used to represent a physical reality and to describe the behavior of a control software as a finite state machine. Furthermore we focus on domain-specific languages that are able to generate source code for sensor/actor systems from a specified finite state machine model. The source code is intended to be compiled and operated in a fixed time slot of a real-time operating system of a safety-critical controlling hardware. We give an example of a model that is expressed using a functional tree, a method that is based on input and state space partitioning. We show that models expressed by a functional tree are equivalent to deterministic and complete finite state machines. To formally prove the equivalence we analyze a model in terms of automata theory. We will furthermore show that omitting the properties of determinism and completeness violates normative requirements when a model is used to generate software for safetycritical systems. The major contribution of this paper is the definition of formal requirements on domain-specific languages employing formalisms of automata theory. The requirements are easily verifiable criteria for domain-specific languages to assess the suitability in an engineering process of a safety-critical system. We analyze two example modeling languages for their suitability to create a source code for safety-critical applications. © Gesellschaft für Informatik, Bonn 2013.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

Towards Label-Efficient Deep Learning-based Aging-related Bug Prediction with Spiking Convolutional Neural Networks

引用

IEEE Transactions on Emerging Topics in Computing 2025年

作者： Tian, Yunzhe Li, Yike Chen, Kang Zhang, Zhenguo Tong, Endong Liu, Jiqiang Qin, Fangyun Zheng, Zheng Niu, Wenjia Hebei Boshilin Technology Development Co. Ltd. Shijiazhuang050051 China Beijing Jiaotong University Beijing Key Laboratory of Security and Privacy in Intelligent Transportation Beijing100044 China Tangshan Research Institute of Beijing Jiaotong University Tangshan063000 China Capital Normal University College of Information Engineering Beijing100048 China Nanjing University State Key Laboratory for Novel Software Technology Nanjing210093 China Beihang University Laboratory of Dependable Intelligent Systems School of Automation Science and Electrical Engineering Beijing100191 China

Recent advances in Deep Learning (DL) have enhanced Aging-Related Bug (ARB) prediction for mitigating software aging. However, DL-based ARB prediction models face a dual challenge: overcoming overfitting to enhance generalization and managing the high labeling costs associated with extensive data requirements. To address the first issue, we utilize the sparse and binary nature of spiking communication in Spiking Neural Networks (SNNs), which inherently provides brain-inspired regularization to effectively alleviate overfitting. Therefore, we propose a Spiking Convolutional Neural Network (SCNN)-based ARB prediction model along with a training framework that handles the model's spatial-temporal dynamics and non-differentiable nature. To reduce labeling costs, we introduce a Bio-inspired and Diversity-aware Active Learning framework (BiDAL), which prioritizes highly informative and diverse samples, enabling more efficient usage of the limited labeling budget. This framework incorporates bio-inspired uncertainty to enhance informativeness measurement along with using a diversity-aware selection strategy based on clustering to prevent redundant labeling. Experiments on three ARB datasets show that ARB-SCNN effectively reduces overfitting, improving generalization performance by 6.65% over other DL-based classifiers. Additionally, BiDAL boosts label efficiency for ARB-SCNN training, outperforming four state-of-the-art active learning methods by 4.77% within limited labeling budgets. © 2013 IEEE.

关键词： Active learning

来源：评论

学校读者我要写书评

暂无评论

Cognitive dimensions and grounded theory in learning software modeling

引用

Procedia - Social and Behavioral Sciences 2009年第1期1卷 1884-1888页

作者： Arcs, Garratt Razali, R. Dependable Systems and Software Engineering School of Electronics and Computer Science University of Southampton United Kingdom

The modeling of computer software is complex and error prone. Modeling methods and languages must be usable which implies easy to learn. Cognitive dimensions and grounded theory were used to analyse the usability and learnabilty of the new modeling language Unified Modeling Language- B: UML-B. A systematic survey of users' encounters and interactions with UML-B clarified its good and bad features. The results indicate that UML-B is more usable and learnable than comparative modeling languages such as 'B'. The results of this study will improve the future development of UML-B to increase its learnability hence its usability. © 2009.

关键词： Cognitive dimensions Grounded theory software learnability software modeling software usability

来源：评论

学校读者我要写书评

暂无评论

1st International Workshop on software engineering for Smart Cyber-Physical systems (SEsCPS 2015) 15

1st International Workshop on Software Engineering for Smart...

引用

International Conference on software engineering (ICSE)

作者： Tomas Bures Denny Weyns Mark Klein Rodolfo E. Haber Department of Distributed and Dependable Systems Charles University Prague Czech Republic Software Engineering Institute Carnegie Mellon University Pittsburgh USA AdaptWise Lineaus University Växjö Sweden Center for Automation and Robotics (CAR) UPM-CSIC Madrid Spain

Cyber-physical system (CPS) have been recognized as a top-priority in research and development. The innovations sought for CPS demand them to deal effectively with dynamicity of their environment, to be scalable, adaptive, tolerant to threats, etc. -- i.e. they have to be smart. Although approaches in software engineering (SE) exist that individually meet these demands, their synergy to address the challenges of smart CPS (sCPS) in a holistic manner remains an open challenge. The workshop focuses on software engineering challenges for sCPS. The goals are to increase the understanding of problems of SE for sCPS, study foundational principles for engineering sCPS, and identify promising SE solutions for sCPS. Based on these goals, the workshop aims to formulate a research agenda for SE of sCPS.

关键词： Conferences software engineering Cyber-physical systems software Adaptation models Committees Technological innovation

来源：评论

学校读者我要写书评

暂无评论

Event-B patterns for specifying fault-tolerance in multi-agent interaction

Event-B patterns for specifying fault-tolerance in multi-age...

引用

作者： Ball, Elisabeth Butler, Michael Dependable Systems and Software Engineering Electronics and Computer Science University of Southampton United Kingdom

Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the treatment of fault-tolerance of agent interactions for the agents to be able to continue to function independently. Patterns can be used to capture fault-tolerance techniques. A set of modelling patterns is presented that specify fault-tolerance in Event-B specifications of multi-agent interactions. The purpose of these patterns is to capture common modelling structures for distributed agent interaction in a form that is re-usable on other related developments. The patterns have been applied to a case study of the contract net interaction protocol. © 2009 Springer Berlin Heidelberg.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Are Concept Drift Detectors Reliable Alarming systems? - A Comparative Study

Are Concept Drift Detectors Reliable Alarming Systems? - A C...

引用

2022 IEEE International Conference on Big Data, Big Data 2022

作者： Poenaru-Olaru, Lorena Cruz, Luis Van Deursen, Arie Rellermeyer, Jan S. Tu Delft Software Engineering Delft Netherlands Leibniz University Hannover Dependable and Scalable Software Systems Hanover Germany

ISBN: (纸本)9781665480451

As machine learning models increasingly replace traditional business logic in the production system, their lifecycle management is becoming a significant concern. Once deployed into production, the machine learning models are constantly evaluated on new streaming data. Given the continuous data flow, shifting data, also known as concept drift, is ubiquitous in such settings. Concept drift usually impacts the performance of machine learning models, thus, identifying the moment when concept drift occurs is required. Concept drift is identified through concept drift detectors. In this work, we assess the reliability of concept drift detectors to identify drift in time by exploring how late are they reporting drifts and how many false alarms are they signaling. We compare the performance of the most popular drift detectors belonging to two different concept drift detector groups, error rate-based detectors and data distribution-based detectors. We assess their performance on both synthetic and real-world data. In the case of synthetic data, we investigate the performance of detectors to identify two types of concept drift, abrupt and gradual. Our findings aim to help practitioners understand which drift detector should be employed in different situations and, to achieve this, we share a list of the most important observations made throughout this study, which can serve as guidelines for practical usage. Furthermore, based on our empirical results, we analyze the suitability of each concept drift detection group to be used as an alarming system. © 2022 IEEE.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

An infrastructure for managing URI synonymity on the Semantic Web

An infrastructure for managing URI synonymity on the Semanti...

引用

5th European Semantic Web Conference, ESWC 2008

作者： Jaffri, Afraz Glaser, Hugh Millard, Ian Dependable Systems and Software Engineering Group School of Electronics and Computer Science University of Southampton United Kingdom

The Semantic Web vision involves the production and use of large amounts of RDF data. There have been recent initiatives amongst the Semantic Web community, in particular the Linking Open Data activity and our own ReSIST project, to publish large amounts of RDF that are both interlinked and dereferenceable. The proliferation of such data gives rise to millions of URIs for non-information resources such as people, places and abstract things. Our Consistent Reference Services provide a standard way of managing multiple URIs and finding URI equivalences. The CRS has been designed for use with all linked data Providers and is currently running on a live linked data site.

关键词： Linked data

来源：评论

学校读者我要写书评

暂无评论

Managing URI synonymity to enable consistent reference on the semantic web

Managing URI synonymity to enable consistent reference on th...

引用

1st International Workshop on Identity and Reference on the Semantic Web, IRSW 2008

作者： Jaffri, Afraz Glaser, Hugh Millard, Ian C. Dependable Systems and Software Engineering Group School of Electronics and Computer Science University of Southampton United Kingdom

The Web of Data is growing at an ever increasing rate, with RDF datasets being produced in the order of billions of triples. The effect of this increase has meant that many entities for which knowledge is being published have developed a number of URI synonyms. Managing URI synonymity plays an important part in establishing a solid foundation for data inter-linkage. This paper sets out an architecture for managing URI equivalences on the Web of Data by using Consistent Reference Services. A Use Case is presented to highlight the importance of managing identity and several advantages and disadvantages of using the CRS over other coreference resolution methods are discussed.

关键词： World Wide Web

来源：评论

学校读者我要写书评

暂无评论

JCSProB: Implementing integrated formal specifications in concurrent Java

JCSProB: Implementing integrated formal specifications in co...

引用

作者： Yang, Letu Poppleton, Michael R. Dependable Systems and Software Engineering Electronics and Computer Science University of Southampton Southampton SO17 IBJ United Kingdom

The ProB model checker provides tool support for an integrated formal specification approach, combining the classical state-based B language with the event-based process algebra CSP. In this paper, we present a developing strategy for implementing such a combined ProB specification as a concurrent Java program. A Java implementation of the combined B and CSP model has been developed using a similar approach to JCSP. A set of translation rules relates the formal model to its Java implementation, and we also provide a translation tool JCSProB to automatically generate a Java program from a ProB specification. To demonstrate and exercise the tool, several B/CSP models, varying both in syntactic structure and behavioural/concurrency properties, are translated by the tool. The models manifest the presence and absence of various safety, deadlock, and bounded fairness properties;the generated Java code is shown to faithfully reproduce them. Run-time safety and bounded fairness checking is also demonstrated. The Java programs are discussed to demonstrate our implementation of the abstract B/CSP concurrency model in Java. In conclusion we consider the effectiveness and generality of the implementation strategy. © 2007 The authors and IOS Press. All rights reserved.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Java implementation platform for the integrated state-and event-based specification in PROB

Java implementation platform for the integrated state-and ev...

引用

作者： Yang, L. Poppleton, M.R. Dependable Systems and Software Engineering Group Electronics and Computer Science University of Southampton University Road Southampton SO17 1BJ United Kingdom

PROB is an animation and model checking tool, which supports integrated event-and state-based specifications combining B and CSP. We present an initial strategy for implementing the combined specification model as a concurrent Java program. Our Java implementation for the combined B and CSP model uses a similar approach to that of JCSP. The restricted operational semantics for the integrated B and CSP model in PROB is defined. Then a new Java package, JCSProB, is developed for implementing the semantics. The new package supports external choice with multi-way synchronization, and introduces an improved multi-threading implementation from JCSP. © 2009 John Wiley & Sons, Ltd.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：