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 address the problem of deriving test suites for checking components of interacting finite state machines with timed guards (TFSMs). Given a component TFSM, a corresponding test is derived for the composition of TFSMs under the assumption that all other components are fault-free.
If visions and forecasts of industry come true then we will be soon surrounded by billions of interconnected embedded devices. We will interact with them in a cyber-human symbiosis, they will not only observe us but also our environment, and they will be part of many visible and ubiquitous objects around us. The information that is collectively gathered and analyzed is supposed to help us in our daily...
Using internet of things (IoT) to connect things, service, and people for intelligent operations has been discussed and deployed in many industry domains such as smart city, smart energy, healthcare, food and water tracking, logistics and retail, and transportation. However, scarce information is available for IoT usage in industrial automation domain for reliable and collaborative automation with...
This article presents our concept of an artificial hormone system for realizing a completely decentralized selforganizing and real-time capable task control mechanism using self-X properties. Besides the fundamentals of the prior hormone concept and the implementation model, we present latest results of our research: specification and analysis of an accurate timing model according the self-optimization...
Reliability and performance are two important features in the design of a computer. As the use of computers and electronic devices is growing exponentially, the need for conservation of energy is becoming inevitable. In this paper, we present a system which conserves energy without compromising much on neither reliability nor performance. In our framework, we have three processors out of which two...
The problem of device independent data access has been answered by the cloud computing technology. The flexibility of device independence has driven many users, and the no maintenance strategy has driven many organizations towards this technology and the number is increasing by the day. Therefore energy efficient computing on the cloud processors has become inevitable. In this paper, we present a...
This paper presents a methodology for estimating the upper and lower bounds of a real-time traffic prediction system, i.e., its prediction interval. Without a very complex implementation work, our model is able to complement any preexisting prediction system with extra uncertainty information such as the 5% and 95% quantiles. We treat the traffic prediction system as a black box that provides a feed...
To achieve strategic advantage in today's turbulent environments, it is crucial for organizations to draw increasingly faster conclusions out of changing circumstances. As most decisions today are based on data collected by Information Systems (IS), the IS itself must become more adaptable. This is particularly challenging in the domain of Business Intelligence (BI) Systems since the underlying architectural...
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.