AQUAS
Share
Aggregated Quality Assurance for Systems
The project targets development of methods and tools for aggregated quality assurance covering safety, security, as well as performance of computer-controlled systems. The methods and tools being developed in the project will be evaluated on case studies from the areas of aerospace, space, automotive, rail, as well as medical machines.
17/10/2020
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.
AVM'19 - 13th Alpine Verification Meeting (AVM'19) 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.
Symposium 2019 | ECSEL Joint Undertaking 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.
AQUAS 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.
HiPEAC 2019, Valencia - HiPEAC © 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
Click here to claim your Sponsored Listing.
Contact the school
Website
Address
0###XX