AQUAS

17/10/2020

Watch new videos on our YouTube channel

06/09/2019

On Monday, September 9, 2019 we (Brno University of Technology, TrustPort, Siemens Austria, and AIT Austrian Institute of Technology) will present co-engineering approach developed within AQUAS project by a booth at Alpine Verification Meeting.

The Alpine Verification Meeting (AVM) is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is ...

19/06/2019

Take a look at the following photos from our preparation for project review. Notice especially the third photo that jokingly illustrates that we have to deal with a number of challenges.

17/06/2019

Look at the photos of our booth at ECSEL JU Symposium 2019 in Bucharest.

14/06/2019

Dear Co-Engineering Fans,

we will be glad to meet You next week at our booth at ECSEL JU Symposium 2019 in Bucharest. AQUAS will be represented there by Emmanuel Vaumorin from Magillem and by Pavel Mrnustik from TrustPort.

ECSEL JU Symposium 2019. Bucharest, Romania For full details and registration GO TO THE EVENT PAGE Follow us for regular event updates! European and global stakeholders in the Electronic Components and Systems (ECS) field, from Industry, Research and Financial Communities as we...

11/04/2019

Take a look at the photos from a plenary meeting of the AQUAS project that took place in Rome from Tuesday 9th to Thursday 11th of April.

10/04/2019

The AQUAS project has been presented at the 17th International Conference on Computer Aided Systems Theory (Eurocast) that took place in Las Palmas de Gran Canaria, Spain, from the 17th to the 22nd of February, 2019.

22/03/2019

Take a look at a two-minute video explaining the goal of the AQUAS project.

Two-minute video explaining the goal of the AQUAS project.

06/03/2019

The AQUAS project was presented during the Security 2019 conference held on 28 February in Prague.

Conference website (in Czech): https://konferencesecurity.cz/

18/01/2019

You can meet us at HiPEAC conference in Valencia!

On Monday, January 21, 2019, we organize workshop CE-ELITE: Workshop on Co-engineering – Enabling Infrastructure for New Computing Technologies.

On Wednesday, January 23, 2019, our partners from Università degli Studi dell’Aquila provide tutorial HEPSYCODE: HW/SW CO-DEsign of HEterogeneous Parallel dedicated Systems.

© 2004-2019 HiPEAC, European Network on High Performance and Embedded Architecture and CompilationThe HiPEAC project has received funding from the European Union’s Horizon2020 research and innovation programme under grant agreement number 779656.

18/01/2019

The City, TrustPort and BUT participated in today's meeting in Brno. We discussed the methodology and testbed that will be used in the ATM use case.

27/11/2018

An AQUAS paper was presented on a co-engineering approach with interaction points for the concept phase in the industrial drives use case.

An AQUAS paper was presented on a co-engineering approach with interaction points for the concept phase in the industrial drives use case.

Abstract:

System safety standards have been available for two decades. Remarkably, none of the functional safety standards gave detailed guidance on how to treat potential security risks; security was – if at all – only mentioned in a small remark. However, the way how systems are built has changed; today’s safety-critical systems are more and more integrated in networks and, thus, the old paradigm of isolated systems is not any more valid. It has been recognized that safety and security, and since recently also performance, need to be treated in combination: Co-engineering is required. After a short glance at the state of the art in co-engineering methods and in respective standardization, the paper describes the approach of co-engineering with interaction points taken in the ECSEL project AQUAS, which has been running since May 2017. The methodology is illustrated with first details on how the co-engineering approach for the concept phase is realized in the industrial drive use case provided by Siemens AG Austria.

Springer link:

https://rd.springer.com/chapter/10.1007/978-3-319-99229-7_14