Result Details

The AQUAS ECSEL Project

VOJNAR, T.; POMANTE, L.; KŘENA, B.; VELJKOVIĆ, F.; MAGNIN, P. The AQUAS ECSEL Project. In Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018. p. 592-599. ISBN: 978-1-5386-7376-8.
Type
conference paper
Language
English
Authors
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
POMANTE, L.
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
VELJKOVIĆ, F.
MAGNIN, P.
Abstract

There is an ever-increasing complexity of the systems we engineer in modern society, which includes facing the convergence of the embedded world and the open world. This complexity creates increasing difficulty with providing assurance for factors including safety, security and performance. In such a context, the AQUAS project investigates the challenges arising from the inter-dependence of safety, security and performance of systems and aims at efficient solutions for the entire product life-cycle. The project builds on knowledge of partners gained in current or former EU projects and will demonstrate the newly developed methods and techniques for co-engineering across use cases spanning Space, Medicine, Transport and Industrial Control.

Keywords

cyber-physical systems, safety, security, performance

URL
Published
2018
Pages
592–599
Proceedings
Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018)
Conference
21st Euromicro Conference on Digital Systems Design
ISBN
978-1-5386-7376-8
Publisher
Institute of Electrical and Electronics Engineers
Place
Praha
DOI
10.1109/DSD.2018.00104
UT WoS
000537466600088
EID Scopus
2-s2.0-85056450768
BibTeX 
@inproceedings{BUT155961,
  author="VOJNAR, T. and POMANTE, L. and KŘENA, B. and VELJKOVIĆ, F. and MAGNIN, P.",
  title="The AQUAS ECSEL Project",
  booktitle="Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018)",
  year="2018",
  pages="592--599",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Praha",
  doi="10.1109/DSD.2018.00104",
  isbn="978-1-5386-7376-8",
  url="https://ieeexplore.ieee.org/document/8491875"
}
Files
Projects
AQUAS: Aggregated Quality Assurance for Systems, EU, Horizon 2020, 8A17001, 737475, start: 2017-05-01, end: 2020-04-30, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top