Estimation of Defect proneness Using Design complexity Measurements in Object- Oriented Software

Software engineering is continuously facing the challenges of growing complexity of software packages and increased level of data on defects and drawbacks from software production process. This makes a clarion call for inventions and methods which can enable a more reusable, reliable, easily maintainable and high quality software systems with deeper control on software generation process. Quality and productivity are indeed the two most important parameters for controlling any industrial process. Implementation of a successful control system requires some means of measurement. Software metrics play an important role in the management aspects of the software development process such as better planning, assessment of improvements, resource allocation and reduction of unpredictability. The process involving early detection of potential problems, productivity evaluation and evaluating external quality factors such as reusability, maintainability, defect proneness and complexity are of utmost importance. Here we discuss the application of CK metrics and estimation model to predict the external quality parameters for optimizing the design process and production process for desired levels of quality. Estimation of defect-proneness in object-oriented system at design level is developed using a novel methodology where models of relationship between CK metrics and defect-proneness index is achieved. A multifunctional estimation approach captures the correlation between CK metrics and defect proneness level of software modules.Comment: 5 pages, 1 figur

Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance)

Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a profound impact on the design rules for the controlling software. In particular, the criteria for judging efficiency of the algorithms will be somewhat different. This paper explores some of these implications through the development of highly parallel and highly distributable algorithms based on occam and transputer networks. The major results reported are a new simplicity for software designs, a corresponding ability to reason (formally and informally) about their properties, the reusability of their components and some real performance figures which demonstrate their practicality. Some guidelines to assist in these designs are also given. As a vehicle for discussion, an interactive simulator is developed for checking the functional and timing characteristics of digital logic circuits of arbitrary complexity

Hardware software partitioning of crankshaft function in engine control units using FPGA-based testing

The automotive industry shows a gradual transition from a simple transportation model to a car that relies on electronics for safety control. A modern car will offer many features in which the car drive or park automatically; this shows the effort of the automotive industry in increasing the consumer's safety level on the road. The increasing awareness of safety results in reliance of today cars on the electronic controlling components such as engine, steering, transmission, braking system and airbags. This project proposes hardware and software co-design that provides flexibility, timing precision, performance, manageable software design, complexity and meets safety requirement. The solution is aligned with Application-Specific Integrated Circuit (ASIC), which features complex control algorithm, implementation in hardware and controllable through firmware

Near-optimal experimental design for model selection in systems biology

Motivation: Biological systems are understood through iterations of modeling and experimentation. Not all experiments, however, are equally valuable for predictive modeling. This study introduces an efficient method for experimental design aimed at selecting dynamical models from data. Motivated by biological applications, the method enables the design of crucial experiments: it determines a highly informative selection of measurement readouts and time points. Results: We demonstrate formal guarantees of design efficiency on the basis of previous results. By reducing our task to the setting of graphical models, we prove that the method finds a near-optimal design selection with a polynomial number of evaluations. Moreover, the method exhibits the best polynomial-complexity constant approximation factor, unless P = NP. We measure the performance of the method in comparison with established alternatives, such as ensemble non-centrality, on example models of different complexity. Efficient design accelerates the loop between modeling and experimentation: it enables the inference of complex mechanisms, such as those controlling central metabolic operation. Availability: Toolbox ‘NearOED' available with source code under GPL on the Machine Learning Open Source Software Web site (mloss.org). Contact: [email protected] Supplementary information: Supplementary data are available at Bioinformatics onlin

Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank

Large organizations like banks suffer from the ever growing complexity of their systems. Evolving the software becomes harder and harder since a single change can affect a much larger part of the system than predicted upfront. A large contributing factor to this problem is that the actual domain knowledge is often implicit, incomplete, or out of date, making it difficult to reason about the correct behavior of the system as a whole. With Rebel we aim to capture and centralize the domain knowledge and relate it to the running systems. Rebel is a formal specification language for controlling the intrinsic complexity of software for financial enterprise systems. In collaboration with ING, a large Dutch bank, we developed the Rebel specification language and an Integrated Specification Environment (ISE), currently offering automated simulation and checking of Rebel specifications using a Satisfiability Modulo Theories (SMT) solver. In this paper we report on our design choices for Rebel, the implementation and features of the ISE, and our initial observations on the application of Rebel inside the bank

Toward the hardening of real-time operating systems

Safety and Mission-critical systems are evolving daily, requiring increasing levels of complexity in their design. While bare-metal single CPU systems were dedicated to such systems in the past, nowadays, multicore CPUs, GPUs, and other accelerators require more complex software management, with the need for an operating system controlling everything. The presence of the operating system opens more challenges to securing the final system’s full dependability. This paper analyses the hardening scenarios based on the evidence gathered by selective fault injection analysis of Real-Time Operating systems. While solutions might be delivered in different fashions, the emphasis on the paper is on the right approach to spot the sensitive part of the Operating system, saving the design from massive overheads

A Passivity-Based High-Bandwidth Voltage Control for Grid-Forming Inverters

The increasing number of power electronic devices connected to the power system is leading it to new stability challenges. The uncertainty of the grid-model may complicate the controller design and compromise stability. As a countermeasure, LQR and pole-placement techniques can be re-oriented to design for passivity, which is leading to new controller design paradigms. Nevertheless, as a general rule, all the variables of the system are considered in the full bandwidth, which may become unfeasible or costly in the industrial scenario. An original controller design technique for LC or LCL filter which accomplishes passivity in a wide range of frequency is proposed. Besides, it reduces the voltage sensor needs, even controlling it, being suitable for Grid-Forming. As consequence, the complexity of the software, hardware and price are reduced. Experimental verification is provided: impedance of the converter from the grid side and response against a changes in the reference/load

Characterization of a missle flyout simulation

This thesis develops a systematic approach to exploring the response of a missile flyout software simulation to input noise. The research is intended to augment the current characterization tests employed by the Electronic Warfare Testing community. This thesis explores the direct relationship between specific input noise signals and individual simulation responses. The design defines an approach for characterizing the behavior of a deterministic simulation of tremendous complexity by controlling test conditions. Techniques for generating realistic random noise are derived. A statistical model of the relationship between input noise missile miss distance at the point of closest approach is presented. The statistical model coefficients are tested for validity. The techniques used are of general applicability to future missile simulation studies