. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

April 2017

21, Apr, 2017

Activities in the Centre

CPSWeek comes to Porto in 2018!

ISEP and CISTER will proudly organise the next CPSWeek 2018. The 11th edition of the week long multiple conference event will have more than 700 participants. In Europe, CPSWeek has been conducted before in three major technological hubs in the area of CPS: Stockholm (2010), Berlin (2014) and Vienna (2016). Porto, ISEP and CISTER will be at the centre of the World in Cyber-Physical Systems, with the whole set of opportunities and challenges this will bring to us, to the city and the country. The CPSWeek 2018 will probably be one of the largest and most important IT-related events to ever take place in Porto ever.

20, Apr, 2017

Activities in the Centre


ENABLE-S3 is industry-driven and aspires to substitute today’s cost-intensive verification & validation efforts by more advanced and efficient methods to pave the way for the commercialization of highly automated cyber physical systems (ACPS).
ENABLE-S3 will add important missing verification & validation technology bricks which are required to ensure the dependability (safety and security) of ACPS at affordable costs and will set the basis for future standards in this field. Thus ENABLE-S3 results shall help to enable the market introduction of this new and for Europe’s industry very important technology of automated systems. ENABLE-S3 will, in this way, help the European industry to retain leadership in the strategic field of automated systems due to faster development and test of new products, fewer call-backs and faster follow-up of call-backs with higher quality, which allows to step into and to create new markets. ENABLE-S3 is led by AVL List GmbH, has an overall budget of €64.8 M, and the consortium is formed by 71 partners ranging over 16 different countries.

The second General Assembly meeting of the ENABLE-S3 European project will be hosted by CISTER, in the ISEP premises, and will take place on the upcoming 23rd and 24th of May 2017. The meeting will count with the presence of around 100 participants, including academics and industrialists from key European players, including AVL, Thales, Airbus, Philips, Renault, among many others, as well as researchers from well-known European academic institutions. During the General Assembly meeting, the results of the first year of the project will be analyzed, and the first prototype demonstrations of the various use-cases addressed by the project will also take place.

In ENABLE-S3, CISTER is involved in three of ENABLE-S3’s use cases, namely: Use Case 4 – Traffic Jam Pilot, led by the Portuguese partner GMV Skysoft; Use Case 7 – Touch and Go Assistant, lead by Airbus; and Use Case 13 – Farming, led by TTControl. In these use cases, CISTER researchers bring to the table knowledge and experience on several topics that strongly relate and contribute to the safety and security aspects being tackled by the project, namely, static and dynamic formal verification, vehicle platooning, and real-time scheduling analysis.

20, Apr, 2017

Achievements in Academia

CISTER involved in upcoming CPS week

CPS Week, the top event on Cyber-Physical Systems (CPS), is being held this year in Pittsburgh, PA, USA in April. It brings together five leading conferences - the 20th ACM International Conference on Hybrid Systems (HSCC’17), the 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS’17), the 2nd ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI’17), the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN’17), and the 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’17) - multiple workshops, tutorials, summits, and various exhibitions from both industry and academia.
CISTER director Eduardo Tovar is involved as the general co-chair of the 8th ACM/IEEE ICCPS, a premier single-track conference for reporting advances in all aspects of cyber-physical systems, including theory, tools, applications, systems, test-beds and field deployments.
Similar to the 22nd IEEE RTAS, CISTER researchers Vincent Nelis and Geoffrey Nelissen once again serve as members of the technical program committee of the top-impact real-time conference, and CISTER researcher Raghuraman Rangarajan serve as a member of the technical program committee of the 8th ACM/IEEE ICCPS.
CISTER researchers Matthias Becker, Borislav Nikolic, Benny Akesson and Vincent Nelis, along with Dakshina Dasari, Moris Behnam and Thomas Nolte, will also present a paper titled “Partitioning and Analysis of the Network-on-Chip on a COTS Many-Core Platform” at RTAS 17.

4, Apr, 2017

Activities in the Centre

Another Distinguished Seminar hosted at CISTER

March 2017

31, Mar, 2017

Activities in the Centre

AED Portugal Buildup

AED Portugal represents the Aeronautical, Space, Security and Defence industries in Portugal with the objective to provide a single platform for promoting and supporting the competitive development of the sector.

This supercluster brings together the constituting members – the industrial federation of Aeronautic (PEMAS), Space (PROESPAÇO) and Defence (DANOTEC).

AED Portugal is the National Federation of the three sectorial associations for Aeronautics (PEMAS), Space(PROESPAÇO) and Defense (DANOTEC). AED Portugal is a major hub and unique platform for the growth and competitive development of its members. AED Portugal gathers the main stakeholders from three paramount sectors trans-sectorial synergies and high added value, constituting a national super–cluster. To achieve its objectives AED Portugal builds on the historic record, capacities and international connections of the three sectorial associations exploring the complementarities and the synergies behind.

AED Portugal not just represents and defends the interest of its members next to national and EU policy makers, but also disseminates information on funding programs and fosters cooperation and networking at international level. AED Portugal ensures both the cross fertilization between industry and Scientific and Technological players and the visibility of its members facilitating the access to international markets.

As a member, CISTER director Eduardo Tovar participated in the general assembly of AED (and PEMAS) in March. CISTER will also be organizing in September, a one-day workshop to expose and foster the national competences related to avionics. This event at CISTER premises will be articulated with PEMAS and AED.


31, Mar, 2017

Progress in Projects

CISTER presents the Upscale SDK in the two largest European events on Embedded Systems

The UpScale Software Development Kit (SDK) is a toolchain for the development of real-time high-performance applications in many-core platforms, one of the main results of the European P-SOCRATES project. The SDK targets systems that demand more and more computational performance to process large amounts of data from multiple data sources, whilst requiring guarantees on processing response times. It includes a source to source compiler, which is able to analyze source code OpenMP parallelism annotations, a lightweight OpenMP tasking runtime, an embedded many-core kernel, and an integrated toolset for the timing and schedulability analysis of real-time parallel applications (designed and implemented at CISTER). UpScale is openly available and released under commercially-friendly open source licenses.

In the scope of the dissemination of the P-SOCRATES project results, the UpScale SDK was presented at Embedded World, the international gathering for the embedded system technology sector with around 1800 participants, which took place in Nuremberg, Germany, March 14-16, and at the Design, Automation and Test in Europe conference (DATE 2017), which gathered around 1500 participants in Lausanne, Switzerland, March 27-31. At Embedded World, UpScale was also demonstrated in the exhibition space, at the booth of the Kalray company, a member of the project advisory board.


18, Mar, 2017

Achievements in Academia

Participation in ECRTS meeting

CISTER researchers Geoffrey Nelissen and Vincent Nelis participated in the PC meeting of the 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). The technical program committee meeting was organized in Venice, Italy, on the 18th of March. The conference will be held in Dubrovnik, Croatia, from the 27th to the 30th of June 2017.
ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems. ECRTS has been in the forefront of the real-time community in introducing innovations such as artefact evaluation; open-access proceedings, etc., into the larger real-time computing community.

16, Mar, 2017

Progress in Projects

CISTER participates on ISO/IEC JTC1/WG7 meeting in Graz

The 15th meeting of the ISO/IEC JTC1/WG7 working group was hosted by ViF (Virtual Infrastructure), in Graz, Austria in March 2017. CISTER researcher Ramiro Robles took part as a liaison with the project DEWI. The objective of this liaison is to align efforts with ISO and provide the DEWI HLA (high level architecture) with an international framework for interoperability and visibility.
ISO meeting also dealt with several administrative and technical issues. Significant part of the meeting was devoted to the discussion of the submitted drafts of international standards by South Korea for underwater acoustic sensor networks and its applicability for other countries, particularly in the European Union. Underwater acoustic sensor networks face several challenges such as propagation delay, multipath and noise. Considering that 70 percent of earth's surface is water, an international standard for underwater communication poses a great relevance in many fields such as oil platform exploration and naval submarines. Other aspects discussed were the creation of a study group for the use of internet of things for financial asset tracking and control. The ISO/IEC JTC1/WG7 will be merged to other working groups under the umbrella of the Internet of Things later this year. CISTER has presented the intention to submit 5 technical reports reflecting different use cases of the DEWI project before the end of April 2017.


February 2017

16, Feb, 2017

Progress in Projects

Sucessful final review of the P-SOCRATES European project

The CISTER-led P-SOCRATES had its final review meeting in Brussels, Belgium in February. CISTER researchers Luis Miguel Pinho (project coordinator) and Vincent Nelis (work package leader), and the principal researchers of the other project partners were involved in this meeting.
The review was successful, with the work being highly valued by the project’s reviewers, both considering the technical results of the project as well as the joint exploitation path and plans for post-project activities.
The project consortium presented the newly developed techniques for exploiting the massively parallel computation capabilities of next-generation many-core embedded platforms in a predictable way. This work led to the release of the UpScale SDK, a Software Development Kit for the development of applications with strict timing and high-performance requirements, including a complete set of compilation and analysis tools, as well as the underlying execution environments. The SDK is provided under commercial-friendly open source licenses and will be supported by an open community.
The success of the project was also reflected in the more than 50 scientific and technical papers published in international conferences, as well as the 10 invited talks and presentations in international industrial events, such as the Embedded World exhibition and conference (with both a presentation and a demonstration scheduled for March 2017) and the Design Automation and Test Europe conference.
P-SOCRATES (Parallel Software Framework for Time-Critical Many-core Systems) started in October 2013 and was funded by the European Commission FP7 R&D Program with a budget of 3.5 M€. The project work was performed by a team of around 20 researchers from 7 partners in 4 different countries. Besides CISTER, the research partners included the Barcelona Supercomputing Centre (Spain), the University of Modena (Italy) and the Swiss Federal Institute of Technology Zurich (Switzerland). The industrial partners of the project included ATOS (Spain) and the SMEs Evidence (Italy) and Active Technologies (Italy). The project partners were supported by an industrial advisory board, which included, among others, well-known multi-national companies including Airbus, Bosch, Honeywell, or Saab.

16, Feb, 2017

Progress in Projects

EnerGAware project meeting

CISTER researcher António Barros participated in the EnerGAware project meeting, held in Troyes, France, February 14-16, hosted by partner FremenCorp. With the project entering in its final year, the first day of meeting focused on the project exploitation plan, in collaboration with an external consultant. Exploitation drive is on the project serious game, but plans are also being made for individual components of the overall architecture.
The following days were used to analyze the deployment of the game EnergyCat - The House of Tomorrow (beta version), in the pilot being performed in Plymouth, UK, a work package led by ISEP. The partners discussed the current status of integration between the game and the energy monitoring infrastructure that will provide the means to assess the real contribution of the game to modify domestic energy consumption habits.


2, Feb, 2017


New research student call

CISTER is happy to announce that it will soon open 4 PhD grants for candidate students willing to do research in Real-Time Embedded Computing.

We are looking for highly motivated candidates with a Master’s degree in Electrical and Computer Engineering (ECE), Computer Science (CS), Software Engineering (SE), Applied Mathematics (AM) or related areas, and an excellent academic record. Candidates with solid industrial CV wishing to pursue a PhD degree are also encouraged to apply. Excellent spoken and written communication skills in English is considered essential.

The selected candidates will be given the chance to become part of an international and multi-cultural research team with a leading research track on multiple hot topics of RTES. CISTER’s research environment is boosted by strong collaborations with various renowned academic institutions, such as the Carnegie Mellon University, the Technical University of Munich, the Max Planck Institute, the University of Pennsylvania, the University of York among many others, as well as with key international industrial players like Airbus, Volvo, Embraer, Honeywell, Critical Software, GMV or Bosch. Stay tuned!!!

1, Feb, 2017

Activities in the Centre

Artemis/ECSEL Brokerage event

CISTER researchers Luis Lino Ferreira and Eduardo Tovar participated in the 2017 Artemis Brokerage Event. The objective of this event is to help with the drafting of project proposals and finding the right consortium partners. Nearly 300 participants from prestigious European companies, Universities and Research Centres all over Europe attended this event.
During the brokerage, there was opportunity to discuss project ideas in the fields of Embedded & Cyber-Physical Systems, Internet of Things and Digital Platforms. The presentations on the Multi Annual Strategic Plan and Work Plan 2017 (MASP) where also illuminating. The main novelty being the definition of Safety and Security as an independent essential capability.

January 2017

25, Jan, 2017

Progress in Projects

Results of P-SOCRATES project presented in Stockholm

Last January, CISTER researcher Luis Miguel Pinho presented the results of the P-SOCRATES project in the 5th International workshop on the “Integration of mixed-criticality subsystems on multi-core and manycore processors”. The workshop focused on solutions for the integration of mixed-criticality subsystems on multi-core processors, integrated in the HiPEAC 2017 conference.
The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems. The conference attracted more than 500 participants from industry and academia from 37 countries.
The presentation both provided an overview of the successful outcomes of the P-SOCRATES project, as well as in particular focusing in the timing analysis methodology of the project, a technical work performed by the ISEP team in the project.
P-SOCRATES is an FP7 European project led by CISTER, a 3-year initiative that fosters the convergence of High-Performance Computing and Embedded Computing domains. The project developed methodologies and execution environments able to deliver high throughput, suitable for computationally-intensive applications, but also predictable throughput, so that guarantees can be provided on the responsiveness on the software functionality


24, Jan, 2017

Activities in the Centre


In January, representatives of the Portuguese Aerospace Industry Association - PEMAS visited CISTER.

During this fruitful meeting, CISTER researchers Eduardo Tovar and David Pereira had the chance to discuss with PEMAS representatives João Romana and Paulo Alexandre Chaves the current lines of action of the association and the role that CISTER can have on those actions, as the only academic partner of the association.

This was the first visit of PEMAS representatives to CISTER premises, and was a great opportunity for them to have a deeper understanding about the research being carried on in our unit, and of the CiTech initiative that is being leveraged by CISTER to enable the success of R&D produced by Portuguese actors working in Real-Time Embedded Computing and to boost their impact and role in the European innovation roadmap.

6, Jan, 2017

Activities in the Centre

Next ENABLE-S3 General Assembly at CISTER

