CISTER QuickNews - 8 Nov 2011

CISTER Quicknews

8, Nov, 2011


 CISTER QuickNews



CISTER QuickNews


Welcome to the November 8, 2011 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 visitwww.cister.isep.ipp.pt. For the QuickNews archive, visithttp://www.cister.isep.ipp.pt/quicknews/.

Quick look


  1. RECOMP Project meets at ISEP

  2. Research Colloquium - the retirement of Prof. Hermann Kopetz

  3. Keynote Talk by CISTER Researcher at International Industry-driven Workshop

  4. CISTER co-responsible for the scientific program of renowned international conference

5. CISTER Distinguished Seminar Series Hosts Prof. Iain Bate

6. Ongoing Research at CISTER presented in the scope of the International Partnership with CMU

7. CISTER researcher acts as external examiner in a PhD assessment




RECOMP Project meets at ISEP


In the week from 29th of August to 2nd of September, CISTER hosted the Artemis RECOMP project meeting week in ISEP. As previously reported, RECOMP aims to reduce the certification cost of the deployment of multicore systems in safety critical setting.


The week saw the participation of 67 researchers from top European universities (e.g. Danish Technical University in Kopenhagen, TU Braunschweig), SMEs,  (e.g. Symtavision GmBH, Saferiver) and larger corporations (e.g. Thales, EADS, Infineon, Honeywell, Danfoss, Kone, TÜV Süd). The first day was dedicated to a Joint Technical Day in which RECOMP partners present their technical achievements and plans related to the project, showing the substantial progress achieved by partners in safety-critical and multi-core development research fields. In this context CISTER researcher Vincent Nélis presented the work bus contention on multicore processors carried out at CISTER.


The remaining four days were used by individual work groups around the workpackages of the project and team building to increase the effectiveness of the project consortium. In the working groups major progress was made in the integration of project results by the individual partners. General reception of the event was extremely good with some participants stating that "this will be the best and best organised event of the project during its entire lifetime!" It also saw the seeding of many more collaborations which are already starting to bear fruit.


More information at http://www.recomp-project.eu/.   




Research Colloquium - the retirement of Prof. Hermann Kopetz


CISTER Researcher Stefan M. Petters represented CISTER in the ceremony held in honour of the retirement of Prof. Hermann Kopetz, on 28th of September in Vienna. The event included a set of well known speakers, like John Rushby, Brian Randall and Tom Henzinger and a substantial international audience.


Prof. Kopetz is the father of the time-triggered architecture (TTA), which provides a computing infrastructure for the design and implementation of dependable distributed embedded systems and has heavily influenced the industry of reliable distributed computing.  The chair for Real-Time Systems at the Vienna University of Technology was held by Prof. Kopetz since 1982. He has published a widely used textbook on Real-Time Systems, more than 150 papers and 20 patents on the topic of dependable embedded systems. Beyond that, Prof Kopetz has received multiple awards for his work, among them he received the IEEE Computer Society 2003 Technical Achievement Award in 2003 and was awarded the honorary degree of Dr. honoris causa by the University Paul Sabatier in Toulouse, France in 2007.



More information at http://www.vmars.tuwien.ac.at/people/kopetz.html.




Keynote Talk by CISTER Researcher at International Industry-driven Workshop


CISTER Researcher Luis Miguel Pinho gave a Keynote Talk on the subject of “Multicore, (Software) Development and Certification”, at the Critical Software "Workshop on Dependability and Certification", which took place in Coimbra, last 28/29 September.


The workshop gathered together an international group of specialists in the development and validation of safety critical systems, intending to foster a broad discussion around the most challenging topics currently faced in this domain. It was organized by Critical Software in the scope of CRITICAL STEP and EVOLVE European projects.


Other keynote talks were from Lisa P. Montgomery, Delegated Program Manager for NASA's Office of Safety and Mission Assurance (OSMA) Software Assurance Research Program (SARP), on the topic of "Software Assurance Challenges at NASA" and Martin S. Feather, Principal in the Software Assurance Technology and Research group of the JPL Quality Assurance Office, of the Jet Propulsion Laboratory, California Institute of Technology, on the topic of "Safety and Dependability Cases for NASA Domain".


The workshop's program also included presentations from Critical Software, Portugal; SESM, Italy; Universidade da Beira Interior, Portugal; Universidade de Coimbra, Portugal; Universidade do Minho, Portugal; and Università degli Studi di Napoli Federico II, Italy.


