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.
The quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems can degrade under certain operating conditions and system architectures. This paper provides two contributions to research on model-driven development (MDD) tools and methods that help identify and rectify these QoS problems in component-based enterprise DRE systems. First, we show how MDD tools can be used...
Agent oriented software development is generally motivated by the need of open and adaptive systems development that continuously change and evolve to meet new requirements. In this paper, we propose an agent-based open and adaptive system development process. The proposed methodology is based on model-based techniques and provides a specific model for the type of information to be gathered and uses...
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to correct specifications as they are constructed, driving the engineer towards a more correct specification. We also present a concrete specification language based on this methodology
This paper explains how a working Petri Net model developed for a soft real time system. A bank ATM connects to an ATM controller, which in turn connects to a card authorization system. This model is developed using timed Petri nets and there is the addition of other complex mechanisms that give more realistic behavior and a finer level of detailed events. More complex constructs like: timers, reset...
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the domain of embedded systems. We present a tool that uses advanced graph-rewriting techniques to generate a schedule that satisfies hard real-time constraints for multi-modal systems. The input is a time-triggered system specification...
We study the problem of tracking moving objects using distributed wireless sensor networks (WSNs) in which sensors are deployed randomly. Due to the uncertainty and unpredictability of real-world objects' motion, the tracking algorithm is needed to adapt to real-time changes of velocities and directions of a moving target. Moreover, the energy consumption of the tracking algorithm has to be considered...
In this paper, we aim at capturing the industrial viewpoint of today's and future requirements in development of embedded real-time systems. We do this by interviewing ten senior designers at four Swedish companies, developing embedded applications in the vehicle domain. This study shows that reliability and safety are the main properties in focus during development. It also shows that the amount...
This paper describes the results of a survey about the problems of and solutions for collaborative SW development. The survey was done through several interviews of companies doing collaborative development and also through a literature search to find already published experiences and solutions. As a result, we found that the literature focuses on solutions for more general issues like communication...
In this paper, we describe the use of generic programming approach to design and implementation of a collection of basic model-checking algorithms on the .NET framework. The mentioned methodology separates algorithms and data structures similarly to Standard Template Library that allows delivering general and efficient algorithms. As the implementation environment does not enable us to exploit the...
In this paper, an attempt has been made to evaluate cognitive information complexity measure (CICM) terms of nine Weyuker properties. It has been found that all the nine properties have been satisfied by CICM and hence establishes cognitive information complexity measure based on information contained in the software as a robust and well-structured one
The scope of this paper is how we can achieve reusability by merging two different programming languages. The two entirely different languages, .Net and Java can be merged together to achieve huge benefits of reusability. It is basically achieved by combining an existing system of any language (.Net or Java) with the other language to give you a new product without changing your existing systems
In this paper, we present a real-time analysis for complex distributed systems. The event stream model describes the occurrences of events within arbitrary time intervals. We propose a method to explore the modification of these occurrences as the events are processed within a complex task system. By observing the effects of several tasks competing for the same resource, additional insight can be...
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of a software engineer is to develop software systems which are able to take part in these new possibilities. Hereby, the drawback is the simple fact that such software systems and their modeling are getting more and more complex...
The rapid increase of e-learning resource makes it difficult to make, find access and reuse useful resource. To solve the problem, we develop a standardized content service system (SCSS) for distributed learning resource. The system is based on J2EE technology and Web services. It can provide the service for the conversion of non-standard resource and the development of standard resource. It also...
Product-line architectures (PLA)s are a paradigm for developing software families by customizing and composing reusable artifacts, rather than handcrafting software from scratch. Extensive testing is required to develop reliable PLAs. Each PLA may have hundreds of valid variants that can be constructed from the architecture's components. It is crucial that each of these variants be thoroughly tested...
Due to the difficulty of reliability analysis of multistate systems, a new method based on Bayesian networks is proposed through an example. Reliability block diagram and logic operators are firstly established according to the hierarchy of structure and function of multistate systems, and the Bayesian networks is constructed based on the reliability block diagram, distribution of components and logic...
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead us to consider that these systems are safety critical, i.e., systems where the strict management of safety aspects is vital. In this work, we introduce our proposal for the consideration of safety related requirements and...
This paper presents a new strategy for design space exploration (DSE) of system-on-chip (SOC) platforms. The solution adopted uses a multi-objective optimization technique based on the concept of Pareto-optimality. The approach is purely heuristic and is a variation of the "simulated annealing" algorithm. To illustrate and validate our methodology the algorithm was used to design a highly...
Fault prediction models still seem to be more popular in academia than in industry. In industry, expert estimations of fault proneness are the most popular methods of deciding where to focus the fault detection efforts. In this paper, we present a study in which we empirically evaluate the accuracy of fault prediction offered by statistical models as compared to expert estimations. The study is industry...
In this paper we describe a variability mechanism centric approach for the representation of process family architectures, which act as the major blueprint for the implementation of families of process oriented software in process family engineering. We therefore analyze the role of variability mechanisms in process family architectures and define a set of variability mechanisms for process family...
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.