The second General Assembly meeting of the ENABLE-S3 European project will be hosted by CISTER, and will take place on the 23rd and 24th of May 2017. The meeting will count with the presence of industrialists from key European players such as Airbus, AVL, Philips, Renault, Thales, among many others, as well as researchers from well-known European academic institutions.

The goal of ENABLE-S3 is to pave the way for accelerated application of highly automated and autonomous systems in the mobility domains of automotive, aerospace, rail and maritime as well as in the healthcare domain. Virtual testing, verification and coverage-oriented test selection methods will enable validation with reasonable efforts. The resulting validation framework will ensure European industrial competitiveness in the global race of automated systems with an expected market potential of 60B€ in 2025. Project results will be used to propose standardized validation procedures for highly automated systems (ACPS).
During the General Assembly meeting, the latest developments and the next steps of the project will be discussed. The first prototype demonstrations of the various use-cases addressed by the project will also take place.

5, Jan, 2017

Achievements in Academia

Book on IoT Automation

CISTER researchers Luis Lino Ferreira and Michele Albano co-authored several chapters of the book “IoT Automation: Arrowhead Framework”, which will be published in February, 2017 by CRC Press. This book presents an in-depth description of the Arrowhead Framework and how it fosters interoperability between IoT devices at service level. This Framework is structured on the SOA technology and the concept of local cloud. The objective is to provide several automation capabilities such as: real time control, security, scalability, and engineering simplicity. The Arrowhead Framework supports the realization of collaborative automation; and it is the only IoT Framework that addresses global interoperability across multiple SOA technologies and therefore enabling the design, engineering, and operation of large automation systems for a wide range of applications utilizing IoT and CPS technologies.

The book provides application examples from a wide number of industrial fields e.g. airline maintenance, mining maintenance, smart production, electro-mobility, automotive test, smart cities—all in response to EU societal challenges.

4, Jan, 2017

CISTER fosters stronger relationship with former researchers

CISTER has a new initiative to increase interactions with former members of the unit to create new synergies from old partnerships. It’s natural that previous members of a lab keep working in the same areas but, unfortunately, potential fruitful collaborations are often overlooked. This initiative looks to overcome this limitation by providing preferential bi-directional communication channels between existing and former researchers. Areas that may benefit from this exchange include mobilizing new researchers, preparing project proposals, promoting exchange initiatives for students (PhD and others), provide strategic feedback and many others. Former CISTER members are now distributed around the world in Brazil, USA, South Korea, Singapore, India, Czech Republic, Sweden, France, Germany, Netherlands, United Kingdom and other countries.

3, Jan, 2017


December 2016

3, Dec, 2016

Achievements in Academia

PC meeting of RTAS'17 organized in CISTER

December 3 saw many high-profile academics gather at CISTER for the Technical Program Committee meeting of the 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'17). The conference will be held in Pittsburgh, USA, as part of the Cyber-Physical Systems Week (CPS Week) in April, 2017.

The annual CPS Week 2017 will bring together leading conferences, including the International Conference on Hybrid Systems (HSCC’17), the International Conference on Cyber-Physical Systems (ICCPS’17), the International Conference on Internet-of-Things Design and Implementation (IoTDI’17), the International Conference on Information Processing in Sensor Networks (IPSN’17), and RTAS’17.

Researchers Geoffrey Nelissen and Vincent Nelis participated in the PC meeting.

2, Dec, 2016

Achievements in Academia

RTSS 2016: a huge success

November 2016

29, Nov, 2016

Activities in the Center

CiWork 2016

In November, CISTER organized its annual Industrial Workshop (CiWork’16). The workshop series, started in 2013, brings together researchers and practitioners from industry and academia on a joint platform to debate recent developments and challenges (and their practical aspects in industry) in the emerging topic of embedded real time systems.

The 2016 edition had a special agenda and focused on academia/industry relationships and knowledge transfer. The topics included Factory automation and control, Energy-efficient buildings, data centers and power distribution systems, healthcare systems and high-confidence medical devices, Networked cyber-physical and control systems, Avionics, automotive and robotic electronic systems and Internet of Things.

The well attended workshop had talks by Cláudio Silva (GMV), João Rodrigues (Critical Software), Luís Martins (EFACEC), Francisco Almeida Lobo (Critical Manufacturing), Marlos Silva (SONAE) and Paulo Santos (Kinematix).

15, Nov, 2016

Progress in Projects

Industry Experts gather in Porto for P-SOCRATES Industrial Workshop

The P-SOCRATES Industrial Workshop took place at ISEP in November, a meeting organized to present the results of the P-SOCRATES European project to its Industrial Advisory Board, which includes experts from Kalray (FR), Airbus (FR), Rapita (UK), Honeywell (CZ), SAAB (SE), MBDA (IT) and Bosch (DE).

P-SOCRATES (Parallel Software Framework for Time-Critical Many-core Systems) is an FP7 European project, led by ISEP, addressing the challenges of predictability and performance of current and future applications with high-performance and real-time requirements. The project developed an entirely new design framework, from conceptual design of the system functionality to its physical implementation, to facilitate the deployment of standardized parallel architectures in all kinds of real-time systems.

During the workshop, P-SOCRATES members presented technical outcomes of the project, as well as results of the evaluation campaign, discussing with the industry experts the achievements and future perspectives. This was a highly successful meeting and received very positive and encouraging feedback.

14, Nov, 2016

Activities in the Center

Visit of collaborator from Universidad Carlos III Madrid

Marisol Garcia-Valls, an associate professor at Universidad Carlos III in Madrid, Spain, visited CISTER during the months of November and December. Marisol holds a PhD in Computer Science from Universidad Politécnica de Madrid and a degree in Computer Science Engineering from Universitat Jaume I, Spain.

Her research interests include reliable distributed systems, software technologies, real-time middleware for cyber-physical systems, modeling and software engineering.

She has been and is enrolled in a number of National and European projects, being the scientific and technical coordinator of iLAND project (Artemis-1-00026).

During her stay, Marisol explored to start a collaborative work on QoS for message-oriented middlewares with CISTER researchers.

8, Nov, 2016

Progress in Projects

ENABLE-S3 General Assembly in Madrid

CISTER researchers David Pereira and Gurulingesh Raravi attended the first General Assembly of the ENABLE-S3 project, that took place in Madrid in November. ENABLE-S3 will pave the way for accelerated application of highly automated and autonomous systems in the mobility domains automotive, aerospace, rail and maritime as well as in the health care domain.

The main focus of the meeting was to help consolidate the ongoing specifications of several use-cases of the project, and associated requirement elicitation process. CISTER participates in three use-cases, namely on the automotive, aerospace, and farming application domains. During the general assembly, CISTER researchers participated in several breakout sessions dedicated to these use cases, where together with the remaining partners involved in the use cases, successfully progressed in their specifications and requirement definition towards the first version of the corresponding deliverables.

October 2016

19, Oct, 2016

Achievements in Academia

CISTER Researcher Program Co-Chair at RTNS

The 24th International Conference on Real-Time Networks and Systems (RTNS 2016) took place this October 19-21th, in Brest, France. RTNS is a friendly conference with a great sense of community, where cutting edge research is presented in the areas of real-time system design and analysis, infrastructure and hardware for real-time systems, software technologies for real-time systems and emerging applications.

