Oscar Slotosch Validas AG Process Modeling Tool PMT

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

Validas AG About Us ‣ We are a technology consultancy for quality assurance of embedded systems ‣ Our core competences are modelbased 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. Validas AG Page 2

Portfolio and History Model-based Test since 2001 Tool test since 2007 Validas AG Tool qualification since 2006 is s ly a n A in a h C l o o T since 2010 Qualification Kits for tools/libraries since 2012/15

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

Qualification Processes Tool 1 Tool 2 Tool 5 Tool Chain Analysis n o i t a c i ppl ATool r e 4 p o l Deve A C T h t wi Tool 3 Standards (ISO 26262, IEC 61508, DO 178, EN 50128) require a safe usage of all SW development tools & libraries 1. Tool classification 2. Critical tools: Qualification n o i t a c 3. Safe Usage Appli Tool Qualification Library 12 Library 24 Library 5 Tool 5 Qualification Kit Library 5 s e t la rs p o r r t. E Tem Po lin e id es s st Te ry a r b i L / u M l o n o T r e Ma d i v o Qualification Pr TCA with Kit al Validas AG Gu l e od We consider the following processes 1. Tool Chain Analysis 2. Qualification Kit Creation 3. Tool Qualification r e p o l Deve T S Q h wit Tool afety S Tool 5 l Manua Library 5 brary i L / l Too tion a c i f i l Qua eport R Page 5

Motivation: (QKit-)Compliances • • • Function-Specifications Potential Errors Known Bugs Code-Coverage (ALL ASIL) Architecture Programming Guidelines Tool Qualification Reports Many Tests / TAU … SWC Qualification Kit: (6 -SEOOC Compliant) • • • SWC Qualification Kit: (8 -12 Compliant) Tool Qualification Kit: (8 -11 Compliant) Validas AG • • • Function-Specifications Potential Errors Known Bugs Code-Coverage (ASIL D) negative Tests / TAU … Feature-Specifications Potential Errors Known Bugs Mitigations Requirements Tests / TAU … similar structures: Page 6 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 Validas AG Page 7

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

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: Stake. Holder: transparent box: Conditions: yellow routes: Relations Before After: solid arrow: Read/Write: dashed arrow: Artifact Containment: dotted arrow: Default Start & End Validas AG Page 9

Process Example Validas AG Page 10

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

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: Validas AG Page 12

Example: Corresponding Checklist Validas AG Page 13

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 Validas AG Page 14

Model for Parameterized and Compliant Model-Based Processes Process Requirement References Claimes Compliance Stake. Holder Process. Module Input Output Artifact Parameter Binding Before / After Instances References Model Verifcation. Module Meta. Model dato Mandatory Includes Optional Meta. Model. Atribute Mandatory Meta. Model. Association Validas AG Man ry O ption al Meta. Model. Element Page 15

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: 1. DEFINED (initial) 2. READY (automatically determined by PMT) 3. DONE (set from user) Validas AG Page 16