CISTER QuickNews - 21 Jun 2012

CISTER Quicknews

21, Jun, 2012


 CISTER QuickNews



Welcome to the June 21, 2012 edition of CISTER QuickNews.  

CISTER QuickNews is a newsletter providing up-to-date information on the activities and results of the Research Centre in Real-Time Computing Systems, being disseminated monthly to a selected audience.

For more information, contact us at cister-info@isep.ipp.pt, or visit www.cister.isep.ipp.pt. For the QuickNewsarchive, visit http://www.cister.isep.ipp.pt/quicknews/.

Quick look

1. Critical Software and CISTER organize Open Day of the EMMON project at SANJOTEC

2. TACLe COST Action approved

3. CISTER co-responsible for the scientific program of successful conference

4. CISTER researcher appointed Program Chair of RTAS 2013

5. IEEE Symposium on Industrial Embedded Systems comes to Porto in 2013!

6. CISTER researcher takes of PhD Committees in Sweden

7. New researchers at CISTER



Critical Software and CISTER organize Open Day of the EMMON project at SANJOTEC


CISTER/INESC-TEC and Critical Software organized the EMMON Open Day on the 29th of May 2012 in the Science and Technology Park - SANJOTEC (www.sanjotec.com) – located in São João da Madeira, Portugal.  The aim of this event was to showcase the results on Wireless Sensor Networks in a real word environment and present the results and achievements from the last 3 years of the project.


EMMON demonstrated DEMMON2, a real-time environmental monitoring application,  featuring a network of 410 wireless sensor nodes, spread over several rooms/floors, together with over 2600 “virtual” nodes (that emulate the real ones), for proving the scalability, robustness and capability of the technology to cover wider and dense areas/buildings. To our best knowledge, this is the largest single-site R&D WSN deployment in Europe, to date.


This type of technologies is paramount for enabling “smart buildings and environments”, improving the comfort, security, energy-efficiency and quality of life in the cities of the future. The paradigm of smart cities has been assuming an increasing importance worldwide, as already reflected in initiatives such as the Living PlanIT and SmartSantander. In this context, the EMMON technology has been exploited and developed into further projects, e.g. with SAUTER Controls for building automation systems, with INTEL for smart cities and with Portugal Telecom for energy-efficient data centers.


More info at: http://www.artemis-emmon.eu/



TACLe COST Action approved


A COST Action is a network of researchers in a given topic supported by the European Union to facilitate collaboration on a European level. The Timing Analysis at Code Level (TACLe) COST Action has a lifetime of 4 years and was proposed by 10+ European research institutes, with CISTER having a prominent role in the proposal, through the participation of CISTER researcher Stefan M. Petters in the small core team driving the proposal.


Subsequently Stefan will join the management board of the action which takes decisions on the distribution of resources to different activities. Other major participants are the Mälardalens Högskola (MDH) in Sweden, St Andrews University in the UK, University of Ulm in Germany, York University in the UK, Université de Rennes to name a few. The proposal is structured around 4 work packages tackling issues like timing analysis on multicores and composability, tooling aspects, early stage analysis in the development process and integration of resources other than time.


More info at: http://www.cost.eu/domains_actions/ict/Actions/IC1202



 CISTER co-responsible for the scientific program of successful conference


The International Conference on Reliable Software Technologies (Ada-Europe) conference has successfully established as an international forum in reliable software technologies, illustrating current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a variety of application domains.


The 17th International Conference on Reliable Software Technologies – Ada-Europe 2012, took place in Stockholm, Sweden, from June 11 to June 15, 2012. The Program Co-Chairs for this edition of the conference were Mats Brorsson (Professor at KTH Royal Institute of Technology, Sweden) and Luís Miguel Pinho (CISTER/INESC-TEC, ISEP).


The conference addressed a set of topics of interest, under the general umbrella of reliable software systems. Two important topics were the completion of the technical work for the Ada 2012 ISO standard revision process, and the challenges presented to the development of reliable software by the need for multicore programming models.


The conference had a rich program of scientific peer-reviewed papers (the proceedings of which have been published by Springer in the Lecture Notes in Computer Science series - LNCS 7308), industrial presentations and discussion panels. Keynote Speakers were Bertrand Meyer, Professor of Software Engineering at ETH Zurich and Chief Architect of Eiffel Software, Switzerland, Göran Backlund, Senior Consultant at Combitech, Sweden and Jean-Loup Terraillon, Head of the Software Engineering Section at ESTEC/European Space Agency, The Netherlands.


This was an important event for the international community in the development of reliable software systems, attracting academic and industrial participants from 4 continents coming from Australia, Belgium, Brazil, Denmark, Finland, France, Germany, Italy, Japan, Norway, Portugal, Spain, Sweden, Switzerland, the Netherlands, UK and USA.