CISTER researcher Luis Miguel Pinho was Program Co-Chair of the conference, together with Sébastien Faucou from Université de Nantes, France. The conference featured a rich 3-day technical program, with 34 papers split in 10 sessions, coming from a record number of submissions at RTNS.

Highlights of the conference was the keynote talk by Sebastian Fischmeister, University of Waterloo, Canada, on “Time-aware Instrumentation: From the Formal Model to Applications”; the 10th Junior Researcher Workshop on Real-Time Computing; and, for the first time at RTNS, an Artifact Evaluation process, an increasingly important requirements for research results.

The conference was both a technical and networking success, blessed by sunny days in Brest, a rare occasion at this time of the year.

6, Oct, 2016

Activities in the Center

The return of a past member, and other CISTER graduates moving on

We warmly welcome Gurulingesh Raravi back to CISTER as a new Research Associate.

Before joining the Centre, Gurulingesh worked at Xerox Research Centre India for two years focusing on designing solutions for smart mobility and retail systems and for service delivery organizations. In 2014, he received his PhD with the highest honors from University of Porto for his work on "Real-Time Scheduling on Heterogeneous Multiprocessors", under the supervision of CISTER researcher Vincent Nélis. Gurulingesh’s research interests are mainly in the automotive and telecommunications domains.

Other CISTER PhD graduates have also found new positions. Congratulations to Artem Burmyakov, who has joined the Seoul National University as a Postdoctoral Associate; Dakshina Dasari, who has joined Bosch Germany; and Claro Noda, who has joined Mid Sweden university as a Postdoc Researcher. We wish them success in their new career.

September 2016

30, Sep, 2016

Progress in Projects

KhronoSim project kicks off

CISTER is a partner of the recently approved KhronoSim project, in the framework of Portugal 2020 Program, that kicked-off this September 30th, in Coimbra.
KhronoSim aims at developing a platform for testing cyber-physical systems in closed-loop, that is modular, extensible and usable in multiple application domains. Featuring hard-real-time control, enabling the integration of simulation models to build a closed loop test environment and allowing the use of physical and virtual systems alike. This is essential to study the implications of complex systems working tightly coupled, with little or no human intervention. In these systems, testing components individually, one-by-one, is not sufficient to assert the correct functioning of the overall system.

The two year project is led by Critical Software  and includes CISTER and the Department of Electrical and Computer Engineering of the University of Coimbra (DEEC-UC). CISTER's role will be in the embedded real-time domain, in particular the challenges of testing and simulating multicore platforms.

30, Sep, 2016

Progress in Projects

MANTIS reaches first milestone

The MANTIS project first milestone has been successfully reached. Up to this milestone, CISTER was able to deliver a middleware for CNC machine monitoring, capable of making available data from the machine internal sensors and from sensors specific for pro-active maintenance. This last type of sensors can be added to high end machines to detect condition like the presence of metal in machine lubricant and abnormal vibration on the machine. The existence of these conditions enables the MANTIS system to predict failure and determine the root cause of failure, among other functionalities. The overall MANTIS also passed successfully its first project review meeting.

30, Sep, 2016

Progress in Projects

Arrowhead project is coming to a successful end

During the last 4 years CISTER resarchers have been envolved in Arrowhead project. The main objective was to provide a Service Oriented Approach (SOA) to Embedded Systems by both streamlining the design of services, and providing a framework to support service development.
In the development of the Arrowhead framework, CISTER was responsible for creation of a software engineering methodology capable of supporting design and documentation of artefacts in embedded SOA systems, and was also responsible for the design and implementation of the flex-offer concept, which is applied to the trading of energy by Internet of Things (IoT) devices, like industrial machines, heating systems, household appliances, and others.
During the last 9 months of the project there was also a very fruitful collaboration of 4 undergraduate students from the department of informatics of ISEP. They have been involved in the successful development of two Arrowhead Core systems: the QoS Manager and the Event Handler. The Event Handler is a REST-based application to distribute and filter messages, and delivering them to consuming applications. The QoS Manager is a generic framework, which can be applied on multiple IoT environments, providing its applications with capabilities of handling several QoS parameters and, at the same time, monitor any failures which can occur, distributing failure information by means of the Event Handler systems.

30, Sep, 2016

Progress in Projects

CISTER successful in ECSEL call

CISTER has received preliminary information on the ECSEL 2016 call with two proposals, SCOTT and Productive 4.0, favorably evaluated by the Joint Undertaking (JU).
SCOTT, or Secure Connected Trustable Things, will provide comprehensive cost-efficient solutions of wireless, end-to-end secure, trustworthy connectivity and interoperability to bridge the last mile to the market. SCOTT bundles the European key players from several industrial domains including building and home / smart infrastructure, automotive, aeronautics, rail, and health to make full potential of cross-domain synergies and to strengthen Europe’s position in the emerging technology field of secure Internet of Things (IoT).

Productive 4.0 will take a step forward towards a hands-on approach and practical implementations focusing on three main product lifecycle pillars of Digital Production (DP), Supply Chain Networks (SCN) and Product Lifecycle Management (PLM). The results, such as IoT components modelling and simulation methods as well as toolchains for cross-lifecycle and cross domain digitization, will be suitable means for linking all stages of a product lifecycle.

27, Sep, 2016

Progress in Projects

ICT Proposers Day 2016

CISTER researcher Luis Miguel Pinho participated in the ICT Proposers’ Day 2016, an event that took place in Bratislava, Slovakia on 27th and 28th September 2016 to promote European ICT Research & Innovation, focusing on the Horizon 2020 Work Programme for 2017.

The event offered an exceptional opportunity to build quality partnerships as it connected academia, research institutes, industrial stakeholders, SMEs and government actors from all over Europe. Several thousand participants discussed the 2017 ICT project calls, including topics in Leadership in Enabling and Industrial Technologies, such as low-power embedded computing, big data research, internet of things, and in Societal Changes, such as energy efficiency and smart cities.

During the event Miguel also participated in several meetings related to the ongoing initiatives targeting some of the calls of the work program, also taking the opportunity to discuss and clarify with European Commission and Portuguese officials the Work Programme.

20, Sep, 2016

Activities in the Center

Another season of the Periodic Seminar Series begins

12, Sep, 2016

Activities in the Center

New visiting PhD student at CISTER

Fernando Silvano Gonçalves, a PhD student from the Automation and Systems Engineering Department of the Federal University of Santa Catarina, in Brazil, is visiting CISTER. Fernando works under the supervision of Leandro Buss Becker, and during his visit he will be collaborating with CISTER researchers Eduardo Tovar and David Pereira. The focus of work is on the subject of formal verification of model-driven Cyber-Physical Systems design, namely, on exploring approaches based on Runtime Verification and Model Checking to improve the robustness and reliability of a framework that he is currently developing.

