In hard real-time systems, where system complexity meets stringent timing constraints, the task of system-level synthesis has become more and more challenging. As a remedy, we introduce an SMT-based system synthesis approach where the Boolean solver determines a static binding of computational tasks to computing resources and a routing of messages over the interconnection network while the theo...

Over the last three decades comprehensive research has been carried out trying to improve commissioning processes with powerful modeling tools and methodologies for data analysis and visualization. Typically addressed application scenarios are facilities management, contracting, special consulting services and measurement & verification as part of a certification process. The results are all bu...

Last years, aside the proliferation of Web 2.0, we assisted to the drastic growth of the mashup market. An increasing number of different mashup solutions and platforms emerged, some focusing on data integration (a la Yahoo! Pipes), others on user interface (UI) integration and some trying to integrate both UI and data. Most of proposed solutions have a common characteristic: they aim at provid...

Techniques for efficient and distributed processing of huge, unbound data streams have made some impact in the database community. Distributed data stream processing systems have emerged providing a distributed environment to process these potentially unbound streams of data by a set of processing nodes. A wide range of real-time applications process stream-based data. Sensors and data sources,...

The objective of this study was to develop and optimize the combined methods of air sampling and real time polymerase chain reaction (real-time PCR) for quantifying aerosol Legionella spp. Primers and TaqMan hydrolysis probe based on 5S rRNA gene specific for Legionella spp were used to amplify a specific DNA product of 84 bp. The impinger air sampler plus T-100 sampling pump was used to collec...

Applying a knowledge-based approach to monitoring and controlling real-time systems is often infeasible because the execution time of backward-chaining queries is unpredictable. In this paper, we show how a decomposition of reasoning into forward and backward inference can bound the execution time of queries. We present a domain modeling technique with algorithms for classifying knowledge into ...

Programming robots is a complicated and time-consuming task. A robot is essentially a real-time, distributed embedded system. Often, control and communication paths within the system are tightly coupled to the actual physical configuration of the robot. Thus, programming a robot can hardly be achieved by experts of the domain in which the robot is used. In this paper we present an approach towa...

Simulation is a common tool for modeling and evaluating real-life systems. In discrete event simulation (DES) a system is represented from the perspective of its events. Modern tools for developing simulations are bound to general purpose programming concepts that cannot represent the simulation domain effectively. In this paper, we propose a model-driven approach to DES domain. We provide a me...