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.
In this paper we discuss the end-to-end schedulability analysis for the bi-directional multistage pipeline systems, in which the arriving tasks could traverse the pipeline nodes in either of the two opposite directions. By accounting for the task execution overlap among nodes, we could derive an end-to-end delay bound formula for each task, which transforms the schedulability analysis of the task...
In recent years, architecture analysis & design language (AADL) has been applied to the development of dependable real-time systems, in which the quality of the developed software is an important factor. Thus, to make sure that real-time systems are really dependable, we must verify the important properties, such as safety and reliability. This paper describes a contribution to the transformation...
In this paper, we introduce a novel real-time polymerase chain reaction (PCR) chip, which integrated the pretreatment of biological sample, the PCR reaction and the real-time fluorescent detection. We have built a dam in the chamber of the chip, and formed a crack underneath it to separate the white blood cell from the whole blood. After the lysis of white blood cells which was separated from the...
Architecture analysis and design language (AADL), which is a modeling language standard brought forward by the Society of Automotive Engineers and Avionics Systems Division, is becoming a hot research topic for many organizations and institutes in the world. Though there are some tools could generate C code or Java code from a subset of AADL models as application program directly, it could not be...
There is more and more the ubiquitous use of different types of real-time embedded (RTE) systems in our daily lives with rapid developments in science and technology. Because design faults might result in injury or even death to human beings who are using these systems, how to ensure the RTE systems are really safe is very important. The schedulability problem is a very important problem needs to...
With rapid developments in science and technology, we now see the ubiquitous use of different types of safety-critical systems in our daily lives such as in avionics, consumer electronics, and medical systems. In such systems, unintentional design faults might result in injury or even death to human beings. To make sure that safety-critical systems are really safe, only using the traditional methods...
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.