Projects per year
Realizing desired properties 'by construction' is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm is a promising solution to increase design productivity and reduce design errors. In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a modelbased X-by-Construction (XbC) approach. XANDAR defines a development process, metamodel extensions, a library of safety and security patterns, and investigates many further techniques for design automation, verification, and validation. The developed toolchain will use a hypervisor-based platform, targeting future centralized, AI-capable high-performance embedded processing systems. It is co-developed and validated in both an avionics use case for situation perception and pilot assistance as well as an automotive use case for autonomous driving.
|Title of host publication||Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings|
|Editors||Cristiana Bolchini, Ingrid Verbauwhede, Ioana Vatajelu|
|Publisher||Institute of Electrical and Electronics Engineers Inc.|
|Number of pages||5|
|Publication status||Published - 19 May 2022|
|Event||2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 - Virtual, Online, Belgium|
Duration: 14 Mar 2022 → 23 Mar 2022
|Name||Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings|
|Conference||2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022|
|Period||14/03/2022 → 23/03/2022|
Bibliographical noteFunding Information:
ACKNOWLEDGMENT This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 957210.
© 2022 EDAA.
- Model-based development
- Real-time systems
- Safety-critical systems
ASJC Scopus subject areas
- Computer Science(all)
- Computer Science Applications
- Automotive Engineering
- Safety, Risk, Reliability and Quality
FingerprintDive into the research topics of 'XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems'. Together they form a unique fingerprint.
- 1 Active
Cybersecurity engineering: bridging the security gaps in advanced automotive systems and ISO/SAE 21434
Fahad Siddiqui (Advisor)22 Jun 2023
Activity: Talk or presentation types › Oral presentation
Fahad Siddiqui (Advisor)17 Jan 2023
Activity: Talk or presentation types › Invited or keynote talk at national or international conference
Fahad Siddiqui (Participant)16 Jan 2023 → 18 Jan 2023
Activity: Participating in or organising an event types › Participation in conference
- 8 Conference contribution
Hui, H., McLaughlin, K., Siddiqui, F., Sezer, S., Yengec Tasdemir, S. & Sonigara, B., 22 Sep 2023, Proceedings of the IEEE 36th International System-on-Chip Conference, SOCC 2023. Becker, J., Marshall, A., Harbaum, T., Ganguly, A., Siddiqui, F. & McLaughlin, K. (eds.). Institute of Electrical and Electronics Engineers Inc., 6 p. (IEEE International SOC Conference: Proceedings).
Research output: Chapter in Book/Report/Conference proceeding › Conference contributionOpen AccessFile2 Downloads (Pure)
Cybersecurity engineering: bridging the security gaps in advanced automotive systems and ISO/SAE 21434Siddiqui, F., Khan, R., Yengec Tasdemir, S., Hui, H., Sonigara, B., Sezer, S. & McLaughlin, K., 14 Aug 2023, 97th IEEE Vehicular Technology Conference (VTC2023-Spring). Institute of Electrical and Electronics Engineers Inc., ( IEEE Vehicular Technology Conference (VTC): Proceedings).
Research output: Chapter in Book/Report/Conference proceeding › Conference contributionOpen AccessFile7 Downloads (Pure)
Siddiqui, F., Ahlbrecht, A., Khan, R., Yengec Tasdemir, S., Hui, H., Sonigara, B., Sezer, S., McLaughlin, K., Zaeske, W. & Durak, U., 10 Nov 2023, 2023 AIAA/IEEE 42nd Digital Avionics Systems Conference (DASC): proceedings. Institute of Electrical and Electronics Engineers Inc., 9 p. (AIAA/IEEE Digital Avionics Systems Conference (DASC): Proceedings).
Research output: Chapter in Book/Report/Conference proceeding › Conference contributionOpen AccessFile1 Downloads (Pure)