Dynamically Confjgurable Traceability Semantics Tarski: A Platform - PowerPoint PPT Presentation

Introduction Geylani Kardas 4 F. Erata et al. 3rd Workshop on Dependability at Izmir Institute of Technology 5 Academy Directorate, HAVELSAN Inc., Ankara, Turkey 4 International Computer Institute, Ege University, Izmir, Turkey 3 System Engineering Platforms, AIRBUS Group Innovations, Toulouse, France 2 UNIT Information Technologies R&D Ltd., Izmir, Turkey 1 Information Technology Group, Wageningen University, The Netherlands Eray Tuzun 5 Approach Anne Monceaux 3 Bedir Tekinerdogan 1 Dynamically Confjgurable Traceability Semantics Tarski: A Platform for Automated Analysis of Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform Ferhat Erata 1 , 2 Moharram Challenger 1 , 4

Introduction Approach Demonstration Conclusion and Future Work Acknowledgements Scientifjc and Technological Research Council of Turkey (TUBITAK), Technology and Innovation Funding Programs Directorate (TEYDEB) under project# 9140014, 9150181 Minister for the Economy, Industry and Digital Afgairs of France, Directorate-General for Enterprise (DGE) under contract# 14293020 European Cooperation in Science and Technology (COST) Action IC1404 ”Multi-Paradigm Modelling for Cyber-Physical Systems” F. Erata et al. Traceability Analysis on Tarski Platform

Introduction Approach Demonstration Conclusion and Future Work Exploitations ITEA-ModelWriter: Synchronized Document Engineering Platform https://itea3.org/project/modelwriter.html ITEA-ASSUME: Afgordable Safe & Secure Mobility Evolution https://itea3.org/project/assume.html Source codes, datasets and screencasts are available at: https://github.com/ModelWriter/WP3 F. Erata et al. Traceability Analysis on Tarski Platform

Introduction Type Annotation and Trace-Relations F. Erata et al. Conclusion and Future Work 4 Automated Analysis of Traceability First-order Model Management Traceability Management Formal Specifjcation of Traceability Semantics Demonstration 3 Formal Semantics and Automated Analysis First-order Relational Model and Logic Approach Traceability Domain Model Approach 2 Industrial Use Cases Motivation Introduction 1 Outline Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform

Introduction First-order Relational Model and Logic F. Erata et al. Conclusion and Future Work 4 Automated Analysis of Traceability First-order Model Management Traceability Management Formal Specifjcation of Traceability Semantics Demonstration 3 Formal Semantics and Automated Analysis Type Annotation and Trace-Relations Traceability Domain Model Approach Approach 2 Industrial Use Cases Motivation Introduction 1 Outline Industrial Use Cases Motivation Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform

Introduction development process. F. Erata et al. Compliance and Certifjcation in automotive and aviation industries. Richer and precise automated traceability analysis. Why is Reasoning about Traceability important? Rigorously specifjcation the semantics of traceability elements. What is case-based or project-based traceability confjguration? can be established among work products (aka. artefacts) of the Approach Traceability can be defjned as the degree to which a relationship What is Traceability? Industrial Use Cases Motivation Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform

Introduction Traceability Semantics is often statically defjned. F. Erata et al. Several industries demands formal proofs of Traceability. Likewise, difgerent traceability analysis scenarios exists. industrial settings, Difgerent traceable elements and the relation types exist in difgerent projects. The semantics cannot be easily adapted for the needs of Confjguration of traceability (possibly dynamically) Approach instead of being simple bi-directional referential relation traceability relations should have a rich semantic (meaning) Semantically meaningful traceability Challenges of Traceability in Industry Industrial Use Cases Motivation Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform

Introduction Traceability Semantics is often statically defjned. F. Erata et al. Several industries demands formal proofs of Traceability. Likewise, difgerent traceability analysis scenarios exists. industrial settings, Difgerent traceable elements and the relation types exist in difgerent projects. The semantics cannot be easily adapted for the needs of Confjguration of traceability (possibly dynamically) Approach instead of being simple bi-directional referential relation traceability relations should have a rich semantic (meaning) Semantically meaningful traceability Challenges of Traceability in Industry Industrial Use Cases Motivation Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform

Introduction Traceability Semantics is often statically defjned. F. Erata et al. Several industries demands formal proofs of Traceability. Likewise, difgerent traceability analysis scenarios exists. industrial settings, Difgerent traceable elements and the relation types exist in difgerent projects. The semantics cannot be easily adapted for the needs of Confjguration of traceability (possibly dynamically) Approach instead of being simple bi-directional referential relation traceability relations should have a rich semantic (meaning) Semantically meaningful traceability Challenges of Traceability in Industry Industrial Use Cases Motivation Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform

Introduction Traceability Semantics is often statically defjned. F. Erata et al. Several industries demands formal proofs of Traceability. Likewise, difgerent traceability analysis scenarios exists. industrial settings, Difgerent traceable elements and the relation types exist in difgerent projects. The semantics cannot be easily adapted for the needs of Confjguration of traceability (possibly dynamically) Approach instead of being simple bi-directional referential relation traceability relations should have a rich semantic (meaning) Semantically meaningful traceability Challenges of Traceability in Industry Industrial Use Cases Motivation Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform

Introduction First-order Relational Model and Logic F. Erata et al. Conclusion and Future Work 4 Automated Analysis of Traceability First-order Model Management Traceability Management Formal Specifjcation of Traceability Semantics Demonstration 3 Formal Semantics and Automated Analysis Type Annotation and Trace-Relations Traceability Domain Model Approach Approach 2 Industrial Use Cases Motivation Introduction 1 Outline Industrial Use Cases Motivation Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform

Introduction Approach Demonstration Conclusion and Future Work Motivation Industrial Use Cases Airbus Group Innovations System Installation Design Principles F. Erata et al. Traceability Analysis on Tarski Platform

Introduction Approach Demonstration Conclusion and Future Work Motivation Industrial Use Cases Airbus Group Innovations System Installation Design Principles F. Erata et al. Traceability Analysis on Tarski Platform

Introduction Approach Demonstration Conclusion and Future Work Motivation Industrial Use Cases Airbus Group Innovations System Installation Design Principles F. Erata et al. Traceability Analysis on Tarski Platform

Introduction Approach F. Erata et al. forth. Traceability ensures the system is complete. source code has a purpose (is connected to a requirement), and so the source code, that each requirement is tested, that each line of analysis is then used to ensure that each requirement is fulfjlled by DO-178 requires a documented connection (called a trace) between Traceability Certifjcation Software Considerations in Airborne Systems and Equipment DO-178C Application Lifecycle Management Havelsan Aerospace Electronics Industry Industrial Use Cases Motivation Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform the certifjcation artifacts. For example, a Low Level Requirement (LLR) traces up to a High Level Requirement (HLR). A traceability

Traceability Analysis Activities defjned in DO-178 F. Erata et al. Traceability Analysis on Tarski Platform

Introduction Traceability Domain Model F. Erata et al. Conclusion and Future Work 4 Automated Analysis of Traceability First-order Model Management Traceability Management Formal Specifjcation of Traceability Semantics Demonstration 3 Formal Semantics and Automated Analysis Type Annotation and Trace-Relations First-order Relational Model and Logic Approach Approach 2 Industrial Use Cases Motivation Introduction 1 Outline Formal Semantics and Automated Analysis Type Annotation and Trace-Relations First-order Relational Model and Logic Traceability Domain Model Conclusion and Future Work Demonstration Traceability Analysis on Tarski Platform