Szilárd Jaskó

CSP-Based Sensor Network Architecture for Reconfigurable Measurement Systems

A reconfigurable sensor-networking architecture is proposed, which is constructed from lightweight functional elements running on small virtual machines. The proposed architecture provides a flexible measurement framework that is easily adaptable to changing system requirements in run-time. The system is based on Communicating Sequential Processes and thus provides the possibility of verification and checking of system correctness in order to produce provably robust and reliable measurement systems. The structural deadlock-free property of the network is formally proven.

Test aspect of requirement specification

This paper presents the test aspect of URN. User Requirements Notation (URN) is the part of ITU-Ts family of languages. URN contains two kinds of notation. The first one, Goal-oriented Requirement Language (GRL) is used to describe business goals, non-functional requirements and alternatives. GRL can provide goals for test next to the system goals. The second one is Use Case Maps (UCM). It describes functional requirements and high level designs with causal scenarios. UCM includes information for test and has UCM-based testing approaches.

Dynamic Models of a Home Refrigerator

Abstract Home refrigerators produce a substantial part of the annual power consumption in an average household. To further improve the efficiency of these devices, new intelligent control solutions are required. These solutions necessitate the behaviour modeling of the refrigerators. We seek models with as simple structure as possible, since future intelligent controllers may use such models in real time, thus their evaluation must be feasible even on simple microcontrollers. We investigate various dynamic models to describe the behavior of the refrigerator, i.e. the cool-down and warm-up phases. For model parameter identification real data was collected from a real home refrigerator. Data processing, modeling and the parameter identification were performed in MATLAB environment.

Combined Test Model

Test is important part of every industrial flow. Therefore preparation of it is in the early phase of development. An effective method is to use User Requirements Notation (URN) for it. It contains two parts: Goal‐oriented Requirement Language (GRL) and Use Case Maps (UCM). It can give the test goals with the help of and GRL and it can provide exact formal description for test generation with the help of UCM. Finally it can link to other mathematical formal models like Communicating Sequential Processes (CSP) or Control Signal CSP (CSCSP). A test system that is described by CSP, a modified CSP that is called CSCSP and a test aspect of URN is combined in this paper. The whole method becomes more useful with the combination of these three solutions, because it can be used in the area of test from the beginning to the end.

Game Theory in Fleet Management

In this survey we attempt to apply the results of cooperative game theory on fleet management problems. We deal with the aspect of a fleet where the members have their own goal, however the fleet has a common purpose too. These goals are to reach all destinations and get back to the center as quickly as possible. If we draw the map of the area‐which contains the destination points and their environment‐as a graph, we should determinate circles in it for each member of the fleet. Separating the nodes for each member, we should find Hamilton‐circles of the sub‐graphs. How to separate the destination points between the fleet members? How to route the members? What happens if there is an accident on a road which changes the way of a member? It may influence the other members’ route too. What to communicate for getting the relevant information? How to change the routes in real time? We use cooperative game theory to find the solution.

Adaptive Model-based Control for Cost-aware Household Appliances

As a step towards sustainable energy management systems, energy providers use various demand side management techniques to reduce fluctuations in consumer energy demand. Dynamic pricing schemes encourage consumers to shift their energy usage patterns from peak hours towards off-peak periods, but here usually the active participation of consumers is anticipated. Smart household devices, which can autonomously shift their time of operation, can efficiently support such demand side management techniques. In this paper an adaptive model-based control scheme is proposed to create intelligent cost-aware household appliances, which can change their behaviour to minimize the cost of consumed energy and at the same time provide the required quality of service. The controller utilizes the dynamically changing energy price list, published ahead by the energy provider, thus it cooperatively supports demand side management. The proposed methods are evaluated in a case study, utilizing a household refrigerator. The proposed adaptive model predictive controller can save 5-10% of the energy bill, according to simulation results.

Instant Messaging by SIP

SIP is a general‐purpose application layer protocol which is able to establish sessions between two or more parties. These sessions are mainly telephone calls and multimedia conferences. However it can be used for other purposes like instant messaging and presence service. SIP has a very important role in mobile communication as more and more communicating applications are going mobile. In this paper we would like to show how SIP can be used for instant messaging purposes.