Mathematics in Software Reliability and Quality Assurance

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment

Measurements, Models, Systems and Design

531 s.

AI Solutions for MDS: Artificial Intelligence Techniques for Misuse Detection and Localisation in Telecommunication Environments

This report considers the application of Articial Intelligence (AI) techniques to the problem of misuse detection and misuse localisation within telecommunications environments. A broad survey of techniques is provided, that covers inter alia rule based systems, model-based systems, case based reasoning, pattern matching, clustering and feature extraction, articial neural networks, genetic algorithms, arti cial immune systems, agent based systems, data mining and a variety of hybrid approaches. The report then considers the central issue of event correlation, that is at the heart of many misuse detection and localisation systems. The notion of being able to infer misuse by the correlation of individual temporally distributed events within a multiple data stream environment is explored, and a range of techniques, covering model based approaches, `programmed' AI and machine learning paradigms. It is found that, in general, correlation is best achieved via rule based approaches, but that these suffer from a number of drawbacks, such as the difculty of developing and maintaining an appropriate knowledge base, and the lack of ability to generalise from known misuses to new unseen misuses. Two distinct approaches are evident. One attempts to encode knowledge of known misuses, typically within rules, and use this to screen events. This approach cannot generally detect misuses for which it has not been programmed, i.e. it is prone to issuing false negatives. The other attempts to `learn' the features of event patterns that constitute normal behaviour, and, by observing patterns that do not match expected behaviour, detect when a misuse has occurred. This approach is prone to issuing false positives, i.e. inferring misuse from innocent patterns of behaviour that the system was not trained to recognise. Contemporary approaches are seen to favour hybridisation, often combining detection or localisation mechanisms for both abnormal and normal behaviour, the former to capture known cases of misuse, the latter to capture unknown cases. In some systems, these mechanisms even work together to update each other to increase detection rates and lower false positive rates. It is concluded that hybridisation offers the most promising future direction, but that a rule or state based component is likely to remain, being the most natural approach to the correlation of complex events. The challenge, then, is to mitigate the weaknesses of canonical programmed systems such that learning, generalisation and adaptation are more readily facilitated

An overview of decision table literature 1982-1995.

This report gives an overview of the literature on decision tables over the past 15 years. As much as possible, for each reference, an author supplied abstract, a number of keywords and a classification are provided. In some cases own comments are added. The purpose of these comments is to show where, how and why decision tables are used. The literature is classified according to application area, theoretical versus practical character, year of publication, country or origin (not necessarily country of publication) and the language of the document. After a description of the scope of the interview, classification results and the classification by topic are presented. The main body of the paper is the ordered list of publications with abstract, classification and comments.

Proceedings of the 1st Doctoral Consortium at the European Conference on Artificial Intelligence (DC-ECAI 2020)

1st Doctoral Consortium at the European Conference on Artificial Intelligence (DC-ECAI 2020), 29-30 August, 2020 Santiago de Compostela, SpainThe DC-ECAI 2020 provides a unique opportunity for PhD students, who are close to finishing their doctorate research, to interact with experienced researchers in the field. Senior members of the community are assigned as mentors for each group of students based on the student’s research or similarity of research interests. The DC-ECAI 2020, which is held virtually this year, allows students from all over the world to present their research and discuss their ongoing research and career plans with their mentor, to do networking with other participants, and to receive training and mentoring about career planning and career option

Research on key techniques of flexible workflow based approach to supporting dynamic engineering design process

