NexusForum.EU Wiki

XANDAR: Difference between revisions

VisualWikitext
Created page with "==EU Project short name::XANDAR== ===EU Project full name::X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems=== '''Full project details (EU Research results portal):''' CORDIS URL::https://cordis.europa.eu/project/id/957210 === '''Project description:''' === The next generation of networked embedded systems (ES) necessitates rapid prototyping and high performance while maintaining key qualities li..."
 
No edit summary
 
(3 intermediate revisions by the same user not shown)
Line 10: Line 10:
'''EU Programme:'''
'''EU Programme:'''
[[Programme::Horizon 2020]]
[[Programme::Horizon 2020]]
[[ItemType::EU Project]]
'''Project publications:'''
{{#ask:
[[Category:Publications]]
[[EU Project::XANDAR]]
| ?EU Project = EU Project
| ?Has Title#- = Title
| ?Has Category#- = Category
| ?Has Type#- = Type
| ?Has Year#- = Year
| ?Has DOI = DOI
| format=datatables
| limit=1000
| mainlabel=-
| searchable=yes
| column filters=select
| noajax=yes
}}

Latest revision as of 13:21, 8 May 2026

XANDAR

X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems

Full project details (EU Research results portal): https://cordis.europa.eu/project/id/957210

Project description:

The next generation of networked embedded systems (ES) necessitates rapid prototyping and high performance while maintaining key qualities like trustworthiness and safety. However, deployment of safety-critical ES suffers from complex software (SW) toolchains and engineering processes. Moreover, the current trend in autonomous systems relying on Machine Learning (ML) and AI applications in combination with fail-operational requirements renders the Verification and Validation (V&V) of these new systems a challenging endeavor. Prime examples are autonomous driving cars that are prone to various safety/security vulnerabilities. The XANDAR project is built to exactly match the goals defined within the ICT-50 Software Technologies.XANDAR will deliver a mature SW toolchain (from requirements capture down to the actual code integration on target including V&V) fulfilling the needs of the industry for rapid prototyping of interoperable and autonomous ES. Starting from a model-based system architecture, XANDAR will leverage novel automatic model synthesis and software parallelization techniques to achieve specific non-functional requirements setting the foundation for a novel real-time, safety-, and security-by-Construction (X-by-Construction) paradigm. For the first time, XbC-guided code generation for non-deterministic ML/AI applications will be combined with novel runtime monitors to ensure fail-operation in the presence of runtime faults and security exploitations. The project provides a consortium covering the full spectrum of ES and software engineering. XANDAR will be validated by an automotive OEM (BMW) and the German Aerospace Center (DLR). Leading European SMEs and enterprises such as Vector, AVN, and fentISS as well as successful academic partners will contribute their diverse knowhow in Model-Driven Engineering, Software Systems and V&V, multicore architectures, code generation, and security enforcements from higher-level behavioral models to actual runnables.

EuroVoc IDs: /natural sciences/computer and information sciences/software/software applications/system software

EU Programme: Horizon 2020

EU Project

Project publications:

EU ProjectHas TitleHas CategoryHas TypeHas YearHas DOI
XANDARA Runtime Security Monitoring Architecture for Embedded HypervisorsSoftware Engineering, Testing, and DevOpsConference proceedings2023https://doi.org/10.1109/socc58585.2023.10256735
XANDARCybersecurity Engineering: Bridging the Security Gaps in Avionic Architectures and DO-326A/ED-202ASoftware Engineering, Testing, and DevOpsConference proceedings2023https://doi.org/10.1109/dasc58513.2023.10311187
XANDARA Methodology for Efficient Tile Size Selection for Affine Loop KernelsSoftware Engineering, Testing, and DevOpsPeer reviewed articles2022https://doi.org/10.1007/s10766-022-00734-5
XANDARSafety by Construction: Pattern-Based Application of Safety Mechanisms in XANDARSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.1109/isvlsi54635.2022.00081
XANDARNS3SaaS: Cloud-based Network Simulator as a Service with customisable resource schedulingSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.1109/cloudnet55617.2022.9978899
XANDARXANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical SystemsSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.1109/vtc2022-spring54318.2022.9860859
XANDARXANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical SystemsSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.23919/date54114.2022.9774534
XANDARTowards Automating a Software-Centered Development Process that considers Timing PropertiesSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.1109/socc56010.2022.9908127
XANDARModel-Based STPA: Enabling Safety Analysis Coverage Assessment with FormalizationSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.1109/dasc55683.2022.9925883
XANDARCybersecurity Engineering: Bridging the Security Gaps in Advanced Automotive Systems and ISO/SAE 21434Software Engineering, Testing, and DevOpsConference proceedings2023https://doi.org/10.1109/vtc2023-spring57618.2023.10200490
XANDARHypervisor-Based Target Deployment Strategies for Time Predictability in Model-Based DevelopmentSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.1109/socc56010.2022.9908090
XANDARAn analytical model for loop tiling transformationSoftware Engineering, Testing, and DevOpsConference proceedings2021https://doi.org/10.1007/978-3-031-04580-6 7
XANDARModel-Based STPA: Towards Safety-Guided Design with FormalizationSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.1109/isse54508.2022.10005396
XANDARA Behavior Specification and Simulation Methodology for Embedded Real-Time SoftwareSoftware Engineering, Testing, and DevOpsConference proceedings2022https://doi.org/10.1109/ds-rt55542.2022.9932069
XANDARPattern-Based Information Flow Control for Safety-Critical On-Chip SystemsSoftware Engineering, Testing, and DevOpsConference proceedings2023https://doi.org/10.1007/978-3-031-40923-3 14
XANDARBird s-eye view on the Automotive Cybersecurity Landscape & Challenges in adopting AI/MLSoftware Engineering, Testing, and DevOpsConference proceedings2021https://doi.org/10.1109/fmec54266.2021.9732568
XANDARXANDAR: V&V Approach for Safety-Critical Systems in Automotive and Avionics Use CasesSoftware Engineering, Testing, and DevOpsConference proceedings2023https://doi.org/10.1109/socc58585.2023.10257177
XANDARXANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software SystemsSoftware Engineering, Testing, and DevOpsConference proceedings2021https://doi.org/10.1109/fpl53798.2021.00075
XANDARA Comparative Analysis of Security Patterns for Enhanced Security in Safety-Critical SystemsSoftware Engineering, Testing, and DevOpsConference proceedings2023https://doi.org/10.1109/socc58585.2023.10256708
Retrieved from "https://wiki.eucloudedgeiot.eu/index.php?title=XANDAR&oldid=3754"