2022 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE) 2022
DOI: 10.23919/date54114.2022.9774534
|View full text |Cite
|
Sign up to set email alerts
|

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems

Abstract: 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) app… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
6
0

Year Published

2022
2022
2023
2023

Publication Types

Select...
4
1
1

Relationship

1
5

Authors

Journals

citations
Cited by 12 publications
(10 citation statements)
references
References 11 publications
0
6
0
Order By: Relevance
“…Assuring non-functional properties for embedded systems is an important part of certification in safety-critical sectors [9], [14]. To assist in this process, an X-By-Construction toolchain [22]. The project focuses on enforcing non-functional properties in the design process of embedded systems.…”
Section: Flight Assistance System Use Casementioning
confidence: 99%
“…Assuring non-functional properties for embedded systems is an important part of certification in safety-critical sectors [9], [14]. To assist in this process, an X-By-Construction toolchain [22]. The project focuses on enforcing non-functional properties in the design process of embedded systems.…”
Section: Flight Assistance System Use Casementioning
confidence: 99%
“…One of the project goals is to improve software development productivity and quality for autonomous and distributed realtime embedded systems [12], [13]. This goal can be achieved by providing holistic software design methods and architectures that guarantee functional and non-functional properties "by-construction" defined as [16]: "A step-wise refinement process from specification to code that automatically generates software implementations that by construction satisfy specific functional and non-functional properties.…”
Section: Eu-project: X-by-construction Design Framework For Autonomou...mentioning
confidence: 99%
“…In the XANDAR project, the tasks 3 ⃝, 4 ⃝, 5 ⃝, 6 ⃝ initially will be focused on data confidentiality, data integrity and data authentication functions as required by the automotive and avionics application use cases [13]. It will involve:…”
Section: Holistic Cybersecurity Engineering Processmentioning
confidence: 99%
See 2 more Smart Citations