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

2. 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.

3. 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

4. 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

5. 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

6. 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

7. 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

8. 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

9. 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

10. Process Example

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

12. 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:

13. Example: Corresponding Checklist

14. 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

15. 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

16. 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)