D2.1: Modelling Requirements for System's and Interface Specifications

VECTOR, KIT, UOP, QUB
2021 Zenodo  
This deliverable describes the results of Task T2.1 Requirements for Models, Interfaces & Tools, which derives and specifies the requirements that are necessary to accurately model the non-functional constraints, the safety/security concepts and the system function, network, hardware, and software architecture. Based on the results of Task T1.1 – Pilot Trials Specifications & Assessment Protocol, which targets analysis and specification of functional and non-functional requirements for the
more » ... trial validators, it, at first, introduces the XANDAR development process in Chapter 2. This process shows the general approach of XANDAR and defines the interaction of data, models, and tools. In Chapter 3, the document specifies the essential requirements to accurately model a system's architecture, constraints, and the interfaces to other tools. These requirements represent the result of the further chapters and, thus, the main contribution of the task. Starting with Chapter 4, the status quo is described. This starts off with an introduction of existing modelling tools that are an essential part of the XANDAR process. Chapter 5 continues with a presentation of existing data models e.g., EAST-ADL, AMALTHEA, to highlight their possible usage to fulfil the previous modelling requirements. Finally, in Chapter 6, the data flow of the XANDAR process is described by presenting the existing interfaces of the aforementioned modelling tools. With the description of the status quo and a list of requirements, which are directly derived from the work on the demonstrator, a clear view of the existing deficits and, consequently, of the next steps to achieve a X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems is given.
doi:10.5281/zenodo.6539461 fatcat:ciojvukdnjafjc36yuhgqhq6um