Login
  • Ongoing Project:
    Productive4.0

    Digitalization of the European Industry
    Fraunhofer Gesellshaft
    Airbus Group
    Thales
    BMW - Bayrische Motoren Werke AG
    Volvo Technology AB Sweden
    NXP Semiconductors Germany GmbH
    Ericsson
    SAP AG
    Philips Lighting B.V. Nederlands
     Robert Bosch GMBH
    ABB AG

    Find out more...

  • Ongoing Project:
    SCOTT

    Building Trust in the Internet of Things
    Embraer
    NXP Semiconductors
    Nokia
    Ericsson
    Siemens AG
    Philips Nederland
     Robert Bosch GMBH

    Find out more...

  • Ongoing Project:
    ENABLE-S3

    Novel Validation Procedures for Highly Automated Systems
    Thales
    Airbus Defence & Space
    Siemens AG
    Renault SAS
    Toyota Motor Europe

    Find out more...

Gallery of Hosted Conferencesmore

Latest Newsmore

24, Jul, 2019

Fundamental Research Activities

KhronoSim Final Evaluation meeting in Coimbra

CISTER Researcher Cláudio Maia attended the final evaluation meeting for the KhronoSim project. In this meeting two evaluators assessed the project in terms of achieved objectives and results. After careful evaluation and discussion, the project was deemed a success as all the objectives for the project were achieved, resulting in the development of two demonstrators for the KhronoSim test platform: an automotive instrument cluster and a satellite.

In the project, among other tasks, the CISTER team was responsible for studying the state of the art of emulation for multicore systems and integrating the KhronoSim test platform with the selected emulator. The emulator selected for the project was QEMU, one of the most versatile emulators currently available in the market, on top of which CISTER developed the KhronoSim QEMU Module that allows one to instance, manage and control, via the KhronoSim platform, several QEMU instances.

 

4, Jul, 2019

Industry Collaborations

CISTER Researchers participated in TECH@PORTUGAL at Âlfandega do Porto

18, Jun, 2019

Fundamental Research Activities

Distinguished Seminar on Communications for Satellites

11, Jun, 2019

Fundamental Research Activities

REASSURE progress meeting at U.Minho

On the 11th of June, CISTER Researchers David Pereira and Giann Nandi have participated in a progress meeting of REASSURE, that took place in the premises of the Department of Informatics of University of Minho.
The meeting, which counted also with the participation of REASSURE’s team members José Bacelar Almeida and Jorge Sousa Pinto from HASLab/ INESC TEC, had the purpose of analyzing the results obtained by both teams in this first year of REASSURE, and to plan the next steps for the second year of activities of the project, notably in what concerns the design of Domain Specific Languages and Cyber-Security Support in the design of runtime monitoring architectures.

Particular focus on the work developed by Giann, under his PhD studies, on the formal verification of WSN protocols using the ProVerif Tool, which is the core result described in the paper entitled “Security in Wireless Sensor Networks: A formal verification of protocols” that has been recently accepted in this year’s edition of INDIN 2019 – 17th IEEE International Conference on Industrial Informatics.

7, Jun, 2019

Fundamental Research Activities

Visit from Serbian Researcher of the RT-RK National Research Institute

7, Jun, 2019

Fundamental Research Activities

General Assembly and F2F meeting of the project SCOTT in Gdansk, Poland

6, Jun, 2019

Fundamental Research Activities

Periodic Seminar on "Effective System Integration"

27, May, 2019

Fundamental Research Activities

Periodic Seminar on Thermal-Aware Scheduling

24, May, 2019

Industry Collaborations

THERMAC physical kick-off meeting at CISTER

21, May, 2019

Activities in the Academia

HDR examination of Luca Santinelli

Last 20th of May, at the ENSEEIHT in Toulouse, CISTER Vice-Director Luis Almeida participated in the HDR examination (Habilitation à Diriger de Recherche) of Luca Santinelli, a well-known member of the real-time systems community, based at ONERA, working essentially on probabilistic methods for the estimation of the worst-case execution and response times.
The examination focused on the research path of the candidate and his research perspectives for the future.
Beyond Luis Almeida, the examination committee included Alan Burns U.York,UK; Isabelle Puaut, U.Rennes, FR; Laurent George, ECE, FR; Yves Sorel, INRIA, FR; Joel Goossens, ULB, BE and Christian Fraboul, U.Toulouse, FR.
 

Next Events & Call for Papersmore