Fernando received his BCS from University of Southern Santa Catarina (UNESC), Brazil, M.Eng. in 2012 from Federal University of Santa Catarina (UFSC) Brazil. He is now a PhD student at Automation and Systems Engineering Department (DAS) from UFSC. He has worked with Unmanned Aerial Vehicles (UAVs) design, especially with the development of complex embedded systems, at DAS from UFSC. During this time, he worked on the PROVant project, which designed autonomous bi-rotors UAVs. His research interests include Model-Driven Design, system verification, Cyber-Physical Systems, real-time systems and embedded systems. Welcome Fernando!

August 2016

29, Aug, 2016

Progress in Projects

ISO/IEC JTC 1/WG7 meeting held in China

The city of Chongqing in China hosted the 14th meeting of the ISO/IEC JTC 1/WG7 working group. The meeting was sponsored by the Chongqing University of Posts and Telecommunications. This working group is in charge of the standardization activities of wireless sensor networks, and has liaisons with other working groups and standardization groups related to Internet of things (IoT) and machine to machine (M2M) communications. In this meeting, members discussed editorial and technical comments to the new standard on under water acoustic sensor networks (UWASN) proposed by South Korea. There were also several action points on the testing framework for wireless sensor networks proposed by China, and new topics with big data proposed by Finland.

CISTER acts as the liaison partner between the DEWI project and the ISO/IEC JTC 1/WG7 and was represented by Ramiro Sámano Robles. DEWI will be producing technology reports based on the use cases of the industrial domains in the project. These technology reports will be subjected to comments and voting from the ISO committee members. The meeting in China was used to receive technical and editorial comments on the first DEWI technology report on active flow control for aeronautics applications. The ISO meeting was preceded by a one-day workshop hosted by the Chongqing University of Posts and Telecommunications. CISTER presented the general overview of the aeronautics use case on active flow control for skin drag reduction.

19, Aug, 2016

Achievements in Academia

CISTER researcher program co-chair at RTCSA

IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) was held in Daegu, South Korea. RTCSA 2016 brought together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems, and their emerging application areas including the Internet of things.

CISTER director Eduardo Tovar was program co-chair of the embedded systems track. The four day conference had 2 keynotes, 38 papers and 13 demonstrations/posters in three different tracks of Real-time systems, embedded systems and IoT, CPS and Emerging applications.

CISTER researchers, with their collaborators, also presented two papers in the conference. The paper "On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs" by Borislav Nikolic, Luís Miguel Pinho and Leandro Indrusiak; and "Synthesizing Job-Level Dependencies for Automotive Multi-Rate Effect Chains" by Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, and Thomas Nolte.

July 2016

28, Jul, 2016

Progress in Projects

DSGrid kick-off meeting held

26, Jul, 2016

Progress in Projects

Portuguese Railway Platform initiative - Meeting with Evoleo

On the 13th of July, CISTER researcher David Pereira participated in a meeting organized by Evoleo in the context of the Portuguese Railway Platform initiative. The objective was to bring together all Portuguese railway stakeholders to promote Portugal as an innovative country in the railway industry. The meeting was to finalize project concepts and the corresponding consortiums to prepare for the project submission phases that will soon reach their deadlines. CISTER is a core partner in one of the envisioned proposals that will soon be submitted to an appropriate financing program.
26, Jul, 2016

Activities in the Center

Book on Memory controllers for Mixed-Time-Criticality Systems

CISTER researcher Benny Åkesson has co-authored a book, Memory controllers for Mixed-Time-Criticality Systems - Architectures, Methodologies and Trade-offs. The book discusses the design and performance analysis of SDRAM controllers that cater to both real-time and best-effort applications. The authors describe the state of the art, an architecture template for reconfigurable memory controllers that addresses evolving set of SDRAM standards, in terms of worst-case timing and power analysis, as well as a prototype implementation in System C and synthesizable VHDL for an FPGA development board.

26, Jul, 2016

Activities in the Center

CISTER participates in Ciência 2016

25, Jul, 2016

Progress in Projects

The EnerGAware project - Serious Games for Energy Efficiency

CISTER researchers Luis Miguel Pinho and António Barros participated in the EnerGAware project meeting held in Barcelona, Spain. The project intends to achieve a 15-30% energy consumption and emissions reduction in a social housing pilot and increase the social tenants’ understanding and engagement in energy efficiency through the development of a serious game that will be linked to the actual energy consumption (smart meter data) of the game user’s home and embedded in social media and networking tools.
The meeting agenda included analysis of feedback from the first review of the project (with very positive remarks from the project officer and project reviewers) as well as status and planning of project activities. In particular, the consortium discussed the deployment of the energy monitoring infrastructure (a work package led by CISTER), which will be used to determine baseline energy consumption and will, in a second phase, observe the effects of the game on energy saving habits of families. Another relevant topic was the FIWARE-based IoT platform, being developed at CISTER, which will analyse and process the monitoring data for real-time connection with the serious game.  
This was a week where CISTER work in EnerGAware was in the spotlight, with also the project being presented in an event organized by GPPQ, the Portuguese office for promotion of the European Framework programs of FCT.
More info: www.energware.eu and http://www.gppq.pt/h2020/eventos.php?id=5585
25, Jul, 2016

Activities in the Center

CISTER PhD students complete internships abroad

João Loureiro spent six weeks at the University of York, at the Department of Computer Science, in an internship under the supervision of Leandro Indrusiak. The Department is a prestigious institution, with great domain knowledge on Networks-on-Chip (NoC), which is directly related to his topic of interest. The aim of the visit was to acquire knowledge in the domain, especially on the analysis of real-time applications on NoC-like architectures, to be applied on his ongoing PhD research at CISTER.

Shashank Gaur visited the Networked Embedded Software Lab (NESLab), to work with Luca Mottola. NESLab is a research laboratory based at the Politecnico di Milano, Italy, where research combines theories, designs, implementations and deployments of networked embedded sensors and actuators. NESLab is headed by Luca Mottola who is also a senior researcher with SICS Swedish ICT. During the visit, Shashank worked on problems related to complex adaptation policies in programming applications for sensor networks. The visit was helpful in identifying the potential problem, use case scenarios, constructing a generic model and discussion on possible solutions.

25, Jul, 2016

Activities in the Center

Another international researcher joins CISTER

Kai Li joined CISTER in July. He received his B.E. from Shandong University, China, M.Sc. from Hong Kong University of Science and Technology and Ph.D. in Computer Science from University of New South Wales, Sydney, Australia, in 2014. From 2010 to 2011, he was a research assistant in Mobile Technologies Centre with the Chinese University of Hong Kong. In 2012–2013, he worked with the Distributed Sensing Systems Group at CSIRO as a visiting research assistant. His research interests include resource allocation, wireless communication and security, Cyber-Physical Systems, Sensor and Wireless networks. Welcome Kai!

25, Jul, 2016

Activities in the Center

CISTER hosted another distinguished seminar

24, Jul, 2016

Progress in Projects

CISTER participates in European roadmap in High-Performance Embedded Computing