More information at: http://www.ada-europe.org/conference2012



CISTER researcher appointed Program Chair of RTAS 2013


Eduardo Tovar will serve as Program Chair of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013), which will take place in Philadelphia, U.S.A., in April 2013, and will be held as part of the Cyber-Physical Systems Week (CPS Week). This event is a highly selective forum for presentation and discussion of original research papers, covering all aspects of real-time and embedded computing theory and practice.


All the information about the event will be posted at: http://www.rtas.org/



IEEE Symposium on Industrial Embedded Systems comes to Porto in 2013!


CISTER/INESC-TEC and ISEP were selected to host the 8th IEEE International Symposium on Industrial Embedded Systems (SIES 2013), a forum aimed at covering state-of-the-art research and development in embedded systems and their applications in a variety of industrial environments.


SIES is a leading international scientific event in the area of embedded systems, taking usually place in the mid of June. Previous editions of the symposium were hosted by reputed institutions worldwide, being the 2012 edition hosted by the Karlsruhe Institute of Technology, Germany (http://sies2012.ira.uka.de/).


The selection of CISTER/INESC-TEC to host this reputed scientific and industrial event is a translation of the world-wide visibility and leadership of the center in the area of real-time and embedded computing systems. CISTER and ISEP have already hosted and impressive array of renowned events such as the IEEE WFCS'2000 (http://www.cister.isep.ipp.pt/wfcs2000/), the ECRTS 2003 (http://www.cister.isep.ipp.pt/ECRTS03/), the IRTAW 2003 (http://www.cister.isep.ipp.pt/irtaw2003/), the Ada-Europe 2006 (http://www.cister.isep.ipp.pt/ae2006/) and ECRTS 2011 (http://www.cister.isep.ipp.pt/ecrts11/).


All the information about the event will be posted at: http://www.cister.isep.ipp.pt/SIES13



CISTER researcher takes of PhD Committees in Sweden


CISTER/INESC-TEC Eduardo Tovar was one of the members of the Grading Committee of two Ph.D. theses defended at the Mälardalens University, Sweden, last June 18 and 19.


The thesis, “Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems”, was defended by Yue Lu to a panel also including as well Prof. Enrico Bini, University of Lund, Sweden, Prof. Isabelle Puaut, University of Rennes, France and Prof. Alan Burns, University of York, UK.


The thesis by Hüseyin Ayhan Aysan entitled “Fault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems” was defended to a panel also including Prof. Petru Eles, University of Linkoping, Sweden, Prof. Alan Burns, University of York, UK and Prof. Lucia Lo Bello, University of Catania, Italy.


More information at: www.mrtc.mdh.se



New researchers at CISTER


Both aiming at a stronger team in the ENCOURAGE International project, and fostering the research activities being carried out in the area of Sensor Networks, CISTER hired a new research scientist, Michele Albano, from Italy.


Michele Albano received a BSc, MSc and PhD degrees in Computer Science in 2004, 2006 and 2010 respectively, all of them from the University of Pisa, Italy. He was a visiting researcher at Universidad de Malaga (Spain) in 2007, at Stony Brook University (New York, USA) in 2009, and before being a researcher he worked as software engineer and wireless technology specialist in private companies in the period 2001-2006. In 2006 and 2007 he was involved in several EU funded projects, and in the period 2010-2012 he held a post-doctoral researcher position at the Instituto de Telecomunicações (Portugal), where he acted as project Technical Manager and Work Package Leader. He has co-authored more than 40 papers published on international journals and conference proceedings, and has published the book "Data Centric Storage in Wireless Sensor Networks: Advanced Techniques". His main research interests are in the areas of wireless sensor networks, energy saving in wireless communication, and peer-to-peer networks.


The CISTER research unit is further implementing its strategic development plan with the addition of one more researcher. He has been selected from a group of many candidates who spontaneously applied this year.


David Pereira was born in Porto, Portugal, in 1980. In 2003 he received his degree in Computer Science at University of Porto. In 2007 he finished his Master's degree in Computer Science also in University of Porto, in the areas of formal logics for specifying and reasoning about intelligent agents. He is currently finishing his PhD in Computer Science, in the MAP-i PhD program, organized by the Universities of Minho, of Porto and Aveiro. His research is focused in the mechanization of Kleene algebra and Kleene algebra with tests in the Coq theorem prover (http://coq.inria.fr/). He also mechanized a deductive proof system for dealing with the partial correctness of parallel programs, under the spirit of Rely/Guarantee thinking. The aim is to apply such mechanizations to conduct partial verification of correctness of both sequential and parallel imperative programs.




© Copyright 2012 CISTER, School of Engineering of the Polytechnic Institute of Porto (ISEP/IPP)