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.
Linux is not a real-time operating system, however it has been often recently used to implement soft real-time systems such as home multimedia centers. A quantitative study of the Linux kernel responsiveness to hardware interrupts has shown a huge variance in experimental results, however, we argue that a careful selection of the modules inserted in the kernel can greatly reduce this variance and...
The following topics are dealt with: adaptive computing; architectures; design evolution; distributed systems design; embedded and real-time software systems; formal methods; model-based system design; modeling and analysis of complex systems; product-family models and architectures; reliability, safety, dependability, and security; system on a chip; system assessment, testing, and metrics; verification...
In the paper, upgraded version of our tool for learning and training of scan design for testability technique principles and its consequences to parameters of embedded system is presented. It is outlined how the tool can be utilized in education process in order to illustrate relation between design and diagnostic parameters of embedded system
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...
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
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...
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...
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.