CISTER researcher Luis Miguel Pinho participated in a Brussels meeting related to the preparation of the next edition of the HiPEAC Vision. Published every two years, the document provides a roadmap guiding policy makers and technologists on key issues in the area of computing systems, providing inputs for forthcoming Horizon 2020 calls and setting the challenge of discovering future computing systems and applications.
The document is prepared by the HiPEAC (High Performance and Embedded Architecture and Compilation) Network, a hub for European researchers in computing systems. Already in its 4thincarnation, HiPEAC 4 is a Coordination and Support Action funded by the European Union’s Horizon 2020.
In the meeting, Luis Miguel Pinho presented a position statement on the increasing relevance of time, as a fundamental property of both cyber-physical and big data systems, with new applications that stress the development of real-time applications, with uncertain environments and flexible behaviour.
24, Jul, 2016

Achievements in Academia

RTSS 2016 is around the corner

In the area of real time systems, RTSS is recognized world-wide as the flagship conference, presenting innovations in the field with respect to theory and practice. RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems theory, design, analysis, implementation, evaluation, and experiences. This year, RTSS will be held in Porto, with Eduardo Tovar, director of CISTER, and Luís Almeida, Professor at the University of Porto, serving as local arrangements chairs. Also, two CISTER researchers, Eduardo Tovar and Vincent Nelis, have been invited to serve as PC members. This year again, the number and quality of the papers submitted and the low acceptance ratio of the conference suggests a very successful top-ranked scientific event.

24, Jul, 2016

Activities in the Center

CISTER participates in the 16th INESC-TEC’s Football Tournament

24, Jul, 2016

Activities in the Center

Visit of collaborator from ONERA

Fabrice Guet, a PhD student from ONERA, the French Aerospace Lab, in Toulouse, working with Luca Santinelli, is visiting CISTER. During his visit, he will collaborate with CISTER researchers Vincent Nelis and Patrick Yomsi on the integration of his work about the use of the Extreme Value Theory for statistically bounding the execution time of tasks.

16, Jul, 2016

Progress in Projects

P-SOCRATES technical meeting held

The P-SOCRATES project is entering its last phase. As the project coordinator, CISTER is responsible for orchestrating the integration of all the individual system components that have been developed over the last two and half years. This is a challenging task as it requires both a deep understanding of how the individual components work and articulate with each other as well as keeping track of every single component development by partners to guarantee timely availability.
On 12th and 13th of July, CISTER researchers Luis Miguel Pinho, Vincent Nelis, Patrick Meumeu Yomsi, and Borislav Nikolic, attended a meeting at the Barcelona Supercomputing Centre (BSC). The primary focus of the meeting was on the finalization of individual components and review of procedures being used for integration.
12, Jul, 2016

Achievements in Academia

Another successful PhD defense

12, Jul, 2016

Progress in Projects

ECSEL ENABLE-S3 technical meeting held

June 2016

30, Jun, 2016

Progress in Projects

Final review of CONCERTO project

The final review of the CONCERTO project took take place in Brussels in the end of June. CONCERTO addressed the important challenge of simplifying and accelerating the design and development phase of the next-generation of mission-critical applications. The project is especially relevant in the context of constantly increasing complexity of functionalities to be implemented and the platforms on which they are deployed. CONCERTO proposes an integrated framework build around a component-based design approach following a model-driven development policy. It addresses all aspects of the system development lifecycle from application modelling to code generation. It incorporates runtime monitoring and verification features together with dependability and schedulability analysis tools. Several domain specific features have also been integrated for the avionics, automotive, petroleum and medical domains.

CISTER has been one of the first class contributors, leading the run-time monitoring and verification task and co-leading the task addressing the analysis of multicore systems. CISTER also largely contributed to tasks addressing domain specific needs for space, avionics, telecom and automotive. In Brussels, CISTER presented its numerous contributions in front of the european commission, which notably includes tools for schedulability and response time analysis of multicore systems, an Eclipse plugin for the automatic configuration of avionics system in an ARINC-653 compliant manner, a tool for response time analysis of Integrated Modular Avionics (IMA) systems, a run-time monitoring and verification library for systems written in Ada, a completely instrumented version of the ORK+ micro-kernel integrated in the GNAT cross-compiler for Leon 2/3 and an Eclipse plugin for treatment and back-propagation to application model of data monitored after application deployment.


30, Jun, 2016

Achievements in Academia

CISTER researchers achieve outstanding results in ECRTS conference

CISTER researchers managed to continue their success in high quality ground-breaking research, with 4 papers accepted in the field of Real-Time Computing Systems, out of the 24 papers selected for publication, at the 28th Euromicro Conference on Real-Time Systems (ECRTS).

The selected papers where on topics such as Memory Contention & Overhead, Task Synchronization & Suspension, Scheduling and Schedulability Analysis. One paper, on Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems (co-authored by CISTER researchers Syed Aftab Rashid, Geoffrey Nelissen, Benny Akesson, and Eduardo Tovar), received the "Outstanding Paper" distinction and has also been nominated for the "Best Paper Award".

ECRTS is one of the most reputed events in the field of Real-Time and Embedded Computing Systems, being one of the highly selective venues in which CISTER regularly and actively participates. It pairs with the IEEE Real-Time Systems Symposium (RTSS), whose 2016 edition is going to be co-organized by CISTER in Porto.


29, Jun, 2016

Achievements in Academia

TACLe Summer School 2016

In late June, CISTER researcher Vincent Nelis gave a course on "WCET-aware parallel programming" at a summer school organized in Yspertal, Austria, by the ICT COST Action "TACLe". The objective of these lectures was to introduce young researchers to the types of timing requirements that are typically encountered in real-world applications, briefly survey the methodologies available for timing analysis, and weigh up their pros and cons under different contexts. The lectures were focused, in particular, on modern applications that are subject to strict timing constraints but are also extremely demanding in terms of computation-power and thus need to execute on powerful architectures in which workload can be parallelized. This combination of high-performance and real-time requirements comes as a new and exciting challenge for the research community. Practical examples were also shown with simple programs on the Kalray MPPA-256 development board, collecting runtime timed traces, and using analysis tools provided in the Kalray SDK to get WCET estimates.


21, Jun, 2016

Activities in the Center

Visit of collaborator from Mälardalen University

Matthias Becker, a PhD student from Mälardalen University, Sweden, is visiting CISTER. Matthias’ research focuses on many-core real-time systems with particular interest in predictable execution frameworks for industrial systems. This led to a close collaboration with CISTER’s researchers Vincent Nélis and Borislav Nicolic. During a first visit in 2015, mechanisms for predictable execution on a clustered many-core processor were developed and later will be published at ECRTS 2016. During his current visit, Matthias is working on a prototype implementation of the framework targeting the Kalray MPPA 256 many-core processor. Additionally, he is working on extending the framework, taking other sources of unpredictability on a many-core processor into account.

As part of the CISTER seminar series Matthias also presented the final outcomes of the ongoing collaboration. He will mainly present the developed execution framework and discuss future research directions.


17, Jun, 2016

Achievements in Academia

CISTER researcher co-chairs ADA-Europe

The International Conference on Reliable Software Technologies (Ada-Europe) conference has successfully established as an international forum in software technologies for critical embedded systems, with participants from both industry and academia. The 21st International Conference on Reliable Software Technologies, took place in Pisa, Italy, from June 13 to June 17, 2016. The conference was co-chaired by Marko Bertogna (Professor at University of Modena, Italy) and Luís Miguel Pinho (CISTER/INESC-TEC, ISEP).