More information at http://www.criticalsoftware.com/dependability-workshop/.




CISTER co-responsible for the scientific program of renowned international conference


The International Conference on Reliable Software Technologies (Ada-Europe) conference has successfully established itself as an international forum for providers, practitioners and researchers into reliable software technologies. The conference presentations illustrate 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, will take place in Stockholm, Sweden, from June 11 to June 15, 2012. The Program Co-Chairs for this next edition of the conference are Mats Brorsson (Professor at KTH Royal Institute of Technology, Sweden) and CISTER researcher Luis Miguel Pinho.


The organization expects that next year’s conference will confirm the success of the 2011 event, in Edinburgh, UK, which attracted over 130 delegates coming from Belgium, Brazil, Canada, Denmark, Egypt, Finland, France, Germany, Israel, Italy, Norway, Poland, Portugal, Russia, Slovakia, South Africa, Spain, Sweden, Switzerland, The Netherlands, UK and USA, representing more than 20 Universities and 50 companies.


The conference will address a set of topics of interest, under the general umbrella of reliable software systems, with a strong but not exclusive interest on Ada-related views on the subject. Two important topics will be the completion of the technical work for the Ada 2012 standard revision process, and the challenges presented to the development of reliable software by the need for multicore programming models.


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




CISTER Distinguished Seminar Series Hosts Prof. Iain Bate


After other very distinguished speakers in the recent past, including Prof. Alan Burns (University of York, UK), Dr. Stamatis Karnouskos (SAP Research, Germany), Prof. Zdenek Hanzalek (Czech Technical University Prague, Czech Republic) or Prof. Tarek Abdelzaher (University of Illinois at Urbana Champaign, USA), CISTER had the honor of hosting yet another distinguished speaker, Prof. Iain Bate (University of York, UK). Professor Bate was visiting CISTER to participate in bilateral meeting aiming at further advancing collaboration in EU project proposals for the coming calls, and took the opportunity to give a very participated talk on "Designing and Demonstrating Dependability in Autonomic Computing".


Professor Iain Bate is a Senior Lecturer in Real-Time Systems at the University of York and a visiting professor at MDH (Sweden). He frequently performs consultancy related to the development and certification of systems for a range of international companies. He is the director of a University spin off working in the safety sector. His research on novel approaches to developing and assuring dependable real-time systems is widely published in more than 80 papers in top conferences and journals such as IEEE Transactions on Software Engineering, Computers and Industrial Informatics. He is also the Editor-in-Chief of the Journal of Systems Architecture.


More information at CISTER’s Seminar pages and Prof. Bate’s page.




Ongoing Research at CISTER presented in the scope of the International Partnership with CMU


The Annual Conference of the Carnegie Mellon – Portugal Program, which took place in UNL, Lisbon, included the presence of CISTER. In this event, CISTER researchers presented the project entitled Sustainable ENergy-Optimized Datacenters (SENODs), funded by the Carnegie Mellon – Portugal program. It was also presented joint work developed by PhD Student Vikram Gupta, in collaboration with Carnegie Mellon researchers.


The Carnegie Mellon – Portugal Program is a research/educational partnership with the Carnegie Mellon University and several top-rated Portuguese research institutions, which involves professors, researchers and students. This collaboration includes an emphasis on information processing and networking, including applications to critical infrastructures and risk assessment, as well as complementary areas of applied mathematics, technology, innovation and policy.


The Annual Conference of the Carnegie Mellon – Portugal Program is an event in which CISTER has already a tradition of participation and aims at presenting the research efforts developed under the framework of the Carnegie Mellon – Portugal partnership. As in previous years, the conference as a strong emphasis on collaborations between universities, companies and end users. This year the conference had the presence of many representatives from industry such as Portugal Telecom, Outsystems and Novabase. The event also had, amongst others, the presence of the Secretary of State for Science, the President of Carnegie Mellon University, and the President of the Council of Rectors.


More information at http://www.cmu-portugal.org.




CISTER researcher acts as external examiner in a PhD assessment


CISTER Researcher Eduardo Tovar was the external examiner of a Ph.D. thesis defended at the Computer Science Department of the University of York, UK, last October 14. The thesis, “Temporal Partitioning of Flexible Real-Time Systems”, was defended by Attila Zabos to an Evaluation Committee including as well Prof. Andy Wellings as internal examiner.


More information at http://www.cs.york.ac.uk/research/.



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