The safety case and the lessons learned for the reliability and maintainability case

This paper examine the safety case and the lessons learned for the reliability and maintainability case

Managed information gathering and fusion for transient transport problems

This paper deals with vehicular traffic management by communication technologies from Traffic Control Center point of view in road networks. The global goal is to manage the urban traffic by road traffic operations, controlling and interventional possibilities in order to minimize the traffic delays and stops and to improve traffic safety on the roads. This paper focuses on transient transport, when the controlling management is crucial. The aim was to detect the beginning time of the transient traffic on the roads, to gather the most appropriate data and to get reliable information for interventional suggestions. More reliable information can be created by information fusion, several fusion techniques are expounded in this paper. A half-automatic solution with Decision Support System has been developed to help with engineers in suggestions of interventions based on real time traffic data. The information fusion has benefits for Decision Support System: the complementary sensors may fill the gaps of one another, the system is able to detect the changing of the percentage of different vehicle types in traffic. An example of detection and interventional suggestion about transient traffic on transport networks of a little town is presented at the end of the paper. The novelty of this paper is the gathering of information - triggered by the state changing from stationer to transient - from ad hoc channels and combining them with information from developed regular channels. --information gathering,information fusion,Kalman filter,transient traffic,Decision Support System

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

MobileTrust: Secure Knowledge Integration in VANETs

Vehicular Ad hoc NETworks (VANET) are becoming popular due to the emergence of the Internet of Things and ambient intelligence applications. In such networks, secure resource sharing functionality is accomplished by incorporating trust schemes. Current solutions adopt peer-to-peer technologies that can cover the large operational area. However, these systems fail to capture some inherent properties of VANETs, such as fast and ephemeral interaction, making robust trust evaluation of crowdsourcing challenging. In this article, we propose MobileTrust—a hybrid trust-based system for secure resource sharing in VANETs. The proposal is a breakthrough in centralized trust computing that utilizes cloud and upcoming 5G technologies to provide robust trust establishment with global scalability. The ad hoc communication is energy-efficient and protects the system against threats that are not countered by the current settings. To evaluate its performance and effectiveness, MobileTrust is modelled in the SUMO simulator and tested on the traffic features of the small-size German city of Eichstatt. Similar schemes are implemented in the same platform to provide a fair comparison. Moreover, MobileTrust is deployed on a typical embedded system platform and applied on a real smart car installation for monitoring traffic and road-state parameters of an urban application. The proposed system is developed under the EU-founded THREAT-ARREST project, to provide security, privacy, and trust in an intelligent and energy-aware transportation scenario, bringing closer the vision of sustainable circular economy

Critical evaluation of competitiveness of SMEs in Chinese Yangtze river delta

This thesis was submitted for the award of Doctor of Philosophy and was awarded by Brunel University LondonChina has continued the economic reform and open door policy over 30 years with many great achievements, such as the second largest GDP, the largest import and export economy with the largest infrastructural investment in the world. On the other hand, the conflicts and risks the firms especially for small and medium sized manufacturing enterprises (SMEs) have faced are extremely serious and more acute due to the economy growth and increasing social wealth, especially in Yangtze River Delta, in the general context of ever increasing cost such as labour, land and higher customers’ expectations such as the quality of product. These serious problems are challenges for the competitiveness of SMEs in Yangtze River Delta. This research aims to investigate and improve the competitiveness of SMEs by the main variables such as enterprise’s resources, product’s competitive issues and innovation activities related barriers. To achieve the aim, the research employed a mixed method of quantitative and qualitative approaches to build the competitiveness’s belief network model by Bayesian Belief Networks and analyze the factors of the most important variables by the SPSS software. Secondly, 36 entrepreneurs of small and medium sized manufacturing enterprises in Yangtze River Delta have been carefully selected to participate in the questionnaire survey and face to face interviews. All participants are entrepreneurs who have run enterprise for at least three years. Five kinds of resources, competitive issues and innovation have been identified as the variables of competitiveness. The findings of research are mainly related to the three aspects which are general view of variables; barriers to innovation activity and importance of variables for improving the competitiveness; and the factor analysis of quality management practices. Firstly, the general condition of financial resource is the worst in resource sector of SMEs; Dependability is the best performance in competitive issues of SMEs; Lack of finance is generally identified the biggest barrier to innovation of SMEs. Secondly, the Physical resource in resource sector and Quality in competitive issues sector are the most important variables for improving the competitiveness of SMEs after BBN assessment; Lack of technical experts is the most serious barrier when the SMEs are really focusing on the innovation according to the BBN assessments. Thirdly, the factor analyses have identified the key independent factors explaining the quality management practices in these SMEs. Finally, these findings can help the SMEs build variables’ impact tables based on the outputs from the conditional assessment of BBNs to make more efficient and effective decisions when they try to improve the enterprise competitiveness, with detailed recommendations. At the same time, the importance and factors of good quality management practices have also been argued to help the entrepreneurs improve the quality performance and their enterprise competitiveness

Dagstuhl News January - December 2007

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic

Online failure prediction in air traffic control systems

This thesis introduces a novel approach to online failure prediction for mission critical distributed systems that has the distinctive features to be black-box, non-intrusive and online. The approach combines Complex Event Processing (CEP) and Hidden Markov Models (HMM) so as to analyze symptoms of failures that might occur in the form of anomalous conditions of performance metrics identified for such purpose. The thesis presents an architecture named CASPER, based on CEP and HMM, that relies on sniffed information from the communication network of a mission critical system, only, for predicting anomalies that can lead to software failures. An instance of Casper has been implemented, trained and tuned to monitor a real Air Traffic Control (ATC) system developed by Selex ES, a Finmeccanica Company. An extensive experimental evaluation of CASPER is presented. The obtained results show (i) a very low percentage of false positives over both normal and under stress conditions, and (ii) a sufficiently high failure prediction time that allows the system to apply appropriate recovery procedures

Online failure prediction in air traffic control systems

This thesis introduces a novel approach to online failure prediction for mission critical distributed systems that has the distinctive features to be black-box, non-intrusive and online. The approach combines Complex Event Processing (CEP) and Hidden Markov Models (HMM) so as to analyze symptoms of failures that might occur in the form of anomalous conditions of performance metrics identified for such purpose. The thesis presents an architecture named CASPER, based on CEP and HMM, that relies on sniffed information from the communication network of a mission critical system, only, for predicting anomalies that can lead to software failures. An instance of Casper has been implemented, trained and tuned to monitor a real Air Traffic Control (ATC) system developed by Selex ES, a Finmeccanica Company. An extensive experimental evaluation of CASPER is presented. The obtained results show (i) a very low percentage of false positives over both normal and under stress conditions, and (ii) a sufficiently high failure prediction time that allows the system to apply appropriate recovery procedures