The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Monitoring the results of software reliability growth models (SRGMs) helps evaluate project's situations. SRGMs are used to measure the reliability of software by analyzing the relations between the number of detected bugs and the detected time to predict the number of remaining bugs within the software. For example, development managers apply a SRGM to the number of detected bugs and the detected...
High quality requirements are set for automated production systems (aPS) as malfunctions can harm humans or cause severe financial loss. These malfunctions can be caused by faults in the control software of the aPS or its inability to correctly identify and handle unintended situations and errors in the technical process or hardware behavior. To achieve more dependable control software, software testing...
There are many software-based tools that can be used to evaluate the radio-ecological impacts. Plume Gaussian is a simple dispersion model, easy to be implemented and developed further. This paper describes the application of Plume Gaussian model to simulate the dispersion of I-131 released around the Serpong Nuclear Area (Kawasan Nuklir Serpong, KNS). The software development consists: mathematical...
This paper will discuss an embedded system for Structural Health Monitoring (SHM). The system designed is a working proof of concept prototype made for an SHM system using Piezoelectronic transducers as the sensors. The system uses pulse-echo and pitch-catch techniques to find the location of damage and the width of the damage. If damage is present, the system will generate an email and send to the...
Compared with horizontal solar still, vertical solar still has better condensation but lower evaporation. To increase the evaporation, it needs a control system that moves a vertical solar still to follow the azimuth angle of the sun. This paper presents a design of a GPS-based solar tracker system, that can moves the vertical solar still follow the azimuth angle of the sun. Furthermore, to determine...
nowadays, change is an important aspect of the world. Complexity and change in requirements and environments bring us to Autonomic Systems as a solution. Like any other kind of software system, better implementation of a system needs a proper evaluation method for system implementation. To evaluate a Self-Adaptive system, appropriate quality factors are needed for evaluation. This research tries to...
Engineering and computer science have come up with a variety of techniques to increase the confidence in systems, increase reliability, facilitate certification, improve reuse and maintainability, improve interoperability and portability. Among them are various techniques based on formal models to enhance testing, validation and verification. In this paper, we are concentrating on formal verification...
Most of network operation/management tasks such as traffic accounting, traffic engineering, and network design require an accurate and timely network Traffic Matrix (TM). A TM presents the network traffic volume between origin and destination (OD) nodes. Many network management methods assumed that an accurate traffic matrix is given by other network entities, but this is not true. To apply those...
In software development, software reliability growth models (SRGMs) often provide values that do not meet expectations; sometimes the results of the SRGM and the actual data disagree and other times the SRGM overestimates the expected values. The former often occurs in model curves and the predicted number of faults. For example, the software reliability growth curve cannot describe the situation...
This A remote patient monitoring system is implemented which is used for real time monitoring of various heath parameters of a remotely based patient. Oxygen saturation and body temperature are the two parameters calculated and transmitted via a server to a remote client. The main purpose of this paper is to present a remote Pulse Oximetry System for health monitoring purposes. The framework lays...
Software erosion can be controlled by periodically checking for consistency between the de facto architecture and its theoretical counterpart. Studies show that this process is often not automated and that developers still rely heavily on manual reviews, despite the availability of a large number of tools. This is partially due to the high cost involved in setting up and maintaining tool-specific...
A mass balance based model has been derived to represent the dynamical behaviour of two anaerobic digester (one pilot-scale, one industrial-scale). Its parameters have been calibrated for both reactors on the basis of experimental data and following a predefined design of experiments. This mass balance model constitutes the basis for software sensor design that takes advantage of the partial information...
Due to market requests many production systems undergo an everlasting evolution process that increasingly shifts traditional development activities for production systems to later phases of their lifecycle. As one of these activities, this contribution aims on the need for a semi-automated requirement verification mechanism during evolution. In this context the contribution proposes an answer to the...
Risk management (RM) has always been the focus of software project management studies. The abilities to monitor and control the software project risks are among the critical issues examined by various researchers. This paper discusses steps in the RM process based on Boehm model. A survey was conducted to know the perceptions of respondents on their practices of managing project risks. This paper...
Current systems for enacting scientific experiments, and in particular simulation workflows, do not support multi-scale and multi-field problems if they are not coupled on the level of the mathematical model. We present a life cycle that utilizes the notion of choreographies to enable the trial-and-error modeling and execution of multi-scale and/or multi-field simulations. The life cycle exhibits...
Spacecraft health monitoring and management systems (also referred to as FDIR (Fault Detection, Isolation and Recovery) systems)) are addressed since the very beginning of any space mission design and play a relevant role in the definition of their reliability, availability and safety objectives. Their primary purposes are the safety of spacecraft/mission life and the improvement of its service availability...
The Smart Grids (SGs) are regarded as the new generation of electric power systems, combining the development of Information Technology (IT), distributed systems and Artificial Intelligence (AI) for more features on the real-time monitoring of the Demand / Response (DR) and the energy consumption. An approach based on the use of Multi-Agent Systems (MAS) to study the management of distribution systems,...
To break the complexity of the formalisation process, we propose to model a functional requirement document of a control system as composeable monitored, controlled, mode and commanded sub-models. Influenced by the problem frame approach and the decomposition of the four-variable model, we suggest decomposing requirements of a control system into monitored, controlled, mode and commanded sub-problems...
Malware (malicious software) is used by attackers to gain access to end-users' computing devices with the aim of performing malicious actions, such as sending spam, downloading malicious files, and stealing private information. Furthermore, malicious actions result in the infection of many machines at considerable monetary expense to affected end-users. Although anti-malware companies can detect malware,...
A proper planning is one of the main issues the success of a software project lies on. However, a perfect planning is not useful without monitoring sufficiently, which involves not only controlling that the activities and expected costs are being met properly, but also having the ability to anticipate the impact that deviations from the plan will have on the future development of the project. Monitoring...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.