Various topics of interest were present, under the general umbrella of reliable software systems, with a rich program of both scientific peer-reviewed papers (published by Springer LNCS 9695), industrial presentations, and tools demonstrations. Special focus was given to the topic of safe and predictable parallel software technologies. This is an important challenge for the design of smart cyber-physical systems,and is a topic being tackled by CISTER within the P-SOCRATES European project. A special session was dedicated to the integration of safe parallelism within the Ada language, a collaboration work being done by researchers and industrialists in USA, Canada and Portugal.

The conference also featured keynote talks, from Alan Burns, Professor at the University of York, UK, on programing languages for future cyber physical systems; Guido Ghisio, responsible for Automated Driving Technologies at Magneti Marelli, Italy, on challenges for the automotive platform of the future; and Marc Duranton, senior member of CEA, France, on the HiPEAC (European Network on High Performance and Embedded Architecture and Compilation) vision.


14, Jun, 2016

Progress in Projects

Initiatives for cooperation: The Smart Anything Everywhere initiative and the Advanced Computing and CPS Collaboration Workshop

The “Smart Anything Everywhere” (SAE) is a Horizon 2020 initiative centered around networks of digital competence centers for supporting SMEs and mid-caps across the economy in digital value creation. These centers, usually research technology organizations (RTOs) or technology transfer-oriented university institutes, cluster a wide spectrum of technical and application knowledge to support digital innovation.

SAE innovation hubs gives SMEs an opportunity to experiment with new digital technologies, try them out in their processes and work together with technology suppliers to adapt it to their specific needs. In June, CISTER researcher Vincent Nelis represented CISTER at the SAE workshop organized in Brussels. The workshop brought together high-level speakers from the European Commission, industries, competence centers, and key players in European digital technologies to share ideas on topics related to the reindustrialization of Europe and the key role to be played by SMEs.

Also in June, Vincent Nelis gave a pitch on the P-SOCRATES project, an FP7 project led by CISTER, at the "Advanced Computing and Cyber-Physical Systems Collaboration Workshop", organized along with the SAE event by HiPEAC. This collaboration workshop brought together the "Cyber-Physical Systems", "Advanced Computing" and the “Mixed Criticality Systems" project clusters financed by the European Commission under FP7 ICT Call 10 (2013), H2020 ICT Call 1 (2014) and Call 4 (2015). The main objectives of the workshop were to identify synergies and possibilities for cooperation between projects/participants; provide a better overall understanding for both the Commission staff and the project partners, of what is happening in this area of research and innovation, with possibility for Project Officers and project partners to informally assess the global progress; and identify and exchange of best practices, especially in the areas of standardization, exploitation, platform and ecosystem building.


3, Jun, 2016

Progress in Projects

ECSEL ENABLE-S3 kick-off meeting held

CISTER researcher David Pereira participated in the kick-off meeting of the recently approved ECSEL project ENABLE-S3. This project addresses the development and deployment of highly automated and autonomous cyber-physical systems, enabled by new functional, safety and security verification and validation approaches.

CISTER participates in several work packages where research and development activities are going to take place in order to build the verification bricks that aspire to substitute today’s cost-intensive validation and verification efforts by virtual and semi-virtual testing and verification in order to pave the way for efficient development of highly automated and autonomous systems. The project covers relevant use-cases arising from six different industry sectors, and CISTER participates in three of them - automotive, aerospace, and farming.

ENABLE-S3 partners include AVL, Renault, Airbus Group, IBM, Magnetti Marelli, among many others, with GMV Skysoft acting as the key national industry player.


May 2016

27, May, 2016

Progress in Projects

PT2020 proposal DSGrid accepted

CISTER’s efforts in the preparation of PT2020 proposals has started to show results with the approval of the DSGrid proposal. The objective of the DSGrid project is to deliver new scientific and technical knowledge, new engineering skills and new products towards the establishment of third generation automation systems for substations and similar applications. It is set in the current development trend where the concepts of smarter transmission and distribution grids are delivering an answer to the challenges of energy efficiency, quality of power supply and lifecycle operational optimization of grid assets and systems. The project is owned by EFACEC with important contributions by EDP Distribuição, ISEP (through CISTER) and the University of Minho (through HASLab). CISTER will be central in the innovations related to embedded systems and to provide tools and analysis related to systems’ temporal properties. In meanwhile, collaborations of CISTER with EFACEC on related topics were discussed during an informal visit of CISTER researchers Eduardo Tovar and Jibran Ali to the EFACEC premises in Maia last May 27.


24, May, 2016

Achievements in Academia

CISTER researcher invited lecturer at FCUP

On the 13th of May, CISTER Researcher David Pereira lectured a seminar entitled “Runtime Verification of Real-Time Systems: Logics and Architectures” in the scope of the seminar series “Seminar on Semigroups, Automata and Languages”, organized by the Center of Mathematics of the Faculty of Sciences of the University of Porto (FCUP), were he presented the recent results in the field of formal verification of real-time embedded systems. These results refer to the ongoing joint work between CISTER members Luís Miguel Pinho, David Pereira, Geoffrey Nelissen, André Pedro, and former Master Student intern Sangeeth Kurunathan.

On the 24th of May, David Pereira gave a lecture on the introduction to program verification using the Coq proof assistant in the scope of the Formal Software Verification class that is part of the curricula of the Master’s Degree program offered by the Computer Science Department of FCUP.

In both of these activities, David Pereira had also the change to discuss potential collaborations between CISTER and member of this department in the specific topics of formal verification of real-time embedded systems.


21, May, 2016

Progress in Projects

CISTER in collaboration with EMBRAER

EMBRAER is a global key player in the aeronautics industry with whom CISTER already has a considerable history of successful collaborations. CISTER researcher Eduardo Tovar participated in several meetings with various EMBRAER colleagues at EMBRAER premises in São José dos Campos in Brazil, to further detail an ongoing framework of collaboration aiming at developing novel avionics, which according to EMBRAER colleagues and CISTER researchers has the potential to make history in the avionics sector. Besides the very fruitful technical discussions with our good colleagues Sérgio Penna, Parizi Negrão and Luciano Pedrote, the visit to São José dos Campos also provided the opportunity to visit a magnificent site where thousands of people excel to produce cutting-edge engineering.


13, May, 2016

Progress in Projects

CISTER participates in ECSEL call

CISTER had five successful submissions in the currently concluded project outline phase of the ECSEL 2016 call. These proposals were for the Research and Innovation actions as well as the Innovation actions of the call topic “Key Applications and Essential Technologies”. The participating partners from Portugal included public bodies, SMEs and LEs.

ECSEL is an important EU initiative that focuses on industrial research of important value to society and Portugal in particular. CISTER promoted a meeting in Lisbon, on May 13, of likeminded institutions and companies from Portugal along with ECSEL JU representatives to discuss current and future participation in these initiatives.


12, May, 2016

Progress in Projects


