| Structure Generation for Digital Systems (DSG-1) [finished] |
| Overview: The cost of digital chip development grows rapidly with test and verification taking an ever-increasing part of it. Development of new, more efficient methods for systems synthesis, test and verification would significantly bring down the expenses. The main goal of the sub-project is to develop a platform of tools and methods for synthesis, test and validation of complex System-on-a-Chip (SoC) designs (exceeding 100000 logic gates) based on novel algorithms, which include hierarchical methods, hybrid self-test architectures, decision diagrams and model-checking.
Project started in October 2004 and is expected to be finished by the second half of 2007.
Read more ... |
|
| Smart ontology-based spatial information retrieval |
| Overview: As a result of the sub-project, semantic and ontology-based spatial information retrieval algorithms, methods and ontologies are developed and evaluated. A pilot semantically enabled spatial data search engine is designed, prototyped and benchmarked against keyword-based search engine(s). Read more ... |
|
| Roboswarm |
Overview: Roboswarm is a European research consortium with partners from universities and industry.
The goal of the project is to develop simple and low-cost technologies for making both single robots and groups of robots – swarms – more intelligent.
Detailed overview
Webpage: www.roboswarm.eu
Read more ... |
|
| Processing of broad band signals with applications in medical diagnosing, biotechnology, and context aware systems |
| Overview: 1.To develop original and more effective than known algorithms for simultaneous multi-signal impedance measurement in biology and medicine, more exactly, in microfluidic devices and cardiovascular monitors.
2.Investigation of applicability of chirp excitation in ultra-wideband impedance spectroscopy for material testing tasks, including the biomaterials like cells and droplets.
3.Testing and demonstration of application efficiency of novel signal processing tools and hardware design methods. Read more ... |
|
| Personalized Smart Environment Services |
| Overview: Continuation of ELIKO's ongoing activities of user activity and preference monitoring based on, in- and outdoor positioning, mobile Internet access, computer usage habits, smart home control using SHG. Development of optimal methods for model based processing of user activity logs. Collecting and processing of evaluation data including public databases. Optimization of clustering and active feedback based data mining methods for adaptive user profiling. Initially proposed methods are Bayesian Networks, Self-organizing maps, Nearest Neighbour searching. ELIKO's existing pull-mode (passive RFID based) knowledge acquisition solutions will be extended with active human user condition and preference monitoring components based on smart dust, monitoring type SHG. set. Read more ... |
|
| Open Measurement and Monitoring System for Intelligent Manufacturing Systems |
| Overview: Subproject AMMI (Open Measurement and Monitoring system for Intelligent manufacturing systems) is focused on development of flexible factory data acquisition solutions that are mainly based on ultra high frequency RFID technology. Project started in April 2005 and is expected to be finished by the second half of 2006.
The goal of the project is to monitor (independently of process control) real usage of machines, tools and half-finished products during manufacturing cycle and, based on analyze of collected data, to improve productivity and simplify resource sharing.
Some benefits to be mentioned:
* More precise estimation of actual manufacturing resource productivity and availability.
* Better chances for cooperation and resource sharing between enterprises using resource databases.
* More effective solving of logistic tasks.
The prototype solution under development is targeted to small and medium enterprises (SMEs) oriented to low volume production requiring interenterprise cooperation e.g. machine industry. It is planned to use wireless ad hoc communication between data acquisition centers allowing quick temporary installations for short time production flow tuning. Flexible data output format should demonstrate cooperation possibilities for SMEs.
Read more ... |
|
| Non-classical Signal Processing Methods in Electronic Test, Measurement, Diagnostics and Monitoring Devices |
| Overview: There is a continuous trend of the transition of the digital signal processing technologies towards the primary data sources (analog-front-end) in the contemporary test, measurement, diagnostics and monitoring applications. This situation, where rapidly crowing number of relatively autonomous and sparsely located primary data acquisition and processing nodes need to be integrated into one operating set, requires novel signal processing and effective intercommunication technologies.
In the field of medicine, mobile, and wearable applications, where systems should operate with limited power resources and are exposed to the harsh environmental conditions, robustness of the hardware and effective signal processing technologies are of
vital importance.
In order not to burden unreasonably the communication channels between separate nodes it is necessary to perform the initial data processing at the near vicinity of location, where primary analog signals are sensed.
In current sense, non-classical signal processing technologies are technologies able to bypass the Nyquist limits, aliasing effects, and to reduce the required computational power and traffic in the intercommunication channels. The technology under development will use effectively the prior knowledge about the performance of the objects and signals to be analyzed, thereby optimizing, simplifying, and adapting the conventional methods for use in application specific designs.
Read more ... |
|
| Model based testing and validation of distributed real-time systems |
| Overview: The objective of the project is to work out methods and a regression test environment for distributed embedded software. It should be able to simulate the embedded systems hardware and provide a middleware for interconnecting distributed asynchronous software components into a system allowing to catch timing and synchronization bugs.
A second objective is to prepare industrial case-study based demonstration of the test environment for systems that are subject to online model-based testing. The models have to support shallow non-determinism, i.e. one stimulus to the system may result in various outputs of the system. Read more ... |
|
| Integration Platform for Development Tools of Embedded Systems [finished] |
| Overview: Objective of the project: Elaboration of an integrated environment and repository of development tools for modeling, verification, testing and synthesis of embedded networks
Mission statement: Quality assurance constitutes about 60 - 80% of embedded systems development costs. The testing, verification and synthesis tools that will be physically and methodologically integrated into our platform are targeted to reduce the time and cost of developing embedded systems.
Project Partners: Tallinn University of Technology, ELVIOR Ltd, APPRISE Ltd.
Members of the team: Jüri Vain (project manager), Endre Domiczi, Kullo Raiend, Jan Roos, Juhan Ernits, Martti Käärik.
Activities: Since 2006 the R&D activities of the project are organized into the following activities:
1.1.1 Test generation methods and tools
1.1.2. Code generation methods and tools
1.1.3. Synthesis of provably correct digital controllers.
Read more ... |
|
| Embedded systems test, verification and debug |
| Overview: The main objective of the project is to develop innovative software and hardware solutions for embedded systems test, verification and debug. In particular, new assertion-based verification and debug tools will be implemented. An additional goal is to create a low-cost open architecture tester platform applicable to mass production of embedded system boards. Moreover, an XML-based test development and deployment system will be created as a result of the project. Read more ... |
|
