Browsing by Keyword "certification"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Towards a case-based reasoning approach for safety assurance reuse(2012) Ruiz, Alejandra; Habli, Ibrahim; Espinoza, Huáscar; Quantum; Tecnalia Research & InnovationThe increasing complexity and size of electronic systems in the aerospace industry, combined with the growing market demand, requires the industry to implement an efficient safety assurance strategy. Reuse of safety argumentation and evidence for certification is one of the potential means for achieving such a strategy. Typically, major problems arise when the evolution of complex avionics entails the reconstruction of the entire body of safety justification, often resulting in expensive and time-consuming assurance and certification processes. This paper investigates the use of Case-Based Reasoning (CBR) as a strategy for representing, retrieving and reusing previously assured safety cases. This is supported by the existence of patterns of safety cases, which determine a unified knowledge representation scheme for retrieving further safety cases. We illustrate the approach with the development of modular argumentation for an Integrated Modular Avionics (IMA) platform.Item Towards composable robotics: The R3-COP knowledge-base driven technology platform(2012) Schoitsch, Erwin; Herzner, Wolfgang; Alonso-Montes, Carmen; Chmelar, P.; Dalgaard, Lars; IAThe ARTEMIS project R3-COP (Resilient Reasoning Robotic Co-operating Systems) aims at providing European industry with leading-edge innovation that will enable the production of advanced robust and safe cognitive, reasoning autonomous and co-operative robotic systems at reduced cost.This is achieved by cross-sector reusability of building blocks, collected in a knowledge base, within a generic framework and platform with domain-specific instantiations. The R3-COP Framework is targeting at becoming basis for a European RTP (Reference Technology Platform) for robust autonomous systems by embodying methodologies, methods, and tools for safety-critical hard-real-time system development and verification supported by European tool vendors. To enable this, interoperability issues have to be resolved at several levels, including meta-models, models, tool interfaces and component descriptions. The link is established by the knowledge base described in more detail in this paper to allow composition of robotic applications from building blocks, guiding design & development as well as validation & verification (supporting certification in the end). The concept of the knowledge base could be re-used in the planned ARTEMIS Common Reference Technology Platform for critical systems engineering.