CISTER has already a long history of collaborations with GMV Portugal, in particular its Homeland Security and Defence Division. On the 12th of May, CISTER hosted a meeting with another division of GMV Portugal, Transport and Mobility, to explore new collaboration opportunities. GMV is a leader in solutions for aerospace and transportation industry, which constitutes an important strategic sector for CISTER. During the meeting, tasks on the joint use case implementations in the ongoing ECSEL projects SafeCOP and ENABLE-S3 were also discussed. GMV personnel Bruno Gonçalves and Paulo Gomes (Head of Road & Automotive Section - Transport & Mobility) also familiarized themselves with CISTER's facilities and CISTER's CITech – Industry Transfer Center, where several demonstrators were shown.


12, May, 2016

Progress in Projects

Arrowhead Project progresses

Recently, a General Meeting of the Arrowhead project took place at the High Speed Sustainable Manufacturing Institute, London. Arrowhead is the European effort to apply the Service Oriented Approach (SOA) to Embedded Systems by both streamlining the design of services, and providing a framework to support service development. The Arrowhead project is now in its last year. The meeting had the twofold goal of enabling demonstrators' owners to use the capabilities of the current implementation of the Arrowhead Framework, and to discuss the evolution of the framework.

CISTER work is converging on extending the publish/subscribe paradigm to SOA, and on QoS-as-a-Service. Michele Albano represented CISTER in the meeting and led the session on QoS. The discussion considered how QoS can be applied to orchestrate services in a local cloud, and the Arrowhead partners agreed on CISTER's proposal for an architecture supporting the QoS functionalities. Later, the discussion came to a novel topic, QoS for distributed systems obeying the "cloud of clouds" design, and the Arrowhead partners will be driven by CISTER while investigating this new research line.


10, May, 2016

Activities in the Center

Visit of collaborators from Lulea University of Technology

Researcher Per Lindgren from Lulea University of Technology (LTU) is back to CISTER until the end of July to continue the collaboration on topics covered in the project EMC2. Per Lindgren is a chaired professor in Embedded Systems at EISLAB, Sweden, and manages the Sustainable IT systems Master's (SITS) program. He is a member of the ARTES++ reference group, and member of the ARTEMIS Architecture group, having contributed to the ARTEMIS Strategic Research Agenda (SRA), section on Design Methods, Tools, Virtual Engineering. Among the many topics that LTU and CISTER have been working together, there is an active collaboration in the definition of curricula for subjects related to the construction of certified compilers for embedded systems software development, as well as deductive approaches to the formal verification of uni-processor scheduling algorithms.

During this month, CISTER hosted researcher Marcus Lindner, also from LTU. Marcus Lindner is pursuing its PhD under the supervision of Per Lindgren. His field of research is embedded systems with a focus on reliable and verifiable software with real-time support. During his stay, Marcus gave a seminar entitled “Robust Industrial Automation Software: outsets for non-determinism and real-time execution” where he presented software related issues and focused on selected properties, which are important for software development to improve the robustness of industrial automation software. Also during his stay, Marcus actively collaborated with CISTER researchers Luís Miguel Pinho and David Pereira in the topic of formal verification of industrial automation applications, with particular focus on the verification of the IEC 61499 standard.


6, May, 2016

Achievements in Academia

CISTER Researcher invited speaker at conference

CISTER Researcher Luis Lino Ferreira was one of the invited speakers at the Industry Day held in conjunction with the 12th IEEE Conference on Factory Communication Systems (WFCS). The Industry Day of WFCS 2016 had other exciting talks by various industrialists representing key companies and industrial organizations such as EFACEC, Brisa, EtherCAT, Wavecom or Veniam. Luis Lino Ferreira provided an overview of the ongoing work at CISTER aiming at developing innovative research on IoT technologies targeting factory automation scenarios and the Industry 4.0. A view on the main results and experiences coming from the European-wide strategic R&D projects Arrowhead and MANTIS, in which CISTER has relevant roles, was also conveyed to an audience of over 60 participants, mostly of them coming from the industry. Worth to note that Luis Lino Ferreira will act as Program Co-Chair for the 13th IEEE WFCS, that will take place in Trondheim, Norway.


April 2016

29, Apr, 2016

Activities in the Center

Two international PhD students join CISTER

Zeeshan Haider and Jibran Ali are the two most recent PhD students to join CISTER.

Zeeshan Haider earned his BEng degree in Electronic Engineering at National University of Science and Technology (NUST), Islamabad, in 2012, and a MSc in Systems Engineering from Shanghai Jiaotong University (SJTU), China, in 2015. Zeeshan’s main research interests are related to Optimization,Control Systems and Smart Grids.

Jibran Ali received a BEng degree in Electronic Engineering from NED University of Engineering and Technology, Pakistan, in 2012, and a MSc degree in Electrical Power Systems from North Carolina State University (NCSU), USA, in 2015. Jibran’s research interests include Smart Grid Systems, SCADA & Communication Protocols, and Encryption.

22, Apr, 2016

Progress in Projects

Kick Off meeting of ECSEL project SafeCOP

CISTER researchers Ricardo Severino and Eduardo Tovar participated in the kick-off meeting of this recently approved ECSEL project. SafeCOP addresses safety-related cooperating cyber-physical systems, characterized by use of wireless communication, multiple stakeholders, dynamic system definitions and unpredictable operating environments.

CISTER is leading the work package related to safe and secure wireless cooperation for Cyber-Physical Systems. This package will evaluate the adequacy of COTS and standard wireless technologies, and extend current wireless protocols for safe and secure cooperation. In this project, CISTER will also be involved in a vehicle platooning use case. SafeCOP partners include Thales, SINTEF, KTH, SICS and and key national industrial players such as GMV Skysoft and Tekever.

22, Apr, 2016

Progress in Projects

CISTER-led HiPEAC CSW thematic session

CISTER researcher Luis Miguel Pinho organized and coordinated a thematic session during the HiPEAC Computing Systems Week held in Porto at the Science and Technology Park of University of Porto (UPTEC). The session was on "Time, energy and other resources analysis for predictable parallel programming of cyber-physical systems". The event was jointly organized by the TACLe COST Action (IC1202 Timing Analysis on Code-Level) and the P-SOCRATES FP7 project.

There were two technical presentations, one from Daniel Gracia Perez (Thales, France) and another from researcher Vincent Nélis (CISTER, Portugal). In addition, Clemens Grelck (University of Amsterdam, The Netherlands) gave a presentation about a new COST Action proposal, to be submitted later in 2016. CISTER researchers Konstantinos Bletsas and Luis Miguel Pinho (the latter as the designated chair) have a central role in the preparation of this proposal, which aims to build a new community around the analysis of systems with respect to their resource requirements (time, energy, platform) and the associated trade-offs.

21, Apr, 2016

Activities in the Center

CISTER hosted two distinguished seminars

21, Apr, 2016

Progress in Projects

Review meeting of DEWI

The second year review meeting of the DEWI project recently took place in Brussels and was preceded by a rehearsal day in the premises of ARTEMIS/ECSEL headquarters. CISTER researcher Ramiro Robles represented the center in both these events. This year the focus of the review was on demonstrations of all the prototype developments and technical progress of 21 use cases.

CISTER leads multiple activities in DEWI including, aeronautics domain, work-package on active flow control use case, high level architecture activities, and the standardization, certification, and regulation work-package. The preliminary outcome of the review meeting was very positive with further progress anticipated during the third and final year of the project.