Process Modeling Tool (PMT) Very Short Overview 23.05.2019 Oscar Slotosch, Validas AG Process Modeling Tool (PMT) Very Short Overview

2019, Jan 22nd Validas AG About Us We are a technology consultancy for quality assurance of embedded systems Our core competences are model- based development, model-based testing, test automation, tool qualification We develop innovative software engineering methods, implement them in form of tools and processes and we support our customers in their application.

Portfolio and History Model-based Test since 2001 2019, Jan 22nd Portfolio and History Model-based Test since 2001 Tool qualification since 2006 Tool test since 2007 Qualification Kits for tools/libraries since 2012/15 Tool Chain Analysis since 2010 Validas AG

Tool & Library Qualification Validas Topics Tool Chain Analysis & Documentation (Tool) Testing & Continuous Testing Guidance for Tool Usage Tool Chain Configuration Tool & Library Qualification Neuronal Nets

Qualification Processes 2019, Jan 22nd Qualification Processes Tool 1 Tool 5 Tool 4 Tool 3 Tool 2 Tool Chain Analysis Standards (ISO 26262, IEC 61508, DO 178, EN 50128) require a safe usage of all SW development tools & libraries Tool classification Critical tools: Qualification Safe Usage We consider the following processes Tool Chain Analysis Qualification Kit Creation Tool Qualification Application Developer with TCA Application Developer with QST Tool 5 Qualification Kit Tool Qualification Tool Safety Manual Library 1 Library 2 Library 2 Library 4 Library 5 Library 5 Library 5 Tool/ Library Qualification Report Templates Pot. Errors Tests Qualification Kit Guidelines Tool / Library Provider with TCA Model Manual

Motivation: (QKit-)Compliances SWC Qualification Kit: (6-SEOOC Compliant) Function-Specifications Potential Errors Known Bugs Code-Coverage (ALL ASIL) Architecture Programming Guidelines Tool Qualification Reports Many Tests / TAU … SWC Qualification Kit: (8-12 Compliant) Function-Specifications Potential Errors Known Bugs Code-Coverage (ASIL D) negative Tests / TAU … Tool Qualification Kit: (8-11 Compliant) Feature-Specifications Potential Errors Known Bugs Mitigations Requirements Tests / TAU … similar structures: development processes

Goals of Process Modeling Tool Goals: Making Safety Easier & Safer Formalize & improve processes Show compliance with safety standards (Safety Plan) Support achieving compliance (Safety Case) Document processes Features: Model processes (with BPMB like visualization) Validate processes (syntactically) for consistency and completeness Generate process & compliance reports Generate Verification & Validation Plans (for separate VVT) Can be used for modelling of model-based processes Has been used to certify Validas qualification processes Will be open source soon

Process Modeling Tool PMT Model-Based Process Link Requirements to Processes and Verification Actions Formalize Tailor Parameters PMT QKit ISO 26262, IEC 61508, .. Formalize Parameter Values Generate Generate Generate VVT Process Description Verification Validation Plan Verification Validation Report Project: V&V Compliance Report Safety Plan Safety Case

Graphical Notation Elements Process Module: blue, rounded box: Verification Module: green, rounded box: Hierarchical Process Module: blue folders: Hierarchical Verification Module: green folders: Artifact: Grey box with note: Model: Orange box with note: StakeHolder: transparent box: Conditions: yellow routes: Relations Before After: solid arrow: Read/Write: dashed arrow: Artifact Containment: dotted arrow: Default Start & End

Process Example

Example Compliane Argumentation We use Test Generators that have to generate complete test case We check this during V&V

Verification and Validation Model V&V Model documents Verification and Validation (for all instances of the parameters) V&V Model is basis for Verification and Validation Tool (VVT) VVT Model is generated from PMT (based on Process and Planning parameters) Meta Model of VVT:

Example: Corresponding Checklist

Summary Model-based process makes safety more safe Safety plans & safety cases PMT Prototype Model processes with Parameters for Variants Compliance Document Generators VVT Prototype Verification and Validation / check list generation is key for compliance V&V report generation Approach has been applied to certify Validas tool qualification process Meta-Process can for semantic check of processes Approach is currently used for all Validas qualification processes QKits for tools Classification & qualification of tool chains QKits for libraries QKits for software

Model for Parameterized and Compliant Model-Based Processes Requirement References StakeHolder Claimes Compliance Before / After ProcessModule References Instances References Artifact Output Input Parameter Binding MetaModelElement Model MetaModelAtribute MetaModelAssociation Mandatory MetaModel Includes Optional VerifcationModule

Future? PMT = Project Management Tool Process Modules & Artifacts have the following project states: DEFINED: Initial State READY: Inputs are available (and pre-ceeding tasks are done) IN_PROGRESS: work started DONE: work finished Workflow: DEFINED (initial) READY (automatically determined by PMT) DONE (set from user)