Error on title page - correct year of award is 2015 not 2013.Engineering design process (EDP) is a highly dynamic and creative process, and the capability in managing an EDP is considered as a major differentiating factor between competing enterprises. The most important prerequisite to establish an engineering design process excellence is a proper management of all the design process activities and the associated information. The most important impact in recent years on the EDP and on the activities of designers has come from computer-based data processing. Workflow, the automation of a business processes in whole or part, is a useful tool for modelling and managing a business process which can be reprensented by a workflow model (computerized process definition). By considering the dynamic characteristics of EDP, an EDP management system must be flexible enough to support the creative and dynamic EDP. After the introduction of engineering design process and its new trend, as well as flexible workflow technology, reviews of both engineering design process and its supporting flexible workflow technology shows that there is a need for a holistic framework to automate and coordinate design activities in the creative and dynamic EDP, and the flexible workflow technology should also be improved comprehensively in flexibility and intelligence in order to support better engineering design management. By introducing the relations between the EDP and flexible workflow, a virtual workflow and an autonomic flexible workflow built upon autonomic computing is investigated, and an innovative engineering design process management framework based on multi-autonomic objects flexible workflow is proposed. For the flexible workflow modelling in the framework, a dynamic instance-based flexible workflow modelling method is proposed for multi-autonomic objects flexible workflow. In order to improve the intelligence of flexible workflow, after examining the principle of flexible workflow intelligence in flexible workflow, a new flexible workflow autonomic object intelligence algorithm based on both extended Mamdani fuzzy reasoning and neural network is proposed, weighted fuzzy reasoning algorithm, as well as precise and fuzzy hybrid knowledge reasoning algorithm is designed; a bionic flexible workflow adaptation algorithm is proposed to improve the intelligence of autonomic object flexible workflow further. According to the characteristic of EDP, such as cross-enterprises and geographical distribution, and in order to realize the flexible execution of distributed flexible workflow engine, a distributed flexible workflow engine architecture based on web service is proposed and a flexible workflow model description method based on extended WSDL (Web Service Description Language) and BPEL4WS (Business Process Execution Language for Web Services) is proposed. A flexible workflow prototype system supporting engineering design process is implemented according to the proposed EDP management framework in Microsoft VS.Net 2005 environment. The framework is demonstrated by the application in an EDP of a MTO company, and it shows that the proposed framework can support the creative and dynamic process in an efficient way. Finally, the strengths and weakness of the framework as well as the prototype system is discussed based on the results of the evaluation, and the proposed areas of future work are given.Engineering design process (EDP) is a highly dynamic and creative process, and the capability in managing an EDP is considered as a major differentiating factor between competing enterprises. The most important prerequisite to establish an engineering design process excellence is a proper management of all the design process activities and the associated information. The most important impact in recent years on the EDP and on the activities of designers has come from computer-based data processing. Workflow, the automation of a business processes in whole or part, is a useful tool for modelling and managing a business process which can be reprensented by a workflow model (computerized process definition). By considering the dynamic characteristics of EDP, an EDP management system must be flexible enough to support the creative and dynamic EDP. After the introduction of engineering design process and its new trend, as well as flexible workflow technology, reviews of both engineering design process and its supporting flexible workflow technology shows that there is a need for a holistic framework to automate and coordinate design activities in the creative and dynamic EDP, and the flexible workflow technology should also be improved comprehensively in flexibility and intelligence in order to support better engineering design management. By introducing the relations between the EDP and flexible workflow, a virtual workflow and an autonomic flexible workflow built upon autonomic computing is investigated, and an innovative engineering design process management framework based on multi-autonomic objects flexible workflow is proposed. For the flexible workflow modelling in the framework, a dynamic instance-based flexible workflow modelling method is proposed for multi-autonomic objects flexible workflow. In order to improve the intelligence of flexible workflow, after examining the principle of flexible workflow intelligence in flexible workflow, a new flexible workflow autonomic object intelligence algorithm based on both extended Mamdani fuzzy reasoning and neural network is proposed, weighted fuzzy reasoning algorithm, as well as precise and fuzzy hybrid knowledge reasoning algorithm is designed; a bionic flexible workflow adaptation algorithm is proposed to improve the intelligence of autonomic object flexible workflow further. According to the characteristic of EDP, such as cross-enterprises and geographical distribution, and in order to realize the flexible execution of distributed flexible workflow engine, a distributed flexible workflow engine architecture based on web service is proposed and a flexible workflow model description method based on extended WSDL (Web Service Description Language) and BPEL4WS (Business Process Execution Language for Web Services) is proposed. A flexible workflow prototype system supporting engineering design process is implemented according to the proposed EDP management framework in Microsoft VS.Net 2005 environment. The framework is demonstrated by the application in an EDP of a MTO company, and it shows that the proposed framework can support the creative and dynamic process in an efficient way. Finally, the strengths and weakness of the framework as well as the prototype system is discussed based on the results of the evaluation, and the proposed areas of future work are given

Diagnostic and adaptive redundant robotic planning and control

Neural networks and fuzzy logic are combined into a hierarchical structure capable of planning, diagnosis, and control for a redundant, nonlinear robotic system in a real world scenario. Throughout this work levels of this overall approach are demonstrated for a redundant robot and hand combination as it is commanded to approach, grasp, and successfully manipulate objects for a wheelchair-bound user in a crowded, unpredictable environment. Four levels of hierarchy are developed and demonstrated, from the lowest level upward: diagnostic individual motor control, optimal redundant joint allocation for trajectory planning, grasp planning with tip and slip control, and high level task planning for multiple arms and manipulated objects. Given the expectations of the user and of the constantly changing nature of processes, the robot hierarchy learns from its experiences in order to more efficiently execute the next related task, and allocate this knowledge to the appropriate levels of planning and control. The above approaches are then extended to automotive and space applications

On Holistic Multi-Step Cyberattack Detection via a Graph-based Correlation Approach

While digitization of distribution grids through information and communications technology brings numerous benefits, it also increases the grid's vulnerability to serious cyber attacks. Unlike conventional systems, attacks on many industrial control systems such as power grids often occur in multiple stages, with the attacker taking several steps at once to achieve its goal. Detection mechanisms with situational awareness are needed to detect orchestrated attack steps as part of a coherent attack campaign. To provide a foundation for detection and prevention of such attacks, this paper addresses the detection of multi-stage cyber attacks with the aid of a graph-based cyber intelligence database and alert correlation approach. Specifically, we propose an approach to detect multi-stage attacks by leveraging heterogeneous data to form a knowledge base and employ a model-based correlation approach on the generated alerts to identify multi-stage cyber attack sequences taking place in the network. We investigate the detection quality of the proposed approach by using a case study of a multi-stage cyber attack campaign in a future-orientated power grid pilot.Comment: IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) 202