Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
POMANTE, L.
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
VELJKOVIĆ, F.
MAGNIN, P.
Abstrakt

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.

Klíčová slova

cyber-physical systems, safety, security, performance

URL
Rok
2018
Strany
592–599
Sborník
Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018)
Konference
21st Euromicro Conference on Digital Systems Design
ISBN
978-1-5386-7376-8
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
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"
}
Soubory
Projekty
AQUAS: Agregované metody řízení kvality, EU, Horizon 2020, 8A17001, 737475, zahájení: 2017-05-01, ukončení: 2020-04-30, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru