News

COOJA and Testbed Federation/TWIST growing together

Two COOJA plugins and manuals have been published to integrate the TWIST testbed in COOJA and to take checkpoints and perform rollbacks both in TWIST and COOJA.


Call for Papers: CONET/UBICITEC 2013

The 4th International Workshop on Networks of Cooperating Objects for Smart Cities 2013 (CONET/UBICITEC 2013), colocated with CPSWeek 2013, accepts submissions until January 28th, 2013.


Newsletter issue #19

The 19th CONET newsletter has been published. You can read on Virtual Organizations for Multi-Model Based Embedded Systems and on the UvA Bird Tracking System.


Current Page: MembershipAssociated MembersFBK

Bruno Kessler Foundation (FBK)

The Centre for Scientific and Technological Research (FBK-irst) is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura (ITC-irst), founded in 1976, a public research centre of the Autonomous Province of Trento in Italy. For nearly three decades the centre has been conducting research in the areas of Information Technologies, Microsystems, and Physical Chemistry of Surfaces and Interfaces. FBK-irst takes an active interest in the needs of the Trentino region while collaborating with industry, universities, and public and private laboratories in Italy and abroad, thus becoming an internationally recognized research centre. The centre's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. In addition, the centre carries out its mission by disseminating and publishing results, and transferring technology to companies and public entities.

 

Participants in CONET will be members of the Embedded Systems and Smart Optical Sensors and Interfaces units, whose competences revolve around wireless sensor networks, distributed systems, formal verification, automated deduction, model checking and software, requirements engineering, and low power video sensor design. Participants are involved in several WSN deployments. For example, in collaboration with a group of civil engineers from the University of Trento, a WSN is being used to monitor the structural health of a local medieval tower. Also, in a locally funded research project, we are supporting the use of a WSN in a closed loop control system for monitoring and establishing the light levels in a road tunnel, with the goal of reducing energy consumption and increasing safety. We also have plans to integrate the active work on design automation techniques to the WSN environment.

 

We also bring competences on optical sensors in ultra-low power sensor architectures, based on standard CMOS technology, energy-efficient pixel-level image pre-processing, output data coding and compression. Participants are involved in the development of an energy-autonomous wireless vision sensor, in collaboration with two companies, Neuricam (I) and Emza Visual Sense (IL). Moreover, a first prototype of vision system is going to be installed at the Museo Nazionale Giuseppe Verdi, Busseto (I), monitoring people flow at the main entrance of the museum. The main goal is to cut down the energy budget of the vision technology in order to make it suitable for WSN applications.

 

Amy L. Murphy is currently a researcher at FBK-irst. She received a B.S. in Computer Science from the University of Tulsa in 1995, and M.S. and D.Sc. degrees from Washington University in St. Louis, Missouri in 1997 and 2000 respectively. She spent five years in academia as an assistant professor at the University of Rochester, New York, and the University of Lugano, Switzerland, and one year as a visiting researcher at Politecnico di Milano, Italy. Her research interests include the design, specification, and implementation of middleware systems for mobile ad hoc, sensor, and dynamic peer to peer networks. The driving theme of the work is to enable the rapid development of dependable applications for these complex dynamic environments. http://es.fbk.eu/people/murphy/

 

Alessandro Cimatti is a senior researcher at FBK-irst where he is the head of the Embedded Systems unit within the Center for Information Technology division. His main research interests concern formal verification of industrial critical systems, methodologies for design and verification of hardware/software systems, decision procedures and their application in Formal Methods, safety analysis, diagnosis and diagnosability of hardware/software systems. He published more than hundred papers in the Formal Methods and Artificial Intelligence fields. Cimatti has been a member of the Program Committee of the major conferences in computer-aided verification, and has been the leader of several industrial research and technology transfer projects in the design and verification of safety critical systems.

 

Massimo Gottardi received the laurea degree in electronics engineering from the University of Bologna (I) in 1987. He joined FBK in 1989 in the design of CCD imagers. He has been visiting researcher at IMEC (B), and at the Harvard University (MA), in 1990 and 1992 respectively, working on CCD/CMOS smart image sensors for machine vision applications. His research interests include: CMOS image sensor architectures, ultra-low power vision sensors, optical position sensitive detectors, low-power capacitive MEMS interfaces and their applications in wireless sensor networks.