Home

OPENCOSS Platform - Final Prototype User Manual

1. Tasks E Properties X f Repository Explorer men B Argumentation Base Evaluation n QT X LifecycleEvent LG X Bic H F B 7 4 Session156 op b amp Transaction b Transaction gt E View 1 MA Location Argumentation X p 0u amp 7 O b Eg eParkComp Consist Of x I C Claim G9 apud C3 Claim G7 gt amp default voc O 3 _ u4 v C Claim G6 gt v Figure 104 Consist Of Property for an Argumentation Module Page 90 of 172 OPEN O SS OPENCOSS Platform Tools User Manual To declare that an inter module dependency exists a Claim element in a module should have the properties public and to be supported set to true Figure 105 There can be multiple dependencies File Edit Diagram Navigate Search Project Run Argumentation Window Help FE SP adr eg ld sont nn A Segoe Ul 9 H v v 2v Riv ov sv Fy 100 1 Quick Access rs Er Resource Pr 8 B amp eParkComponentarg diagram X 4 amp eParkComponent arc EB E amp 2 Parking co CX e 3 Palette b iz testProject lt gt Raa Vi Tasks Properties 23 Repository Explorer Pas C3 Claim I Base v Properties Claim Type Id G6 ance Appear Name G6 Description The voc VCU voc component identifies incorrect commands with reliability XXX Content Evaluation
2. eeessseeeesseeeeeneennnneneeme nennen 163 Figure 235 Web interface showing two IA induced actions required to be taken by user 164 Figure 236 GP NN rispose Ee tbe ty uoo D spo rosea OnF AOI ES EP HE POR Se PIS E ed breP less prsa eie uieaseceveacdeens 165 Figure 237 Baseline frameworks for the specific assurance project cccccccesseccceesececeescceeeeseceeeeneceeeeees 165 Figure 238 Project baseline compliance table r rrrrnrnnrrrnnnnnrrnnnnnnrnnrnnnrrnnnnnernnnnnernnrnnnsnnnnnnevnnnnnssenrnneseeenne 166 Figure 239 Compliance details for the selected baseline element r rrrrrrnrnnnnnrrrnrnnnnnrrrnrnnnnnrrrnvnnnnnsernnnnnn 166 Fe NENNE 167 Figure 241 Evidence evaluation details soscsiccccdsscacoswitcendevicctsessrnocedarscevearidessnebicesnunedtdavduesdsanvabbsasoobivsanevens 167 Figure 242 Menu item directing to Metrics Estimation report rrrnnrrrnnnnnrrnnnnnrrrnrnnnrrnnnnnernnnnnerrnrnnesennnne 168 Figure 243 Metrics Menu in the top left portion of the report sseeeesseeeeeenn enne 168 Figure 244 Description of the selected metric type presented at the left rrrrnrnnrrnnnnnnrrrnnnnrrvnrnnnrrnnnen 169 Figure 245 Selection of reference frameworks ccccsssseccccccessecccccseeseccecceeuseecccsauaseeceeseuueeeeesauaseseessaaaaes 169 Figure 245 sEquivdlence NN 170 Figure 247 Administration menu cccccesccccssccceececenececsnececenecseencce
3. ET Properties 52 ma Yor amp Artefact Rules Base v Properties ArtefactVersion rare Consistency semitormal Edit Figure 167 Delete Artefact Property Value II 7 6 Artefact Assurance Asset Evaluation 7 6 1 Add an artefact assurance asset evaluation to an artefact Once the artefact is selected it is possible to add an assurance asset evaluation in two ways Page 124 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 1 One way selecting the tab Artefact Evaluation and pressing the button Add to bring up the an Assurance Asset Evaluation dialog box F TACR23 evidence 23 t Resource Set 4 TACR23 evidence 4 E Artefact Model 4 Artefact Definition ArtDefinitionRules 4 g Artefact Rules J 9t Value Originality Value Consistency Selection Parent List Tree Table Tree with Columns E Properties 53 Pauler amp Artefact Rules Base v Properties ArtefactVersion Name Criterion Evaluation Result Delete amp AssuranceAssetEvaluation AssuranceAssetEvaluation Editing of the properties of an object AssuranceAssetEvaluation Properties Id Name Criterion Criterion Description Evaluation Result Rationale Figure 169 Artefact Assurance Asset Evaluation dialog box 2 Another way pressing the right mouse button and selecting the contextual menu New Child gt Assurance Asset Evaluation to bring up the Assurance Asset Evaluation properties
4. ccccccsseccecesseceeeesecereeneees 167 NNN 167 11 6 1 Metrics Estimation Report rrnnnrnnnonnnvnnnvnnnvnnnvnnnvnnnvnnnvnnnennnvnnnvnnnennnennnsnnnsnnesnnesene 168 er ENN 169 117 Adminstration Web Gl seo oett ce ienteeceeetaeead cease sitet dum tad cuteci nad vooesduaedesauanstenesdeatenaae danereesan 170 LLZ Projects NNN vr 170 11 72 ee 171 LTS GONE 172 Page 5 of 172 OPEN O SS OPENCOSS Platform Tools User Manual List of Figures Figure L HEIN IN application wacescicocessudiocechntaservendcouisensesassbnecsasebed O N 16 Figure 2 TNS NNN 20 Figure 3 Select the workspace NN L4avvr rvrvr5454v4v47v4744r5vvrvrss sene 21 FET PRP 21 Figure 5 Model Repository Configuration Page linked to the TUE repository eee 22 PENNE 23 Figure 7 REDOSIEOLY BON Na 23 Figure 8 Repository Explorer content with configuration error rrrrrnnrrrnrnnnrrrrnnnrrrrnnnrrrnrnnerrnrnnnerrnrnneensneeee 24 Figure 10 Delete model NN 24 Figure 11 Feel 25 Figure 12 New Reference Framework model ia vccsccodeuresedssasancabewcesceseadesaesvonseteueteratiaweviasweetesavsvorscaleuecem beeen 26 Figure 13 Wizard Reference Framework model essen nennen nns 26 Figure 14 New Refframework Diagram eesssseeeesseeenneeeeenneenne nennen nennen nene nnns annees 27 Figure 15 New Refframework Domain Mlaodlel sees 28 Figure 16 Refframework editor perspective cc
5. 22 ee SEVENTH FRAMEWORK PROGRAMME Collaborative Large scale Integrating Project OPEN OSS Open Platform for EvolutioNary Certification Of Safety critical Systems OPENCOSS Platform Final Prototype User Manual Work Package WP4 WP7 Dissemination level CO Status Draft Date December 19 2014 Responsible partner ngel L pez TEC Contact information angel lopez tecnalia com PROPRIETARY RIGHTS STATEMENT This document contains information which is proprietary to the OPENCOSS Consortium Neither this document nor the information contained herein shall be used duplicated or communicated by any means to any third party in whole or in parts except with prior written consent of the OPENCOSS consortium OPEN O SS OPENCOSS Platform Tools User Manual Contributors Names 1 Organisation gt Alejandra Ruiz Maria Carmen Palacios Idoya del Rio Angel TECNALIA L pez Hu scar Espinoza Janusz Studzizba PARASOFT Yaping Luo Alexander Mois Aroyo Eindhoven University of Technology University of York Document History Version vae mem OOOO and Hu scar section for Compliance Map edition 2013 10 21 Changes to the version 0 6 of the First Prototype 2014 06 01 Update to describe the second prototype functionalities Server and Client parts 2014 09 10 Update to add the mapping management 2014 12 11 Described functionality added on client and server in 3 prototype Page 2 of 1
6. IMPACT ANALYSER Confirmation E Do you confirm the change 0 ArtefactA cycleModified 854 ArtefactRelA cycle 859 Modify ArtefactB cycle 857 1 ArtefactB cycle 857 ArtefactRelB cycle 862 Modify ArtefactC cycle 860 2 ArtefactC cycle 860 ArtefactRelC cycle 865 Modify ArtefactD cycle 863 3 ArtefactD cycle 863 ArtefactRelD cycle 856 Revoke ArtefactA cycleModified 854 4 ArtefactA cycleModified 854 ArtefactRelA cycle 859 Revoke ArtefactB cycle 857 5 ArtefactB cycle 857 ArtefactRelB cycle 862 Revoke ArtefactC cycle 860 6 ArtefactC cycle 860 ArtefactRelC cycle 865 Revoke ArtefactD cycle 863 7 ArtefactD cycle 863 ArtefactRelD cycle 856 Modify ArtefactA cycleModified 854 Figure 181 Artefact analyser confirmation windows Page 131 of 172 OPEN OSS A4 dc g R Resource Set 4 6 opencoss evidence 4 F Artefact Model ArtefactModel 4 PD Artefact Definition ArtefactDef5 eo Assurance Asset Evaluation 1 4 4 Artefact ArtefactA cycleModified Y Assurance Asset Event AssuranceAssetEvent 1 am Assurance Asset Event Event created by Impact Analysis Assurance Asset Event Event created by Impact Analysis b A Artefact 2222 4 Artefact Rel ArtefactRelD cycle Artefact Rel ArtefactRel 1 gt F Artefact ArtefactB cycle gt g Artefact ArtefactC_cycle 43 Artefact ArtefactD
7. Palette heaco amp Argumentation core argumentation arg CLEAN ArgumentReasoning A argumentationDiagram2 arg diagram CLEAN Argumentation SwSystem Safe Claim software Y is acceptably safe to operate within system 2 InformationElementCitation Argumentation relationships 7 AssertedChallenge AssertedContext gt AssertedCounterEvidence AssertedEvidence AssertedInference swContributionAcc P Choice The contribution made by software Y amp Argumentation modular extensions Br Outline 2 E amp ts il re s to system Z hazards is acceptable ArgumentElementCitation Agreement v gt EEG E Console E Properties 5 Error Log Problems 1 Profiling r L3 Claim 4 Case CLEAN 43 Additional Resources Base Pence DEpRNES Id swContributionAcc Mame Description The contribution made by software Y to system Z hazards is acceptable Figure 83 Open Database based Argumentation Diagram 6 2 4 Saving a Diagram To save a diagram select one of the following items in the File menu 1 Save item This utility is only available for file based Argumentation Diagram The contents of the selected editing window will be saved in the model information file and the diagram information file 2 Save As item This utility is only available for file based Argumentation Diagram The contents of the selected e
8. is Sessions opencoss fa TACR23 evidence AEF view 1 MAIN H E 15026262Project CLEAN l RET56 CLEAN Load Resource ES TACR23 CLEAN LS ARGUMENTATION CLEAN Resource URIs Browse Repository Browse Workspace LS ASSURANCE PROJECT CLEAN G E EVIDENCE CLEAN cdo fopencoss TACR23 EVIDENCE TACR2s evidence Far TACR23 evidence CLEAN GH TACR 3 property CLEAN Lo PROCESSES CLEAN j 15026262 refframework_diagram CLEAN 2 15026262 refframework CLEAN HE RefFramework mapping CLEAN 2 Failored refframewnork diagram CLEAN tailored refFramework CLEAN Selection Parent List Tree Table Tree with Columns Figure 56 Load Resource Evidence Process or Argumentation model Page 58 of 172 OPENCOSS Platform Tools User Manual G Project Explorer gg Repository Explorer 3 E 8 SecondBaseline baseline lt E TACR23 mapping 3 Fie f r Resource Set zi E Session 0pencoss Es TACR23 mapping a view 1 MAIN E 15026262Project CLEAN gt RETS6 CLEAN Load Resource LS ARGUMENTATION CLEAN B E ASSURANCE PROJECT CLEAN amp TACR23 assuranceproject CLEAN EE TACR23 mapping CLEAN tailoredRefFramework baseline diagram CLEAN NE tailoredRefFramework baseline CLEAN b EVIDENCE CLEAN Far TACR23 evidence CLEAN QT TACR23 property CLEAN E PROCESSES CLEAN 2 15026262 refframework diagram CLEAN 15026262 refframework CLEAN Sele
9. C Vi Tash rc Copy Q Model Paste Base Prd X Delete Id Validate Nami Control Descr Wizards b H Locking gt ee Conflict gt Load Resource Refresh Show Properties View Figure 196 Add New Property I Page 140 of 172 OPEN O SS OPENCOSS Platform Tools User Manual e Or select the model element and press the icon button E3 in the base tab TACR23 1 property 25 o E iS Resource Set 4 Ute property OG Model Selection Parent List Tree Table Tree with Columns e ET Properties 23 m E Q Model v Properties Id Name Description em Bae Figure 197 Add New Property II After these actions in the properties zone the framework presents several fields to describe the new property TACR23 1 property 23 EF Ear Resource Set 4 l TACR23 1 property 4 Model cy Pr t oO B lit Selection Parent List Tree Table Tree with Columns E Properties 23 vop Property Base Properties Id 1 Name Originality Datatype Enumeration v 0 Enum Values Unit Figure 198 Property properties e ld Property identifier e Name Property name e Datatype Property data type Possible values enumeration string integer and float e Enum values values of an enumeration data type property To add this values press the button Enum value Page 141 of 172 OPEN O SS OPENCOSS Platform Tools User Manual TA
10. ErorLaeg i Problems Property Figure 49 Assurance Project with new baseline 5 3 Edit Project Baseline To edit the baseline information double click over the baseline model and its editor View will appear The not selected elements will be displayed in the upper tree with a different icon SecondBaseline baseline 53 f Resource Set GE k SecondBaseline baseline E L Base Framework Tailored Framework ius C Base Activity 1 1 Overall safety mangement CJ Base Activity 1 2 Safety management during the concept phase amp 7 Base Activity 1 3 Safety management during the product development CJ Base Activity 1 4 Safety management after the item s release for production g Base Artefact 1 1 5 1 Rules for functional safety t E Base Artefact 1 1 5 2 Processes for functional safety B Base Artefact 1 1 5 3 Evidence for competence and quality manager B Base Artefact 1 2 5 1 Safety Plan Concept Phase E Base Artefact 1 3 5 1 Safety Plan Development Phase B Base Artefact 1 2 5 3 Safety Case Concept Phase B Base Artefact 1 3 5 3 Safety Case Development Phase 8 Base Artefact 1 4 5 1 Evidence of field monitoring El Ee bb Ee Ee Selection Parent List Tree Table Tree with Columns v Tasks Properties 33 Error Log Problems C Base Activity 1 Management of functional safety Base v Properties BaseActivitySelection gt Id 1 Base ctivityRequirement Name 1
11. ePark element is safe Ha epark SEooL is acceptably safe t a Bg a E Properties 57 evra Claim Base v Properties Dppeamapce Identifier ePark element is safe Description epark SEooC is acceptably safe to operate on normal conditions Content Assumed false To Be Supported false To Be Instantiated false Public true Owned Ol ite e Figure 95 Claim properties declared as Public Argument Element Citations can represent different concepts they can reference a claim a context or a solution On the properties view an attribute called cited type should be informed and consequently the graphic notation might change hazCont_hazCont hazCont_hazCont hazCont_hazCont Potential hazardous failures at Potential hazardous failures at Potential hazardous failures at tiern nj are acceptably managed tiern n are acceptably managed tiern n are acceptably managed hazCont 74 hazCont Console f Properties 53 Error Log Problems 0 Profiling FH E3 ArgumentElementCitation Base v Properties Appearance Id hazCont_hazCont Name Description Potential hazardous Failures at tiern n are acceptably managed Content Cited Type Claim v Argumentation Reference hazCont Figure 96 ArgumentElementcCitation properties reference to a claim The Argumentation Reference property indicates the reference to the module in which this citation elemen
12. 4f Resource Selection Parent List Tree Table Tree with Columns E Properties 23 amp Artefact Rules v Properties VersionID 1 mose ta Date 2014 05 29T00 00 00 000 0200 ArtefactEvaluation pee Changes VIs Last Version Is Template Is Configurable iud 9 ee Resource Resource Figure 153 Add Artefact Resource II Page 117 of 172 OPENCOSS Platform Tools User Manual Resource gt jme Sm Resource Editing of the properties of an object Resource Properties Id Name Description Format https sg1 esilab org opencoss working A8 Projects PROS SURANCE Demos Template Location m Commit Asign Delete Open Revision Date Author Comment Figure 154 Resource dialog box In case of using a Local Repository to add the file press the button Location or Assign and select the file that will be added to the artefact resource from the local drive The URL of the repository will be displayed in bold Select Artefact File Buscar en Be Proyectos v Qo 3 pe fv a wh CCL Notation doc GITMARK E Framework png CJProcessFactory Documentos layers 64 png O Gazela recientes Activity png C Moomy 3 0pencoss_autogestion C Aula Tecnalia BLOG O oPENNET GPED IOT OJ ANTIGUOS a Opencoss Europa C Hiridenda I Biopool PE Cintelligraf QD Opencass openkmFuen
13. Figure 165 Artefact Property properties 7 5 2 Delete an artefact property value It is possible to delete an artefact property in two ways 1 One way select the artefact property in the tree press the right mouse button and select the contextual menu Delete Page 123 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 3 TACR23 evidence 23 fs Resource Set 4 f TACR23 evidence 4 PE Artefact Model 4 Di Artefact Definition ArtDefinitionRules 4 amp Artefact Rules Value 4 amp Artefact Rules Value Originalit 18 Value Consistei New Sibling Selection Parent List Tree Table Tree lt Undo Do Command Ctrl Z Redo Ctrl Y E Properties 52 of Cut Value Originality EE Copy Paste Base v Properties 3X Delete Name Origins Validate Value origina Control Property Reference Properi Wizards Locking Conflict Load Resource Refresh Show Properties View Figure 166 Delete Artefact Property Value 2 Another way select the parent artefact of the artefact property to remove in the tree select the Artefact Property value tab select the artefact property and select the button Delete far TACR23 evidence 23 i tS Resource Set 4 l TACR23 evidence 4 E Artefact Model 4 D Artefact Definition ArtDefinitionRules 4 amp Artefact Rules or Value or Value Originality Value Consistency 4 Selection Parent List Tree Table Tree with Columns
14. O The engine starts with EventKind MODIFICATION for ArtefactA and navigates via ArtefactRelA to ArtefactB and because ArtefactRelA ModificationEffect equals MODIFY it reaches ArtefactB with EventKind MODIFICATION change effect Note this change effect event is not saved in storage yet Now it is only used for further traversal and will be returned as part of the result of listArtefactsRelationImpacts method O The engine continues from ArtefactB with EventKind MODIFICATION and navigates to ArtefactC and because ArtefactRelB ModificationEffect equals REVOKE it reaches ArtefactC with EventKind REVOKE change effect O The engine continues from ArtefactC with EventKind REVOCATION and traversal path ends here because of ArtefactRelC RevocationEffect equals VALIDATE O Thus the result is e ArtefactRelA ModificationEffect MODIFY e ArtefactRelB ModificationEffect REVOKE Above algorithm affects the Artefact lifecycle States of this lifecycle are presented on the figure below Artefact in the platform Artefact in use Lom Ei 4 Valid Revoked m Q Corn Figure 234 Artefact lifecycle from the IA point of view Some of these states require action from user like To validate and To modify To address some restrictions of CCL these two states are recognized by the presence of given event date or lack of it This signals that action from the user is required and after
15. Strategy ArgumentReasoning Solution InformationElementCitation Property type solution SolvedBy AssertedEvidence but only if the target is a solution Underdeveloped Property toBeSupported true To be Property toBelnstantiated true instantiated gt SolvedBy Assertedinference but only if the target is not a solution gt i i i Page 76 of 172 OPEN OSS C AwayGoal AwayContext AwaySolution Justification Public Goal OPENCOSS Platform Tools User Manual ArgumentElementCitation Property type claim ArgumentElementCitation Property type context ArgumentElementCitation Property type solution Argumentation Agreement Claim Property assumed true InformationElementCitation Property type justification AssertedCounterEvidence An AssertedCounterEvidence by Claim A the source evidence cited and B the target claim denotes that the evidence cited by A is counter evidence to the truth of Claim B i e Evidence A suggests the conclusion that Claim B is false AssertedChallenge An AssertedChallenge by Claim A source to Claim B target denotes that the truth of Claim A challenges the truth of Claim B i e Claim A leads towards the conclusion that Claim B is false Claim Property Public true U Optionality Assertedinference krem G imeem 000 multiplicity Assertedinference inmamndiliiEN REN
16. am CLEAN N ArtefaciDefniionArtefact Validate ArtefactDefinitionEvaluation Coi ArtefactDefinitionEvents Wizards gt Locking b Conflict 3 Load Resource Refresh Show Properties View Figure 140 Delete Artefact Definition I e Or select the artefact model select the artefact definition model to delete XJ far TACR23 evidence x Er Resource Set 4 amp TACR23 evidence 4 Artefact Model 4 35 Artefact Definition ArtDefinitionRules 4 Artefact Selection Parent List Tree Table Tree with Columns E Properties 53 i Problems Artefact Model Base v Properties Id Name Description Artefact OPENCOSS Platform Tools User Manual and press the button LS ka 4 x 55 Artefact Definition ArtDefinitionRules Figure 141 Delete Artefact Definition II 7 3 Artefact 7 3 1 Add an artefact It is possible to add artefacts to an artefact definition in two ways Delete selected element s Page 111 of 172 OPEN O SS OPENCOSS Platform Tools User Manual e Select the artefact definition press the right button of the mouse and select the contextual menu New Child Artefact f r TACR23 evidence 23 tailoredRefFramework baseline t3 Resource Set 4 k TACR23 evidence 4 amp Artefact Model y Artefact Definition ArtDefinitinnRulec New Child gt Assurance Asset Evaluation New Sibling gt me Assurance Asset Event lt 2 Undo Do Comm
17. amp Software Safety Patterns 8 Module Explorer gt Modules E Angel arg diagram C gt ARP4754a Architecture zz Module Catalogue gt Powertrain Renombrada2 UAV Figure 91 Argumentation Templates View Modules and Patterns are stored on places determines by the preferences see previous section The Patterns and Modules should be stored as ready to be reused From the Template view the drag and drop operation is activated in order to reuse the pattern or module on the actual argumentation 6 3 3 1 Creating a New Pattern Diagram To create a new Argumentation Pattern diagram follow the procedure of Creating a New Diagram The only difference with other argumentation diagrams is that Patterns need to be stored on the places designed by the preferences By default preferences point to a project called Patterns on the workspace 6 3 3 2 Editing a Pattern Diagram Proceed as explained in the Editing a Diagram section Remember only Pattern Diagrams support structural and entity abstraction Structural abstractions like multiplicity or optionality are available through Multiextension and Cardinality properties of relationships In addition structural options are addressed by a Choice relationship Entity abstraction can be accomplished by To Be Instantiated and To Be Developed properties While editing a claim one of the properties than can be change is To be instantiated when its v
18. And finally it needs to define the applicability table for the requirements select the desired Requirement from the Standard go to Tab called RequirementApplicability Then you can add rows by defining the target Artefact and select the Criticality Level and the Recommendation level RefRequirement RequirementApplicability RequirementEquivalenceMap v Properties 4 platform resource RefFrameworks Standards DO178 refframework ID Methods Artefacts Criticality Applicability 4 PD Ref Framework Sotfware Considerations in Airborne Systems and Equipment Certification 1 PSAC A 1 B 1 C 1 D 1 4 C Ref Activity SOFTWARE LIFE CYCLE PROCESSES 2 SDP A 1 B 1 C 2 D 2 4 7 Ref Activity Software Planning Process 3 SVP A 1 B 1 C 2 D 2 4 E Ref Requirement Activities defined 4 SCM Plan A Q 8 1 C Q D Q ied aia die 5 SQA Plan 4 0 8 C 2 0 2 Ref Applicability 2 lt Ref Applicability 3 lt gt Ref Applicabilitv 4 Figure 38 Requirement Applicability Table DO 178C In summary Page 44 of 172 OPENCOSS Platform Tools User Manual eoo 3 irn in i3 im Co n en en m Ca n Ca ea im aS ae 60 C day 69 C9 C9 C9 S R C3 CO C3 ENGS C9 C C d C9 CO C9 C9 C9 e ca e c c CE e c 6 G 4 e g C cO oo 05 Sofware plans co 4 3 3 Oo 4 5 H JE Fede T Activity Applicability Table Requirement Appli
19. Artefact E ma P Artefact Definition ArtDefinitionRules Figure 133 Add New Artefact Definition I e Another way click on the branch Artefact Model press the right mouse button and select the contextual menu New Child gt Artefact Definition amp RUNTIME SECONDCCL Resource edoi opencoss TACR23 EVIDENCE TACR23 evidence Eclipse Gmi x File Edit Navigate Search Project Evidence Editor Net4jExamples Run Window Help EE Q v S 0 Jr oa v m v a Quick Access ES E Resource amp Repository Explorer 23 E V fr TACR23 evidence 23 a 4 jd Session2 opencoss PS Resource Set gn 4 TACR23 evidence e 4 C TACR23 CLEAN ES Artefact New Child gt Dy Artefact Definition amp ARGUMENTATION CLEAN ASSURANCE PROJECT CLEAN Endo Sae EVIDENCE CLEAN Redo Ctrl V PROCESSES CLEAN Pap 15026262 refframework diagram CLEAI EE Copy 15026262 refframework CLEAN 8 Paste EF RefFramework mapping CLEAN scia Pas I e e tailored refframework_diagram CLEAN Delet tailored refframework CLEAN X Delete z Validate E Artefact Ma Control Base v Prope Wizards gt Lockin gt Id E Conflict gt Name Load Resource Descripti Refresh o A JOE Show Properties View Ez Outline 53 e HB D TACR23 evidence Repo Url Repo User Repo Password Repo Local Path F Repo Uses Local Copy Prefere
20. C Baseline 1 baseline dia Baseline 1 baseline CLEAN a Project 1 assuranceprojeck CLEAN EH Project 1 mapping CLEAN H LS EVIDENCE CLEAN LS PROCESSES CLEAN LS Project CLEAN E 13 RefFrameworks CLEAN i DELETE Folder Figure 9 Delete folder menu To delete a model right click over it and left click the DELETE Model menu Fi Project Explorer g Repository Explorer z3 4 E md 3 s Session 0pencoss ES view 1 MAIN E i Project1 CLEAN HL ARGUMENTATION CLEAN 8 6 ASSURANCE PROJECT CLEAN Baseline 1 baseline diagram CLEAN GB Project 1 assur Bl DELETE Model EE Project 1 mapping CLEAN LS EVIDENCE CLEAN LS PROCESSES CLEAN LS Project CLEAN HL RefFrameworks CLEAN Figure 10 Delete model menu Page 24 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 4 Prescriptive Knowledge Management The current version of the OPENCOSS prototype only covers Edition of the Reference Framework models It does not cover CCL Vocabulary specification Users can use the Reference Framework Editor to model Standards IEC 61508 ISO 26262 DO 178C EN 50126 and the like any Regulations either as additional Requirements or model elements in a given model representing a Standard or a new Reference Framework and Company specific processes e g the Alstom Thales or Fiat process to develop safety critical systems Each Reference Framework mode
21. Delete Process Model data using context MENU cccceesecccceseececeesecceeeeececeeeeceeeeeeceeseeecetseees 136 Figure 190 Delete Process Model data using properties view rrrrrrnrnnrrrnnnnnrrnnnnnrrnnrnnnrrnnnnnernnnnnssenrnneseeenne 137 Figure 191 New Property Model menu File gt New gt Other esee enne 138 Figure 192 New Property Model cccccccsssccccessececceseccecescceseesececauseccseueecceseuseceseuaeceseeeceesseeceesenecessegas 138 Figure 195 ENTEN 139 Figure 194 New Property Model II isssesosssxixoni s sotk org ERE EE HYS EAEEEE FINE OE QUEE eu UR Fprex PEU REI PP S Sb qn IU SER TRUE S FErva Rd s 139 Figure 195 ONA 140 Fed ENN 140 Figure 197 Add New Property UN iusciicscsesenssnsseisuxvssnssds ao ERU ek FUP Ene aT RUF ka caseacnets QUN Re rue ses Prave Nonon TEES svenn svr 141 Figure 198 Property Properties cccccsccssccseceseccsccesecesecesecesecsseccaeccseetseetseetseetaeetaeetaeeteseseeeteeesesssetseetes 141 Heure 195 AD CS Vall BS ossesietia i dtOPE SUN vesti iuo DS EON n Sce iM ap EDU ep ei M iucostn uU E o DEUM UIS iu PR SUA PIED UN UEEUUE 142 Pee 142 FIBure 201 PN 143 Figure 202 New Property Model menu File gt New gt Other esses nnne 144 Fie ure 703 New Mapping Model Ls ssuessevskutacsqe stus rinie e UE UFVIU n SEV Una dS OI ea dU HIN ERUY RUIN M YEVUM S IURI Sa PU CEU UN EUPEMES 144 Figure 204 New Mapping Model II corte phu be pEbrE SER
22. Figure 114 Argumentation Change Analysis The user should then select the system integration argumentation model that was generated from Section 6 5 The results of the analysis will then be displayed Page 96 of 172 OPENCOSS Platform Tools User Manual Figure 115 Select Argumentation Integration Model to Analyse 6 7 Vocabulary The safety argumentation supports the usage of terms and term categories which have been defined in a vocabulary The meaning of some terms and categories is specific to legislative regulations standards and or the project they are used in Vocabularies capture the meaning of such terms and categories by providing a definition 6 7 1 Defining Vocabularies The simplest way to define a vocabulary is to create one in the project where it going to be used They can be stored either locally in a file or inside a remote repository Select a wizard Creates a new Vocabulary diagram to Repository Wizards vocabulary 4 Opencoss LJ Vocabulary Diagram to File CJ Vocabulary Diagram to Repository LJ Vocabulary Model to File LJ Vocabulary Model to Repository Figure 116 New Vocabulary The vocabulary can be visualized in a diagram to which shows how terms are related to each other The diagram is a visualization of the vocabulary model but can also be used to edit the model Page 97 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Failure categorized term categorized te
23. Page 125 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 3 TACR23 evidence 23 t3 Resource Set 4 amp TACR23 evidence 4 E Artefact Model 4 3 Artefact Definition ArtDefinitionRules 4 4S Artefact Rules t Value 4 amp Artefact Ryle 1 Value O New Child b Assurance Asset Evaluation Value Ci New Sibling b Assurance Asset Event Selection Parent List Tree Tab lt 2 Undo Do Command Ctrl Z ME Redo Ctrl Y S9 dicerem ET Properties 23 of Cut Artefact Rel mvs P d Resource amp Artefact Rules 2 Copy Paste Base vi ArtefactVersion _ XX Delete ArtefactPropertyValue Validate ArtefactEvaluation Control Antefaciivente Wizards b Locking b Conflict b Load Resource Refresh Show Properties View Figure 170 Add Artefact Assurance Asset Evaluation II 3 TACR23 evidence 52 t Resource Set 4 TACR23 evidence 4 E Artefact Model 4 35 Artefact Definition ArtDefinitionRules 4 g Artefact Rules Assurance Asset Evaluation Evalution iet Value g Artefact Rules 4 Artefact Selection Parent List Tree Table Tree with Columns E3 Properties 33 9 Error Log M Yor Assurance Asset Evaluation Base v Properties Id 1 Name Evaluation Criterion Criterion Description Evaluation Result Rationale Figure 171 Artefact Assurance Asset Evaluation properties 7 6 2 Delete an artefact assurance asset evaluation It is possible to delete an assurance
24. in particular when you are on the server machine http localhost 8080 The OPENCOSS platform server page should be displayed presenting one of web reports OPEN OSS sk Administration E Help z oe E ne na EEE Project Board for Avionics Reports f ex Argumentation Evidence B Ska Process Gap Analysis report Baseline Framework DO178X RefFramework Project Baseline Compliance Fiter by Base Artefacts Base Activities All Compliance Details Expand to Justification Expand to Asset Expand to Evaluation Type Base Asset Name Fully Partially Selected baseline Asset Safety Plan eer m Baseline Framework DO178X RefFramework Assets Assets Number of Fully Compliant Artefacts 1 Number of Partially Compliant Artefacts 1 v Mgmt of functional safety 3 0 Functional Safety requirements 4 0 Details 1 Fully Compliance Justification 1 This evidence has been fully justified ES Functional Safety specification 0 2 B 1 1 Artefact Safety Plan for software J I Ej 1 1 1 Evaluation 1 Consistency check Functinal Safety assurance 2 1 B Criterion Check the consistency Criterion description Consistency shold be checked thoroughly R Concept Phase 5 0 Evaluation Result Success Evaluation Rationale Done according to the state ofthe art 2 Partially Compliance Justification 2 This piece of evidence has been partially justified B Project Plan 0 0 E 2 1 Artefact Safety Plan for Hardware ED 2 1 1 Eva
25. 1 1 Evaluation 1 Check the design quality Id Eval2 Criterion Follow the design standards Criterion description All the standards should be followed Evaluation Result Success Evaluation Rationale Checked against all the standards Evaluation Event 2014 06 18 16 25 Figure 241 Evidence evaluation details 11 6 Metrics reports This chapter presents the implemented metric reports their functionality and layout Page 167 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 11 6 1 Metrics Estimation Report The Metrics Estimation Report can be accessed via the following OPENCOSS web server menu item Compliance Estimation report to E Compliance report Gap Analysis report impl gt Metrics Estimation report amp Equivalence Map report Figure 242 Menu item directing to Metrics Estimation report When a specific OPENCOSS safety project is selected in the top panel its defined baselines are presented in the middle panel select box as shown in Figure 211 The report data is divided into two panels The first one on the left is a static menu panel in which the user can select a type of metrics to analyse Project Applica Metrics Estimation report Metrics Menu All Metrics Baseline Metrics Mapping Metrics Assurance Asset Metrics Refframework Metrics Y Process Metrics Monitor of Process Time Efficiency Resource Efficiency Argumentation Metrics Figure 243 Metrics Menu in the to
26. 2 default2G refframework CLEAN D defautl property CLEAN QD IRRdefault property CLEAN a H 150 EQUIV IRR mapping CLEAM s 15026262 IRR refframework diagram CLEAN po 15026262 IRR refframework CLEAN j s 15026262 refframework diagram CLEAN 1 amp 15026262 refframework CLEAN Be 2 I5026262 21 IRR refframework diagram CLEAN 8 15026262 4 IRR refframework diagram CLEAN PU e al1 reFFramewnark CLEAN 1 Ta opencoss evidence CLEAN P 2 tailoredI5026262 IRR refframework CLEAN TPEIntegration refframework diagram CLEAN en trial refframework_diagram CLEAN Resource name 15026262 IRR refframewark Figure 25 Load Resource Reference Framework II Page 35 of 172 OPENCOSS Platform Tools User Manual fx PIRR refframework zi EE Refframework mapping Enter or select the parent Folder Fo IRR refframework E is Session opencoss QE view 1 MAIN HL 1 CLEAN L gt 2 CLEAN AvionicsREUSING CLEAN gt EMC CLEAN L mcp CLEAN 7 PruebaAvionic CLEAN E pruebaRailway CLEAN LS Rail ngel CLEAN P re default evidence CLEAN 3 defaultzG refframework diagram CLEAN Resource URIs Browse Repository Browse Workspace S default2G refframework CLEAN GD IRRdefault property CLEAN PE ISO EQUIV IRR mapping CLEAN 2 15026262 IRR refframework diagram CLEAN 2 15026262 IRR refframework CLEAN ae 2 15026262
27. 85 6 3 3 5 Editing a Module Diagram cccccccssseccccsseccecessececeeseceeeeeeceeseuecesseeceeseees 85 6 3 3 6 Adding Elements from Modules to a Diagram instantiating a Module 86 6 3 4 Connecting a Diagram to ArtefactS rrrnnnnnnnnnnnnnnnnnnnnnrnnnnnnrnnnnnnnvnnnnnsnnnnnnesnnnnnsseeenne 8 7 6 4 Argumentauo EMGS JA 89 641 TPrepdrauon dor COM deLSastede sois dtd R beides n uM sei wa ceasseccsnaroceuaessaaseete ioe 89 r GF CON Ce RU m 92 6 5 Argumentation Integration senanonnnonnnvnnnvnnnennnvnnnennnennnvnnnrnnnsnnnsnnnsennsennsennsennsennsennsennsennseenee 94 6 6 Argumentation Change Management ccccccssseccccessccccesececeenececseeecceeeesecesseneceeseesecessuneess 96 6 7 VOCA ae EN EE 97 DefinneVocaDularieSsecessrori nae E 97 6 8 Using Vocabularies in the Argument ECitor c cc cccccccssseccceesececeeecceeeeseceseeeecesseneceeseeeeeeeas 99 6 9 PN eR T TTE 100 O0 NNN 101 LE DU e ue 103 7 Evidence NM PENN 104 7 1 Define Artefact Repository Preferences r erarnnrerunrernnnnrennnnnnunnennnverennnvennnnnnsnrennnsverenuenennenenee 104 7 2 Ne 108 Jad POG VET ENN 108 72 2 Delete Arteract Defin On ass N 110 7 3 PC E EEE A cm 111 TL FN NTN 111 7 3 2 Delete an ET vende 115 7 4 Artefact TE 116 7 4 1 Add an artefact resource to an artefact rrrrnrnnnnrnnnnnnrnnnnnnrrnnnnnernnnnnnrrnrnnnerennnnesene 116 7 4 2 Delete an NTE JE 1
28. Active Permissions Configuration Active Assurance Assets Package Active Baseline Configuration e g 150 26262 Configuration or SW HW DO Configuration e g Audit mode access e g First product release configuration package of assets Process Mode e g Activities for ePark project Activities for DO 178C rgumentation Model Vi e g Safety Case for ePark i Baseline Model e g 15026262 for ePark or DO 178C for SW board for Avionics J Baseline Model e g DO 254 for HW board for Avionics Z What has Been Done Compliance Map Model e g Artefacts far ePark project Artefacts for DO 178C Project lanned to Do What is F Figure 40 Assurance Project structure Page 46 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 5 1 Create Assurance Project and Baseline vi To create a new assurance project go to the menu File gt New gt Project or use the button in the top button bar and select New Assurance Project inside the Opencoss category New Project Select a wizard Creates a new Assurance Project Wizards typefikertet Td HLS Java tL Java EE E e JavaScript EH JAXB H E IPA HL Maven E i Opencass Mew Assurance Project E i Plug in Development Ge Web Show All Wizards Cancel Figure 41 New Assurance Project wizard The first page is to enter the name of Assurance p
29. Add an artefact resource to an artefact Once selected the artefact e Press the right mouse button and select the contextual menu New Child gt Resource to bring up the Artefact File properties F TACR23 evidence 23 F r Resource Set 4 amp TACR23 evidence 4 E Artefact Model 4 Artefact Definition ArtDefinitionRules 4 5j ArtefactRules p R MH New Child b eo Assurance Asset Evaluation New Sibling gt 35 Assurance Asset Event lt J Undo New Resource Ctrl Z p bags Seer Artefact Redo Ctrl Y Selection Parent List Tree Table Tree Artefact Rel of Cut Resource E Properties 52 F Copy amp Artefact Rules Paste Delet Base v Proper ArtefactVersion Version I Validate ArtefactPropertyValue Control Date ArtefactEvaluation 2x l Wizards ArtefactEvents Locki I Is Last ocking ae Is Tem Conflict gt Is Con Load Resource Resoun Refresh Figure 151 Add Artefact Resource Show Properties View Page 116 of 172 OPEN O SS OPENCOSS Platform Tools User Manual E Properties 53 Resource Base v Properties Id Name Description Format https sg1 esilab org opencoss working A8 Projects PRO S SURANCE Demos Templates Location m Commit Asign Delete Open Revision Date Author Comment Figure 152 Resource properties e Or select the Artefact Version tab and press the button E3 a F FWUUCIGOVL MVU etry tDefinitionRules
30. B 7H r TACR23 lLproperty 5 a 4 4 Session1 opencoss Resource Set a E View1 MAIN 4 amp TACR23 1 property 4 amp TACR23 CLEAN ARGUMENTATION CLEAN amp ASSURANCE PROJECT CLEAN 4 EVIDENCE CLEAN fp TACR23 evidence CLEAN TACR23 property CLEAN gt QJ TACR23 1 property CLEAN vi Tasks E Properties 23 rf m gt PROCESSES CLEAN amp Model e 15026262 refframework diagram CLEAN e 15026262 refframework CLEAN Base v Properties EE RefFramework mapping CLEAN e tailored refframework_diagram CLEAN Id e tailored refframework CLEAN Niani Description HasProperty f CDO Sessions 33 B n D Transaction 2 MAIN D Transaction 5 MAIN C View 1 MAIN E View 3 MAIN B Outline 23 Task List e Hm 3 TACR23 1 property TACR23 evidence TACR23 property f 15026262 refframework diagram f 15026262 refframework f tailored refframework diagram Selected Object Model 17 ds 14 39 Figure 195 Property Model 9 1 Property 9 1 1 Add a property It is possible to add properties to a property model in two ways e Select the model element press the right button of the mouse and select the contextual menu New Child gt Property Gi TACR23 L property 35 t5 Resource Set 4 amp TACR23 1 property OG Model BEEN New Child gt Property Undo Ctrl Z Selection Parent Redo Ctrl Y Tasks E Prd
31. Dedurcte argaysk metheds include FTA reliability block dagmara ihikswa diagram ndive analysis methods include FMEA ETA Markov modeling Figure 34 Applicability Table ISO 26262 For I5026262 and IEC 61508 standards you must select the desired Requirement from the Standard go to Tab called RequirementApplicability to go to a Requirement Form you must first select the Activity which contains the Requirement and double click on the Requirement properties and you will see Page 42 of 172 OPEN O SS OPENCOSS Platform Tools User Manual RefRequirement RequirementApplicability RequirementEquivalenceMap v Properties 4 Ref Framework Road vehicles Functional safety ID Methods Artefacts Criticality Applicability ee an nee Deductive analysis A 0 8 C9 Oise C Ref Activity Concept phase 2 Inductive analysis A B C D 4 7 Ref Activity Product development at the system level 4 Ref Equivalence Map Equival Ref Equivalence Map 7 Ref Activity Initiation of product development at the system level m 7 Ref Activity Specification of the techncal safety requirements 4 7 Ref Activity System design Ref Requirement system design specfication and technical safety concept Ref Requirement System architectural design constraints Ref Requirement Measures for the avoidance of systematic failures g Ref Artefact Addtional information item Figure 35 Requirement A
32. Delete Artefact Assurance Asset Evaluation II 7 7 Artefact Assurance Asset Events 7 7 1 Add an artefact assurance asset event to an artefact Once the artefact is selected it is possible to add an assurance asset event in two ways 1 One way selecting the tab Artefact Events and pressing the button Add to bring up the an Assurance Asset Event dialog box Page 127 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Fait TACR23 evidence 23 t3 Resource Set 4 TACR23 evidence 4 E Artefact Model 4 D Artefact Definition ArtDefinitionRules 4 amp Artefact Rules Assurance Asset Event Value Originality Value Consistency Selection Parent List Tree Table Tree with Columns E Properties 2 Error Log i Problems na ee amp Artefact Rules Base v Properties ArtefactVersion ArtefactPropertyValue Name Description ArtefactEvaluation s FE Figure 174 Add Artefact Assurance Asset Event I S AssuranceAssetEvent AssuranceAssetEvent Editing of the properties of an object AssuranceAssetEvent Properties Id Name Description Resulting Evaluation Type Time Figure 175 Artefact Assurance Asset Event dialog box 2 Another way pressing the right mouse button and selecting the contextual menu New Child gt Assurance Asset Evaluation to bring up the Assurance Asset Evaluation properties Page 128 of 172 OPEN OSS far TACR23 evidence 23 fS Resource Set 4 TACR
33. Delete a map group To delete a map group e Select the map group press the right mouse button and select the contextual menu Delete Page 147 of 172 OPEN O SS OPENCOSS Platform Tools User Manual EE RefFramework mapping 25 is Resource Set 4 l RefFramework mapping 4 38 Map Model HB Map Group maparoupi New Sibling Selection Parent List Tree lt J Undo Do Command Ctrl Z Redo Ctrl Y s Map Group og Cut G Copy Base v Properties Paste Id l 0 Delete Validate Description Control Locking b Conflict a Load Resource Refresh Show Properties View Figure 210 Delete Map Group l e Or select the branch Model that contains the map group to delete select the map group and press the icon button 3 EE RefFramework mapping 53 Er Resource Set 4 l RefFramework mapping Selection Parent List Tree Table Tree with Columns Vi Tasks i Problems EJ Console EI Properties 53 ma 38 Map Model Base v Properties Id Name Description 2 9 wl Figure 211 Delete Map Group ll 10 2 Map 10 2 1 Add a map It is possible to add maps to a mapping model in two ways e Select the model element press the right button of the mouse and select the contextual menu New Child Map Page 148 of 172 OPEN O SS OPENCOSS Platform Tools User Manual HF RefFramework mapping 25 tS Resource Set 4 5e Map Madal ag M New Child gt H
34. Event II 7 8 Impact analysis This functionality informs to the user about the impact of the changes in one Artefact that affect to others taking into account the relations between the modified and the impacted artefacts ones When the user clicks the save button c to store the modifications made in one evidence model for each Artefact modified with impact to another the user will be asked in a confirmation dialog if he is agree or not with the showed impact information in form of tree or not Page 130 of 172 OPEN O SS OPENCOSS Platform Tools User Manual far opencoss evidence 23 f Resource Set E ls opencoss evidence I EE Artefact Model ArtefactMaodel i gt Assurance Asset Event ssurancedssetEwent 1 a Assurance Asset Event AssuranceAssetEvyent 2 T Artefact Rel ArtefactRelD cycle Selection Parent List Tree Table Tree with Columns Je Tasks EH Properties zz Error Log Problems Artefact ArtefactA cycle Base Properties Artefactversion ArtefactPropertyvalue Name Description SANNE AssuranceAssetEvent 1 Generated automatically during Artefact modification MISSE RES EME Assurance amp ssekEvent Z Generated automatically during Artefact evaluation ArtefactEvents Figure 180 Artefact modified with automatically generated events If the user accepts the impact showed new assurance assents events will be generated to the modified and impacted artefacts CCC e
35. Evidence Model to Repository HE Mapping Model Mew Assurance Project Process Model D Property Model to File EE Property Model to Repository Refframework Diagram Refframework Model Lal varahilarv Madel Fa File Show All Wizards Cancel Figure 183 New Process Model I e Enter o select the parent folder name the model and press the Next button Create a Dawn Resource Enter or select the parent folder ITACR23 PROCESSES E ik Sessione 0pencoss GE view 1 MAIN SL TACR73 CLEAN LS ASSURANCE PROJECT CLEAN LS EVIDENCE CLEAN LS ARGUMENTATION CLEAN eg PROCESSES CLEAN HL RETS6 CLEAN HL I5026267Project CLEAN Resource name TACR23 process Figure 184 New Process Model II Page 133 of 172 OPEN OSS e And finally select the Model object to create Process Model Select model object to create Model Object Activity Activity Fel Organization Participant Person Figure 185 New Process Model III Once the Property Model has been created the first item is presented to the user 8 TACR23 process 3 f r Resource 5et amp TACR23 process CS Model Selection Parent List Tree Table Tree with Columns vi Tasks Properties Error Log Problerns 42 Model Base v Properties Id Mame Description Cuunedackivils Figure 186 Process Model 8 1 Creating Process Assurance data OPENCOSS Platform Tools User Manual minir The Process
36. Management of functional safety BaseActivityApplicability Description BaseActivityEquivalenceMap escription BaseActivityComplianceMap Objective Figure 50 Baseline editor Page 54 of 172 OPEN O SS OPENCOSS Platform Tools User Manual The baseline model can be edited also be means of a graphical editor to use it double click in the baseline_diagram model The way of using this editor is exactly equal than the refframework s editor explained in the chapter 4 2 tailoredRefFramework baseline_diagram 52 lt 2 Palette gt N Q Q inp lt lt es j Objects C RefActivity WP description m STP SDS CMP 4 Refartefact V V V V e oe RefRole e 7 Software planning EIL amp Connections T gt ExecutingRole 7 Software Management PrecedingActivity l PPR Produced rtefact gt RequiredArtefact EE i g TMdentification of sub contractors Organisation of PPR ae aa P ee AY fit 1 A A 2 1 f a H H n i4 fhe 1 f 4 Peay Pi d dib 7 Software Engineering Pd E di 11 ty v Definition of development methods rules and guidelines s tt T FAP at SW subcontractor Respen ble P g gutt I FI i a Xu FR il pg bd PSAC f Lb OG a we if 4 HM fr Il 11 JU ET d Por at f i i H i P f L i iij C P 2 7 Adjustment of
37. Map Group l pdt vM lt J Undo New Map Ctrl Z Map i ACE Compliance Map Selection Paren Redo Cote i o Equivalence Map of Cut EE Copy 38 Map Moc Paste P Prl X Delete Id Validate Control Nam Desc Locking gt Conflict gt M ag Load Resource Refresh Show Properties View Figure 212 Add New Map I e Or select the model element and press the icon button s in the base tab associated to the label Map Model Quick Access EY 4 Resou EE RefFramework mapping 52 tS Reso Selection Parent List Tree Table Tree with Columns lt zi E Properties 52 dt ve 38 Map Model v Properties Id Name Description MapGroupModel 2 6 EI X H Map Group mapgroupi soga 98 Map Figure 213 Add New Map II After these actions in the properties zone the framework presents several fields to describe the new map Page 149 of 172 OPEN O SS OPENCOSS Platform Tools User Manual EE RefFramework mapping 33 on tS Resource Set 4 38 Map Model gt m Map Group mapgroup1 3 eal Map Selection Parent List Tree Table Tree with Columns e ET Properties 23 r 6 oa Map Base v Properties Id Name Map Group m Type full Figure 214 Map properties e ld Map identifier e Name Map name e Map Group Map Groups associated to the map e Type Map type full partial o not map 10 2 2 Delete a map To d
38. Model allows defining activity participant person tool organization or technique objects Page 134 of 172 OPEN O SS OPENCOSS Platform Tools User Manual To create these objects in the Model zone click on the branch Model and press the right mouse button and select the contextual menu New Child or use its properties view LS TACR23 process 53 f Resource Set E fa TACR23 process ge Model New Child T Activity Participant A Person m Tool of Cut Lg Organization Copy res Technique 3 Delete validate Wizards d Selection Paren Locking y UMAS Conflict I de Tasks EB Pra Load Resource Model i Refresh Base A Show Properties view p Figure 187 Create Process Model data using context menu Activity Activity EY R Resource 4 DOE 2 TACR23 process 54 Editing of the properties of an object Activity ts Resource Set S TACRZ3 process Activity Activity Artefacts Activity Participant Activity Techniques Activity Evaluation gt gt E 45 Model Properties Id Name Description Selection Parent List Tree Table Treef start Time End Time vi Tasks B Properties 53 Error Loc SubActivity t Model Base n OwnedActivity EXE EJ Activity Preceding Activity r4 OwnedParticipant m Hel OwnedRe
39. Name 7 Base Activity 10 Guideline on ISO 26262 Type full x Justification Figure 61 Compliance Map form The Compliance Map form is organized in three zones e The left zone shows the actual baseline and it loads the type of elements for which we want to make the compliance maps For default activities e The middle zone allows to make different filters like o Filter Mapping Model lists all the mapping models stored in the database and it will be necessary to select one of them and one group model It s also possible to create a new Page 61 of 172 OPEN OSS OPENCOSS Platform Tools User Manual map group pressing the button New group This map group has to be part of the active Baseline Config of the project o Filter Map Element Its possible to create compliance maps for activities artefacts requirements roles and techniques and the allowed maps are BaseArtefact gt Artefact BaseRequirement gt Artefact Claim or Activity BaseActivity Activity BaseRole Participant BaseTechnique Technique When the filter changes also it changes the information showed by the reference framework For example If the filter Artefact is selected fa amp Selection dialog m From Filtering To P p ESKE PSR TACR23 mapping oee mr amp Base Artefact 2 5 3 1 Evidence quality man
40. Oa F foo gt no E Y 4 jd Session156 op 3 Transaction amp Transaction C View 1 MA LifecycleEvent a1 a lt gt fou amp 7 El B amp E Public true E Assumed false type filter text To Be Supported true Case CLEA To Be Instantiated false gt v Figure 105 To Be Supported and Public Property Values for Declaring a Claim Requiring Support from Another Module To declare that a Claim can provide support to resolving inter module dependencies the Public property should be set to true and the To Be Supported property should be set to false Figure 106 File Edit Diagram Navigate Search Project Run Argumentation Window Help a A adita AER 24 EM JE 5 Segoe Ul gt sn veins cimi inte trt 100 Quick Access g AP amp El X eParkComponentarg diagram X 4 amp eParkComponent arc vg S d s ai sa 2s Palette b 1S testProject lt NN Nr Vi Tasks Properties 23 2 Repository Explorer pida 1 CJ Claim EE Base v Properties Claim Type Id G1 Appearance Name G1 Description EPark voc item is acceptably safe to operate in its defined context Content Evaluation LIT Bic x u 4 8 Y 4 OB Session156 op Transaction amp amp Transaction EF View 1 MA LifecycleEvent LABETSEE F lt gt o gt aa Public true 3 A 2 Assumed false To Be Supported false type filter text To Be Instantiated
41. Open F3 Open With Copy cric 3 Delete Delete Moye Rename Fz gs Import py Export amp Refresh F5 Alt Enter Properties 52 Erro tion arg Argumentai Property r or ovr vr ovr FF xr Info derived editable ack eae This option launches a wizard that at the first step requires the folder and the name of the new diagram file Next the root element of the model Case type must be selected as the root element of the new diagram After that the diagram is ready for edition Initialize new Arg diagram file Diagram root element Select semantic model element to be depicted on diagram Select diagram root element a 7 Case Figure 87 Selection of the Case root element Page 80 of 172 OPENCOSS Platform Tools User Manual OPEN OSS Create multi diagrams in Database Format Once a model is available a new diagram view can be created following the procedure below Select New gt Other from the File menu of eclipse Select Arg Diagram to Repository in the Opencoss category and click the Next button Select the folder to store the new diagram Then type the name of the diagram to be created and click the Next button Type the name of the model created previously and click the Finish button Select a wizard Graphic editor for 4rg models to Repository Wizards HL Java Java EE LS Java Emitter Te
42. Other Ctrl N Revert Figure 12 New Reference Framework model e In the Wizard dialog open the Opencoss category and the select Refframework Diagram and press the Next button Select a wizard Graphic editor for Refframework models to Repository Wizards type filter text zia Creates or Updates Baseline Far Evidence Model to File e Evidence Model to Repository HF Mapping Model Ce New Assurance Project H Process Model E Property Model to File i Property Model to Repository e Refframework Diagram 2 Refframework Model gt E Plug in Development 7 Show All Wizards Figure 13 Wizard Reference Framework model e n the New Refframework Diagram dialog select or enter the parent folder the name of the diagram to be created and press the Next button Page 26 of 172 OPENCOSS Platform Tools User Manual New Refframework Diagram Create Refframework Diagram Enter or select the parent Folder E fis Session opencass HES view 1 MAIN Resource name default refFramework diagram Figure 14 New Refframework Diagram e Inthe New Refframework Domain model page select or enter the same name as in the previous step as parent folder enter the name of the diagram to be created and press the Finish button Page 27 of 172 OPENCOSS Platform Tools User Manual New Refframework Diagram Create Refframework Domain Model Enter or select the parent Folder IRefFolder ES
43. Result gt 0 Msg Caution The number of items exce Target Milestone Figure 230 Add Edit connector settings window A connector to Bugzilla tool has been implemented as a proof of concept Additional connectors can be implemented in future release of OPENCOSS platform The connector settings are grouped into 2 sections e Instance Settings it specifies the external tool connection and the query parameters e Instance Execution Result Processing it specifies the thresholds for the value retuned by the connector querying the external tool Three value ranges can be defined for each range green yellow or red colour would be presented on the report respectively User can additionally define message for the specific value range Page 160 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Compliance Estimation report Baseline Framework ISO 26262 Project Compliance Overall compliance status z Base A Type Baseline Element Name Compliance A External Tools Sele Status Status Com 2 5 5 2 Evidence of competence aD Not defined Not E 2 553 Evidence of quality management Compliant J Not defined m ud Description External Tools Configuration Details Bugzilla Connector Edit Connector gt Cor URL https issues apache org bugzilla User Execute Connector c d Figure 231 The report layout after connector has been defined but not executed yet Pressing Execute Conne
44. above tree levels is selected justification artefact or resource its description and properties are presented in the right bottom panel of the report Details Compliance Justification Thorough testing have been performed Fully Unassiqn Artefact p png Resource ABS p png Download Compliance Justification Testing plan has been prepared Partially Unassiqn Artefact p png Resource ABS p png Download B Description Properties Compliance Justification Thorough testing have been performed Figure 224 Specific evidence details description presented at the bottom 11 2 3 Adding evidence and compliance data Additionally to browsing the project evidence pieces the report allows users to add modify and remove evidence resources and define a compliance mapping Base Asset Compliance Details panel on the right hand side of the report contains an Upload panel which allows users to add a specific file resource containing the evidence specify the associated artefact and define compliance justification text and its type After user presses the upload button or drag and drops the file resource to the panel the following New Resource Definition dialog appears Page 156 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Assign Compliance Evidence File Assign the following file Choose File No file chosen as an evidence for compliance with the following baseline item 2 5 5 3 Evide
45. an Assurance Project Project2 Selection Parent List Tree Table Tree with Columns ET Properties zz CDO Watch List ff CDO Remote Sessions jd CDO Sessions 22 Br a ag Assurance Project Project2 ARGUMENTATION CLEAN xd l l GE Base Reuse data from other assurance project 4 Baselinel arg diagram CLEAN as AO Baselinel arg CLEAN i ProjectBaselines Cross Project gt gt ASSURANCE PROJECT CLEAN PermissionConfigurations Figure 63 Cross Domain button If the target project doesn t have an evidence model a confirmation message will be displayed asking the user confirmation to create it If the user is agree a new evidence model will be generated automatically based in the contents of the target assurance project baseline for each BaseArtefact in the target baseline one Artefact Definition with one Artefact will be included in the target evidence model the evidence model will be related with the target assurance project and also the compliance maps between the baseline and the evidences are automatically created After this the data generation process the cross domain window will be opened If the user refuses the data is not created and the cross domain window is not opened because is mandatory to have and evidence model as destination model of the reuse New evidence model will be created new evidence model assigned to the target proyect will be created in the Repository Do you agree Figu
46. argumentation diagrams see Section 6 2 1 Database Format In each of these diagrams or their accompanying models an Argumentation GSN module symbol in the palette should be created Figure 103 Argument elements such as Claims Information Element Citations and Argument Reasoning should then be added to the Argumentation module element This is achieved by right clicking on the Argumentation element and selecting Show Properties View clicking on the button on the Consist Of property and selecting the model elements that should be added to the argumentation element The button for the Consist Of property in the properties view for an Argumentation module is shown in Figure 104 Page 89 of 172 OPENCOSS Platform Tools User Manual Palette IS amp em Argumentation core ah ArgumentReasoning oe Claim InformationElementi ita Argumentation relations 3 7 AssertedChallenge ES Asserted Context oo AssertedCounterEvidence AssertedEvidence _ r e gt Argumentation modular lt F ArgumentElementCitat EF Agreement gt Yo Figure 103 Creating an Argumentation Module File Edit Navigate Search Project Arg Editor Run Argumentation Window Help fonccacces at GP amp B amp eParkComponent arg_diagram eParkComponentarg 53 A B v Bi Dorsss gt 3 testProject Selection Parent List Tree Table Tree with Columns
47. check lists for product evaluation SW CSCI Function Responsibfe Li 7 Software Verification hit 7 Review of SDP document SW Quality WPM Figure 51 Baseline graphical editor 5 4 Edit Compliance Maps It is possible to create Compliance Maps in two ways e One way using the editor e Another way using a tailored functionality for it 5 4 1 Compliance Map using the editor To create Compliance Maps using the editor we must load four CDO resources the artefact model evidence process model process argumentation model arg and the mapping model mapping It is important remind that these models have to be part of the active BaselineConfig and AssetsPackage of the Assurance Project in other words The artefact model process model and argumentation model have to be part of the active AssetsPackage of the project Page 55 of 172 OPEN OSS E TACR23 mapping TARC23b baseline tS Resource Set amp TACR23 assuranceproject 23 OPENCOSS Platform Tools User Manual c 4 TACR23 assuranceproject 4 ee Assurance Project TACR23 I Assets Package TACR23AssetsPackage Permission Config TACR23PermissionConfig Baseline Config TARC23bBaselineConfig Selection Parent List Tree Table Tree with Columns ES Properties 3 Error Log 3 Assets Package TACR23AssetsPackage v Properties m Id APO1 TACR23AssetsPackage Argumentation Model Artefa
48. cycle far opencoss evidence 23 OPENCOSS Platform Tools User Manual m I Selection Parent List Tree Table Tree with Columns 4 Tasks E Properties 53 amp Artefact ArtefactA_cycleModified gt Base m Properties ArtefactVersion ArtefactPropertyValue Name Description Se SE E Assurance Generated automatically during Artefact modification i ArtefactEvents Event creat This event has been added as a result of impact propagated from artefact ArtefactD cycle vi Event creat This event has been added as a result of impact propagated from artefact ArtefactD cycle vi m Figure 182 Artefact events created by Impact Analyser See also Impact Analysis described in server section in Change Impact Analysis chapter Page 132 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 8 Process Assurance Management The management of Process Assurances must be made through the creation of a new model of the type Process Model In order to generate a new Process Model the following steps need to be done e First select the entry of the menu File gt New gt Other e Inside the category Opencoss select the Process Model and press the Next button Select a wizard Creates new Process model to Repository Wizards type fiter test o ooo Baseline Diagram Baseline Model s s Creates or Updates Baseline Far Evidence Model to File F r
49. developed on a future Argument Reasoning This element has the same graphical notation as strategies on GSN The identifier property indicates uniquely the element on the argumentation Do not use the same identification on different elements on the same argumentation To be supported property indicated that the argument reasoning will be further developed on a future Information Element Citation This element could have different graphical notations depending to the concept which is referencing The property Type could have the values e Justification it references the justification concept and has the same graphical notation as justifications in GSN It justifies the validity of a claim e Context it references the context concept and has the same graphical notation as contexts in GSN It indicates the context of a claim e Solution it references the evidence concept and has the same graphical notation as solutions in GSN It supports the validity of a claim The identifier property indicates uniquely the element on the argumentation Do not use the same identification on different elements on the same argumentation Page 78 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Information elements references to a specific artefact The url property indicates the location of the artefact associated See section Connecting a Diagram to Artefacts for further details for information on these artefacts Argumentation This element has t
50. diagram 2 Once a concept has been selected it can be hidden through the Delete from diagram option available in the contextual menu This option does not delete the concept from the model 3 Once a concept has been selected it can be deleted through the Delete from model option available in the contextual menu This option delete the concept from the model permanently If this deleted concept is visible in another diagram files this concepts will be shown with a cross icon in the upper right corner to show that it does not exist anymore Create multi diagrams in File Format Once a model is available a new diagram view can be created by using the Initialize arg diagram diagram file option in the contextual menu Page 79 of 172 RUNTIME ECLIPSEAPPLICATION Epsilon Eclipse Platform OPENCOSS Platform Tools User Manual File Edit Navigate Search Project Met4jExamples Run Window Help a Di fy Project Ex 3 Templates g Repository a ArgumentationProjects E3 a argumentation arg H Modules H Patterns Hs Outline zz An outline is not available Figure 86 Initialize a diagram file Eel ie argumentation ard Validate Show in Remote Systems view Bs Windows Explorer ll Command Prompt Initialize arg diagram diagram File Profile As Debug s Run s Team Compare With Replace with CDG Release Engineering Epsilon Flock JPA Tools Properties OE BF T E Et New
51. during the product development AP ralloredRefFramewark arg CLEAN W Base Activity 1 4 Safety management after the item s release For production SL ASSURANCE PROJECT CLEAN Gi Base Artefact 1 1 5 1 Rules for Functional safety f 15026262Project assuranceproject CLEAN Hiv Base Artefact 1 1 5 2 Processes For Functional safety EE 15026262Project mapping CLEAN E 4 Base Artefact 1 1 5 3 Evidence For competence and quality manager prueba baseline diagram CLEAN E 4 Base Artefact 1 2 5 1 Safety Plan Concept Phase prueba baseline CLEAN E Base Artefact 1 3 5 1 Safety Plan Development Phase SecondBaseline baseline _diagram CLEAN GW Base Artefact 1 2 5 3 Safety Case Concept Phase SecondBaseline baseline CLEAN E Base artefact 1 3 5 3 Safety Case Development Phase tailoredRefFramework baseline _diagram CLEAN E 4 Base Artefact 1 4 5 1 Evidence of Field monitoring tailoredRefFramework baseline CLEAN EVIDENCE CLEAN E PROCESSES CLEAN ali 1 x a Tm r Selection Parent List Tree Table Tree with Columns Figure 55 Load Resource II Then select the resource model browsing the repository using the Browse Repository button RUNTIME KEPLER Resource cdo opencoss TACR23 EVIDENCE TACR23 evidence Eclipse Platform TILEGG w He gt ou gt Project Explorer g Repository Explorer 53 H 5 SecondBaseline baseline far TACRZS evidence 53 Fie 5 Resource Set
52. false Case CLEA gt v Figure 106 To Be Supported and Public Property Values for Declaring a Claim Providing Support to Other Modules Page 91 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Note Information Element Citations when used to model Solutions can also be used to provide support to inter module dependencies The To Be Supported property should be set to False in this case 6 4 2 Creating a Contract Having created argumentation models which consist of modules of model elements that require and or provide support to other modules contracts can be created to link such elements thus resolving the inter module dependencies To create a contract go to File gt New gt Other gt Opencoss gt Argumentation Contract to start the Contract Wizard Figure 107 Select a wizard Wizards type filter text gt General gt Eclipse Modeling Framework Ecore Tools gt 2 Java Opencoss 4 Arg Diagram to File amp Arg Diagram to Repository A Arg Model to File amp Arg Model to Repository E Argumentation Contract Pa Argumentation Integration Fe Assuranceasset Model to File Cancel Figure 107 New Contract Wizard In the first page of the wizard selecting an argumentation model from the dropdown box will display a list of all inter module dependencies Claims that are public and to be supported of all modules contained in the model One of the Claims sh
53. information derived from them such as interpretations about intents mapping between standards etc This functional group maintain a knowledge database about reference frameworks model of standards regulations etc which can be used by other OPENCOSS functionalities Assurance Project This functionality factorizes aspects such as the creation of safety assurance Lifecycle Management projects locally in OPENCOSS and any project baseline information that may be shared by the different functional modules A project baseline is a subset of reference framework e g subset of a standard that will be applied to a given assurance project Safety Argumentation This group manages argumentation information in a modular fashion It also Management includes mechanisms to support compositional safety assurance and assurance patterns management Evidence Management This module manages the full life cycle of evidences and evidence chains This includes evidence traceability management and impact analysis In addition this module is in charge of communicating with external engineering tools Page 13 of 172 OPENCOSS Platform Tools User Manual requirements management implementation V amp V etc Process Assurance This functionality group handles every activity related to the specification execution and validation of safety assurance processes in connection with engineering processes It also manages compliance information rel
54. item gt RefRol em nt a MI icmceliatEM icMM MK MAG CUM GM MMC P A ole Connections Repository Explorer 1 PrecedingActivity 15026262 refframework CLEAN 73 2 Management of functional safety 7 3 Concept phase 7 4 Product development at the system level 737 Production and o gt ProducedArtefact amp RequiredArtefact D Role 7 5 Product development at the ha 6 Product development at the so Diagram Editq type filter text 4 Ref Framework Additional Resources gt E Properties 53 Properties O RefActivity Base v Properties ActivityRequirement ActivityApplicability ActivityEquivalenceMap Id 2 Name 2 Management of functional safety Description This part of ISO 26262 specifies the requirements for functional safety management for automotive applications including the following project independent requirements with regard to the organizations involved overall safety management and project specific requirements with regard to the management activities in the safety lifecycle i e management during the concept phase and product development and after the release for production Figure 16 Refframework editor perspective 4 2 1 Add concepts to the diagram To add concepts to the diagram left click in a category Object of the palette and move the cursor over the diagram zone This cursor appears if it is possible to add this
55. l Preferences for the argumentation editor H Acore Diagram H Ant Modules Directory preference O Personall Carmen Proassurancetrabajolruntime Eclipse4pplication Modules l rg Diagram E Baseline Diagram Patterns Directory preference DPersonallCarmen Proassuranceltrabajolruntime EclipseApplication Patterns i m Agreements Directory preference C workspacestruntime TACE Demo greements T Data Management l Ecore Diagram EmFatic Epsilon Gymnast Help W Instali Update Java H Java EE H Java Persistence H JavaScript Maven Model Editor W Model validation Mwe2 E Mylyn Opencass Argumentation Figure 77 Argumentation Preferences 6 2 Creating and Saving a Diagram 6 2 1 Creating a New Diagram In File Format To create a new file based argumentation diagram follow the procedure below and generate a new diagram in the project folder Select New gt Select Arg Diagram to File Select the folder to Enter the name of the diagram Other from the in the Opencoss category store the new un to be created and click the File menu of eclipse and click the Next button diagram Finish button Page 71 of 172 SS OPENCOSS Platform Tools User Manual Select a wizard Graphic editor for Arg models to File Wizards S E Opencoss al rg Diagram to File i Ay Arg Diagram to Repository 18 Arg Model to File Arg Model to Repository f 3 Assuranceasset Model to File z
56. not available database can be created using psql command line In order to do it please run psql application and issue the following command gt CREATE DATABASE cdo opencoss with owner opencossdbms Note cdo opencoss is a default database name which is accessed by OPENCOSS server This can be reconfigured later in OPENCOSS server configuration file entry key dbName gt For details about the server configuration file see Installation of OPENCOSS server distribution In pgAdmin III application right click Schemas for cdo opencoss db tree node and choose New schema option Page 17 of 172 OPENCOSS Platform Tools User Manual ES EE Schemas 2 Properties Privileges Security Labels SQL Mame externaltoals opencossdbms Comment Create schema name externaltools with owner opencossdbms The schema will be created Alternatively when pgAdmin III application is not available schema can be created using psql command line In order to do it please run psql application and issue the following command gt CREATE SCHEMA externaltools AUTHORIZATION opencossdbms Then in pgAdmin application or psql command line execute query ALTER DATABASE cdo opencoss set search path externaltools public 3 1 3 Installation of OPENCOSS server distribution 1 Download and unpack OPENCOSS Server distribution The latest build can be downloa
57. object in the target diagram location according to the modelling rules Reference Framework metamodel if not this other Q will appear A figure representing the concept will be displayed in the diagram 4 2 2 Add links between concepts To add link between concepts select it from the Connections category of the palette This cursor N appears if this object can be the origin of the connection according to the modelling rules Reference Page 29 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Framework metamodel if not this other v will appear Maintain the left mouse clicked the cursor will become ty and move to the destination object the same icons will appear if the destination is correct or not 4 2 3 Edit properties Some model elements from Reference Framework cannot be edited graphically RefRequirements RefApplicability tables among others These model elements can be edited by using the Properties view If the properties view is not visible you can open it by using the contextual menu of the figures Show Properties View of the figures C Concept Phase WJ Add Note L En Navigate d File d Edit 34 Delete From Model Format d Filters d E Show Properties View Figure 17 Show properties view 4 2 4 Create multi diagrams from a Reference Framework model The tool allows managing different views of a model through a set of diagrams Once a model is available a new diagram view c
58. project Project1 and as postcondition the BaseActivity Extra Activity caused by reusing the equivalence maps are created at refframework level Page 65 of 172 OPEN O SS OPENCOSS Platform Tools User Manual and are copied to the baselines during the assurance project generation process The source BaseArtefact Artf1 has a Compliance Map with the target Artefact Artefact 1 of the evidence model of the source project Therefore the Artefact 1 is a good candidate to be reused according to the existing equivalence and compliance mapping information and appears checked and highlighted in green This window checks the integrity of the data before start the copy process for example Not Equivalence Map Ed Selected Map Group e The Assurance Project Project 1 doesn t have equivalence map e You must select the equivalence map group Selected Target Artefacts x You must select the Target Artefact of the reuse Figure 68 Cross domain information messages about integrity If the user wants to copy artefacts without equivalence between them a confirmation message is showed Seleccionar una Opcion 2 You have selected source Artefacts not highlighted in green without equivalence with the selected target Artefact Do you want to reuse them anyway Figure 69 Reuse not equivalence artefacts confirmation message Finally if all is correct another confirmation message with the resume of the data that wil
59. refframewaork diagram CLEAN m ISO26262 refframewark CLEAN B I5026262 21 IRR refframewark diagram CLEAN e I5026262 4 IRR refframewark diagram CLEAN j 2 oll refframework CLEAN 3 P opencoss evidence CLEAN af Refframework mapping CLEAN 2 tailoredI5026262 IRR refframework CLEAN B TFEIntegration refframework_diagram CLEAN x s Erial refFramewark diagram CLEAN Load Resource Resource name Refframework mapping Figure 26 Load Resource Map Group II It s possible to create equivalence maps for activities artefacts requirements roles and techniques Then first select the object in the tree and after click on the tab ActivityEquivalence Map and press the button Add S RUNTIME SECONDCCL Resource cdo opencoss tailored refframework Eclipse Platfoi File Edit Navigate Search Project Refframework Editor Net4j Examples Run Window Help o Qv 9 5 ed oe et v Quick Access ES ES Rese amp Repository Explorer 23 ap E TH tailored refframework 53 4 j Sessioni opencoss PS Resource Set a View 1 MAIN 4 amp tailored refframework RETS6 CLEAN a REF amp TACR23 CLEAN 2 15026262 refframework diagram CLEAN 2 15026262 refframework CLEAN EE RefFramework mapping CLEAN e tailored refframework_diagram CLEAN e tailored refframework CLEAN ramework Tailored Framework EPA gt Ref Requirement 1 1 4 1 General Safety
60. returned External tool connector can be specified for the given baseline element of the safety standard For example if the baseline item says that all the requirements implemented should be tested a connector to corporate Bugzilla could be added where the company stores their requirement definitions and their statuses The connector could query the Bugzilla to learn how many requirements are there with a status marked as Not Tested In order to specify a connector for the selected baseline element Add Connector button should be pressed It presents a connector settings window Add Edit External Tool Connector Connector Type Bugzilla Connector Y Connects to Bugzilla server and retrieves a number of defects reported for the specific Bugzilla product Additional parameters like Severity Status Resolution can be specified Note it uses Bugzilla XML RPC API Connector Instance Instance Label Instance Settings Instance Execution Result Processing URL https issues apache org bugzilla A result of connector execution is a number Tm For the specific result number ranges please define SJT 3 Password color of the indicator Green Yellow Red Product Ant e message the text to be displayed on the indicator if you enter result the actual result number will be presented Seventy critical i Priority P3 Green Result lt 0 Msg OK the number of items is below Resolution Status NEW Red
61. sentence structure and assign the sentence structure to the goal The color associated with the parent claim type is used to colorize the goal as a visual reminder of the claim type e g blue represents any claim about risk Page 102 of 172 OPENCOSS Platform Tools User Manual File Edit Diagram Wavigate Search Project Window r3 Eies Fry Pr ter Segoe UI 19 rl A amp Segoe Ul rja IB I Av dv fv Oe Quick Access ES 2 My claimtypes F default arg_diagram 53 g E pr The risk has been mitigated by risk mitigation technique 4 E Properties 3 Templates View O Claim Chose a sentence structure and apply it to the selected claim isk The varrisk has been mitigated by var risk mitigation technique The var risk is below var risk level Timing Apply Figure 125 Claim Type Tab in the Propeties View 6 11 Printing The following operations regarding printing are available under the File menu 1 Print Preview item Print preview 2 Print item Print 3 Page Setup item Print settings Page 103 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 7 Evidence Management 7 1 Define Artefact Repository Preferences The first step before creating an Evidence Model is to indicate the SVN Repository configuration information to store the artefact files using the menu Windows gt Preferences Pee Help New Window New Editor Hide Too
62. the organizations involved overall safety management and project specific requirements with regard to the management activities in the safety lifecycle i e management during the concept phase and product development and after the release for production Objective Selected Object Ref Activity 2 Management of functional safety Figure 22 Model tree editor Page 32 of 172 OPEN O SS OPENCOSS Platform Tools User Manual It is also possible to use the Outline view to create new model elements as shown below New Child d ref Activity New Sibling d Ref Requirement L1 A Outline 3 23 Copy of Cut a VE Paste Delete validate Control Et Ref Fram Load Resource LER ef Activity Concept Phase lt Ref Artefact gt Ref Role Diagram 15026267 refframework diagram Additional Resources Figure 23 Edit model from Outline 4 3 Creating Equivalence Maps It s possible to create Equivalence Maps in two ways e One way using the editor e Another way using a tailored functionality for it 4 3 1 Equivalence Map using the editor To create Equivalence Maps using the editor it s necessary to load two CDO resources the reference framework model refframework and the mapping model mapping So press the editing window and select Load Resource in the context menu Page 33 of 172 OPEN O SS OPENCOSS Platform Tools User Manual amp RUNTIME SECONDCCL
63. this action date of the event is set 11 4 3 Impact Analysis result presentation on OPENCOSS server reports IA induced user actions that need to be performed in the assurance project are presented on Compliance Estimation Report and Compliance Report These reports are described in Compliance Estimation report and Compliance report in general Hereafter is a description of Impact Analysis results being presented on these reports Page 163 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Project ABS Reports M Argumentation Compliance report Baseline Framework ISO 26262 Export to MS Word Project Compliance Overall compliance status Base Asset Compliance Details Tea Hr Compliance Status IA Selected Baseline Element Name 2 5 5 1 Organization specific rules and processes for functional safety Compliance Status The selected requirement contains evidence which is not compliant with it Status Not compliant 2 Add a compliance evidence to this project baseline element Please drag and drop a file to this area or press Upload 4 7 3 2 2 Functional concept Resource icon xpm Download 4 7 3 2 3 Functional safety concept 1 Vocabulary E 25 5 2 Evidence of competence Note Pressing Assign button will commit your file to SVN and assign it as a compliance E 25 5 3 Evidence of quality management evidence 2 5 3 2 1 Evidences o
64. with the source baseline contents above the compliance map information of the source baseline element selected and the contents of the source evidence model The user can obtain detailed information of any element displayed in the trees in a popup window by double clicking over it In the case of the target evidence model the model can be edited directly in the popup window and the changes will be saved after clicking the Save target evidences button Also is possible to create new Compliance Maps between the target baseline and the target evidence model using the New CM button connected with the tailored Compliance map window explained in Section 5 4 2 Page 64 of 172 OPENCOSS Platform Tools User Manual Cross Domain Target Project Project2 ASSURANCE PROJECT Project2 assuranceproject Filtering Source Project ab ASA baseine EquivMapReFAvsRef1 mapping L Base Framework RefFramework O Base Activity ActA C Base Activity ActB Base Activity Extra Activity caused by reusing v E g Base Artefact ArtfA Base Requirement Req 5j g Base Artefact ArtfB Base Requirement ReqB Map Group Filter Map Element Existing Equivalence Map Base Requirement ReqA ID Base Requirement ReqB Mame 2 Base Role RoleA Type Full p Justification Target Compliance Map ID Justification Target Compliance Map Mame ID Justification Type Full vl Name Type v PostConditions u amp Evidence 1 evidence New Ob
65. 1 New Evidence Model Ill cccccecccccssseccccseccccesscccceesececeeececeeeecceeeuseceseuaeceesensceeseuecessuneceesenas 107 ENN 107 Figure 133 Add New Artefact Definition lI esee nnne enne eene 108 Figure 134 Add New Artefact Definition Il eeeeeessseeeeeeeeeennnneenn nennen nennen nnns 108 Figure 135 Artefact Definition Description l rrrnrrrrnnnnnnnrrnnnrnnnnrrrnnnnnnnnrnennnnnnnrnnnrnnnnernnnnnnnneenenrvnnsesnenennn 109 Figure 136 Artefact Definition Description Il ccssssssrsccsscsssrsccrcausersectecucsrseateaucarsesteaussrsesteausersesteaues 109 Figure 137 Description Artefact Definition Artefact rrrnnnnnnnnnnnnnrnnnnnnrnnnnnnernnnnnnrnnnnnnsnnnnnnevnnnnnesenrnnesnennne 110 Figure 138 Description Artefact Definition Evaluation cccccsccccsssecccceseececeesececeeececeeeeceessuecessunecetseees 110 Figure 139 Description Artefact Definition Events eesssseeeesseeeeeeeeenne enne enne eser ness 110 Figure 140 Delete Artefact Definition lJ rrrrrnnrnnnnrnnnnnnnnnnrnnnnnnnnnrnnnnnnnnnennnnnnnnnennnnnnnnennnnnnnnneenennvnnnesnenenene 111 Figure 141 Delete Artefact Definition Il rrrrnnrrnnnrnrnnnnnnnrrnnnrnnnnnrrnnnnnnnnrrnnnnnnnnennnrnnnnnennnrnnnnennnnevnnseenenennn 111 Figure 142 Add New Artefact NN 112 Figure 143 Add New Artefact Tl iasssaesesve s a sea Patna Ero FRSFEUS pen pEUESEE TITRE EBO Rr b2 SUM ERS E Ert or Sr UT
66. 155 Figure 222 Details of Justification and mapped evidence cccccceesececcesecceceusececeesececeeeeccessusecesseneceesenes 155 Figure 223 Compliance evidence of the specific baseline asset rrrrrnnrrrnnnnnrnnnnnnnrrnrnnnrrnnnnnerrnnnnerrnrnneseennne 156 Figure 224 Specific evidence details description presented at the bottom seeeeeeeeeeees 156 Figure 225 A window allowing to assign and describe evidence to the given baseline item 157 Figure 226 Unassign button allowing to disassociate evidence from the given baseline item 157 Figure 227 Export to MS Word button which generates textual overall detailed report of Project Compliance to the safety NNN 158 Figure 228 First page of the generated textual report rrrnrnnnrrnnnnnnrnnnnnnrrnnnnnnrnnnnnnrnnrnnnennnnnnernnnnneeensnueseenne 159 Figure 229 External Tool connector column on the report and bottom panel rrrrrrnrnnnrrnnnnnrrrnrnnnrrrnnen 159 Figure 230 Add Edit connector settings windOw ccccccceceeceeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeees 160 Figure 231 The report layout after connector has been defined but not executed yet 161 Figure 232 The external tool connector has been executed and the value returned is O 161 UU 299 ArteracPe MOLPUBL EE 162 Figure 234 Artefact lifecycle from the IA point of view
67. 19 7 5 NEPOS 120 7 5 1 Add an artefact property value to an artefact rrnnrunnnnnnrnnnnnrnnnnnrnnnnnrnnnnnrnnnnsrennn 121 7 5 2 Delete an artefact property VE 123 7 6 Artefact Assurance Asset Evaluation csscccscssssecsossssctcsssscnecsssestoussscueussscneusssensoussestensnss 124 7 6 1 Add an artefact assurance asset evaluation to an artefact rrrrnrnnrrrnnnnnrrrnnnnennne 124 7 6 2 Delete an artefact assurance asset evaluation rrarrrrnrnnrrrrrnnnrrrnnnnerrnrnnerrnnnnneeene 126 7 7 MENES 127 7 7 1 Add an artefact assurance asset event to an artefact rrrrnnnnnrrrnnnnnrrnnnnnrrnnnnnenene 127 7 7 2 Delete an artefact assurance asset EVENT rrrnrrnnnrnnnnnnrnnnnnnrrnnnnnernnrnnerrnrnneerernnneeene 129 7 8 Mini sismo ipei meri EE TE nien iiri qud bei cn id mei imme ME 130 8 Process Assurance Management 5 0 psa Soo aTRIYE EE E PRO Vid P OS UR ES NE EF Viva TS FE PRU a PAP PES IS VrNS aU VE ee Rus 133 8 1 Creating Process Assurance data cssccccsesccssssccsssccessseccsseceussencusseneusececuseseusseseusseneuesenens 134 8 2 Deleting Process Assurance Objects eese nennen nennen rennen neris 136 9 Properties Management i osevevussva oiv va pita SU aUPdERVR PE eV VE 2Eu URS a eVURR VAMOS OEPYSPRVAVET ORO dia Sa e OIM A Oe id pSS 138 9 1 As 140 SNMP MEE ooi Rolgoo TE EE E E 140 BRENN 142 Page 4 of 172 OPEN O SS OPENC
68. 2 OPEN OSS Far TACR23 evidence 23 Eier Resource Set Es TACR23 evidence Artefact Model a h Artefact Definition ArtDefinitionRules E id Artefact 1 Selection Parent List Tree Table Tree with Columns E Properties 2 Base Properties ArtefactVersion Id 1 ArtefactPropertyValue Mame 1 ArtefactEvaluation ArtefactEvents Description Precedent Version OwnedRel ArtefactPart 1 Artefact Definition base OPENCOSS Platform Tools User Manual Figure 144 Artefact Description o Id Artefact Definition identifier o Name Artefact Definition name o Description Artefact Definition description 2 Artefact Version o Version ID Identifier of the artefact version O O O UO Date Date of the artefact version Changes Changes make in the artefact version Last Version This field shows what artefact is the version in use Is Template Check if the artefact is a template Is Configurable Check if the artefact is configurable Resource List of resources associated to the artefact mvc e gt A Page 113 of 172 OPEN O SS OPENCOSS Platform Tools User Manual E Properties 32 mn amp Artefact 1 Base v Properties ArtefactVersion Westies me T3 ArtefactPropertyValue S ArtefactEvaluation nid ArtefactEvents v Is Last Version Is Template Is Configurable Resource DIBI Figure 145 Description Artefact Versi
69. 23 evidence 4 Artefact Model 4 D Artefact Definition ArtDefinitionRules 4 4 Artefact Rules Value 4 amp Artefart Rules Ass New Child a n Ass New Sibling Vali lt J Undo Do Command Redo of Cut Selection Parent List Tree Copy Paste E Properties 23 XX Delete amp Artefact Rules ONE Base Control ArtefactVersion Wizards ArtefactPropertyValue Locking ArtefactEvaluation Conflict ArtefactEvents Load Resource OPENCOSS Platform Tools User Manual Assurance Asset Evaluation F3 Tw Assurance Asset Event Ctrl Z E Value Crey E Artefact Artefact Rel Resource Figure 176 Add Artefact Assurance Asset Event II far TACR23 evidence 23 Qu default2 assuranceasset tS Resource Set 4 l TACR23 evidence 4 E Artefact Model 4 35 Artefact Definition ArtDefinitionRules 4 amp Artefact Rules Assurance Asset Evaluation Evalution M Assurance Asset Event Value 4 Artefact Rules 4 Artefact 15026262 refframework diagram ff 15026262 refframework a tailored refframework diagram P a u Len a a Selection Parent List Tree Table Tree with Columns E Properties 53 ax Assurance Asset Event Base v Properties Id Name Description Resulting Evaluation B Time Figure 177 Artefact Assurance Asset Event properties 7 7 2 Delete an artefact assurance asset event It is possible to delete an assurance assets event in two ways 1
70. 4 The EPark voc item perf C11 Parking command is re G3 All voc Functional Safet C9 EPark voc Functional Sa Argument that all credi voc Preliminary Hazard Claims Selected Description CDOResource The voc VCU voc component supplies co AutomotiveUseCase Modules e Finish Cancel Figure 108 Selecting an Inter Module Dependency Select Claims and Evidence Select the cliams and evidence from argumentation models to support the undevloped claim previously selected Select Argumentation Model AutomotiveUseCase Modules VCU Argument arg Select Claim s Providing Support By Contract Description CDOResource The voc VCU supplies parking command d AutomotiveUseCase Modules V The voc VCU identifies incorrect command AutomotiveUseCase Modules V The voc VCU supplies command data to th AutomotiveUseCase Modules V Inherited Context Associations CA Source ID CA Source Description CA Target ID CA Source Description G VCU7 The voc VCU supplies c C VCU1 The data is transmitted i Claims Selected Description CDOResource The voc VCU identifies incorrect command AutomotiveUseCase Modules V Figure 109 Selecting Elements to Resolve the Dependency Page 93 of 172 OPENCOSS Platform Tools User Manual Selection Justification Optionally add a justification of how the selected goal s solution s satisfy the selected goal requiring
71. 66 Figure 70 Cross domain final confirmation message cccccccessccccessececeuseccceeescceseusececsueceseeueceeseeseeetsunesss 66 Fel PNAN 67 Figure 72 Cross project Source project selection rrrrnnrrnnrnnnnrnnnnnrrnnnnnrrrnrnnnrrnrnnnernnnnneennrnnssrnrnnnevennnnssensnneee 68 Figure 73 Cross project Copy all models reti rito Seti nesen nen 69 Figure 74 Cross project Copy only CVIGENCES csesccccesseccccesscceceuseccceusececeeescceceusecessueceseueeceesensesetsuneses 69 Figure 75 Cross Project information message cccccseseccccsseccceensccccasecccaueceeeeuseceseusececsunecessuaeceesenseeessunsees 70 Feure 7o Cross Droe MNA 70 Figure 77 Argumentation PreferenCeS essesesssessrserereressrreesrereserrersreronsrrevsserorsreeesseressreresserersreressererereresseeeo 71 Figure 78 File based Argumentation Diagram wizard rrrrnnnrrnnnnnrrnnnnnrrrnrnnnrrnnnnnernnnnnnvrnnnnnsevnnnnnevnnnnnssennnnene 72 Figure 79 File based Argumentation Diagram wizard ll 73 Figure 80 Database based Argumentation Diagram wizard l sees 73 Figure 81 Database based Argumentation Diagram wizard Il cccccccssseccccessccccesececeeececceeecceseesecessuneses 74 Figure 83 Open Database based Argumentation Diagram sees 75 Figure 54 Arpumentation Palette Laveste eee 76 mitico CIIM Ee 01 EEE TET 78 FIBOPFESSD s Initalze a diger EEE eer nn te Cnr oe er ee oe eee 80 Figur
72. 7 4 2 Delete an artefact resource To delete an artefact resource 1 After selecting the artefact resource press the right mouse button and select the contextual menu Delete I Resource Set 4 a TACR 3 evidence Artefact Model D Artefact Definition ArtDefinitionRules a 27 Artefact Rules Resource Res New Sibling b 2 Undo Do Command Ctrl Z Redo Ctrl Y Cut Copy Paste uu RE 34 Delete Validate Figure 158 Delete Artefact Resource I Page 119 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 2 Or select the artefact version tab select the Resource to remove and press the icon button x t Resource Set 4 amp TACR23 evidence 4 Artefact Model 4 D Artefact Definition ArtDefinitionRules 4 43 Artefact Rules 4f Resource Resource Selection Parent List Tree Table Tree with Columns E3 Properties 53 gt zZ o m amp Artefact Rules Base v Properties ArtefactVersion Version ID 3 ArtefactPropertyValue Date 2014 05 29700 00 00 000 0200 ArtefactEvaluation ArtefactEvents Changes V Is Last Version Is Template Is Configurable Resource 2 2 f X 4 Resource Delete selected element s Resource Figure 159 Delete Artefact Resource II 7 5 Artefact Property Value Firstly it s necessary to load the CDO resource property model property So press the editing window and select Load Resource in the contex
73. 7 m 4 4 Session3 opencoss 54 Resource Set 4 E View1 MAIN 4 15026262 refframework 15026262 refframework diagram CLEAN 4 e B Fosse amp 15026262 refframework CLEAN 7 Ref Activity 1 Vocabulary 4 C Ref Activity 2 Management of functional safety C Ref Activity 2 5 Overall safety mangement C Ref Activity 2 6 Safety management during the concept phase and the product development C Ref Activity 2 7 Safety management after the item s release for production C Ref Activity 3 Concept phase 7 Ref Activity 4 Product development at the system level 7 Ref Activity 5 Product development at the hardware level 7 Ref Activity 6 Product development at the software level 7 Ref Activity 7 Production and operation o gren Vo Ref Activity 8 Supporting processes ity pporting p o Outline 23 o T 7 Ref Activity 9 ASIL oriented and safety oriented analyses i 15026262 refframework 7 Ref Activity 10 Guideline on ISO 26262 Selection Parent List Tree Table Tree with Columns VE I Error Log Ed Properties 23 M Hn O Ref Activity 2 Management of functional safety Base v Properties E ActivityRequirement Id 2 E ActivityApplicabili uy ay Name 2 Management of functional safety ActivityEquivalenceMap Description This part of ISO 26262 specifies the requirements for functional safety management for automotive applications including the following project independent requirements with regard to
74. 72 OPEN O SS OPENCOSS Platform Tools User Manual TABLE OF CONTENTS Executive NINE 12 OPENCOSS platform basic concepts sessssesessesessesesosossseoesssoecssoecsssoesssoesssoessssesesseossssossssoseee 13 2 1 NTN o o aL geese cetinsecauanapueacinoesadnacasgechoosancenevaiaescothuaetesvencceedneecoan 13 2 2 Naming conventions in OPENCOSS client rrrrnrnnrrrnnnnnrrnnnnnrrnnnnnnrrnnnnnernnnnnernnnnnnsrnnnnnernnnnneeene 13 Installation of OPENCOSS server and clients eee eee ee esee eee eee eene nnne nennen tenente 15 3 1 Installation of OPENCOSS platform SerVvel ccccccsssccceessececceseceeeesecceseusecessesecesseeceeseeneeetes 15 3 1 1 Installation of PostgreSQL database rrrnnrannrnnnnnrrnnnnnnrrnnnnnnrnnrnnnernnnnnernnnnnesrnnnnnsenennne 15 3 1 1 1 Installation of PostgreSQL database on Windows machine 15 3 1 2 Creating OPENCOSS database in PostreSQL rrrnnnrrnnnnnrrnnnnnnrnnnnnnnrnnnnnernnnnnsrnnnnnvssennn 17 3 1 3 Installation of OPENCOSS server distribution ccccccesseccceeseceeeeeeeeeeeeseceseeeeceeeeees 18 3 2 Installation of OPENCOSS platform client rrrronnrrnnnnnrrnnnnnrrnnnnnnrrnnnnnernnnnnernnnnnnnrnnnnnennnnnneeene 20 or NENNE 20 S22 CHEE COT SUA O i Rm m a et eee 21 3 2 3 Deleting Repository CONTENKS ccceeccccssseccceseccccesccceseseceseueceeeeneeeeseeecessuneceesenes 24 Prescriptive Knowledge Management cscc
75. A rg Diagram to Repository dr rg Model to File ie rg Model to Repository dx dssuranceasset Model Fn File Show All Wizards Cancel New Arg Diagram Create Arg Diagram Enter or select the parent folder PT zl fis Sessiont 0pencoss 9 view 1 MAIN Resource name argumentation arg diagram Page 73 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Figure 81 Database based Argumentation Diagram wizard II 6 2 2 Creating a Diagram at the project creation time When we create a new assurance project See section 5 1 Create an assurance project and a Baseline a new argumentation is created This argumentation is created applying a transformation to the baseline The rules that apply to the transformation are the following e Every reference activity is transform into a claim The id name and description of the reference activity become also the id name and description of the claim e Every reference requirement is transform into a claim The id name and description of the reference requirement become also the id name and description of the claim e Every reference artefact is transform into an information element with the property type marked as solution The id name and description of the reference artefact become also the id name and description of the information element e When a reference activity has sub activities then an asserted inference relationship is created the source is the cla
76. ArtefactComplianceMap Delete Figure 58 Artefact Compliance Map Finally enter the information requested Page 59 of 172 OPENCOSS Platform Tools User Manual S BaselineComplianceMap BaselineComplianceMap Editing of the properties of an object BaselineComplianceMap Properties Id Name Map Group i Type Justification Figure 59 Compliance Map Remember that the map group has to be part of the active Baseline Config of the project 5 4 2 Compliance Map using a tailored functionality To create Compliance Maps using the tailored functionality first of all it is necessary to press the button Mapping Set on the properties form of the baseline using the tree view editor not available using the diagram editor This window automatically saves the mappings when checking or unchecking elements of the target baseline tree Page 60 of 172 OPEN O SS OPENCOSS Platform Tools User Manual tailoredRefFramework baseline 5 I3 Resource Set 4 tailoredRefFramework baseline Base Framework tailored base line 7 Base Activity 1 Vocabulary gt 7 Base Activity 2 Management of functional safety 7 Base Activity 3 Concept phase 7 Base Activity 4 Product development at the system level 7 Base Activity 5 Product development at the hardware level 7 Base Activity 6 Product development at the software level 7 Base Activity 7 Production and operation 7 Base Activity 8 Supportin
77. CEDE ok bER RUNE Uu Se EIFE Ce bha to aia en 145 Figure 205 New Mapping Model lll nennen nennen nennt nennen 145 Figure 206 Mapping Modlel esses nennen nennen ener snn an essa antennae essen eene 146 Figure 207 Add New Map Group I iaicsseststedassatexusna ubutixd rais sacoa n Bd suaisccticnsaiantnestuianwsaebidanntbedennenbaddeleatetaiensvs 146 Figure 208 Add New Map Group ll ccscsssccsscsserscctcaussrscatcassarseateaussrseateascauseuteausarsenteaucarsesteassarsenseaues 147 Page 9 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Figure 209 Map Group properties ijccniccinacdantsoicnatcsqacdanti geen siaiancdqutdeaanqeaeaaetquke GU eS URSI E QD ERE E PLN UL ELV bro UVP Reds 147 Figure 2 10 Delete Mp Group B EEE EEE EE EE 148 Figure 211 Delete Map Group vvs G 148 EINEN 149 Figure 213 NNN 149 EE p opere REE isan 150 Fe TEEN 150 PIU 2 1G NNN 151 Figure 217 Web interface layout scescesscraccdesdetnsenscnnsasunnieearaiannsaiandedonencesesaieuriateeusuiddedetnnnesutenadeedeatateecenneess 152 Figure 218 Menu item directing to Compliance report eessssseeseeseseeee nennen nennen 153 Figure 219 Baseline Frameworks combo box for the specific project rrrrrrrrrnrrrrrrnnrrrrrnnnrrrnnnnrrrnrnnssrrnnen 154 Figure 220 4 panels OF Compliance report svar Ei ture i S 154 Figure 221 Description of the selected baseline element presented at the bottom panel
78. CLEAN kailored refframemwaork CLEAN ox cere Figure 7 Repository Explorer View If the provided connection settings with the repository are incorrect or the server is not running this view will display the error in the screenshot below instead of the contents of the repository To solve it check the server is running and the configuration settings are correct close the view and open it again Page 23 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Fi Project Explorer ga Repository Explorer z3 mE e 3lug in org eclipse emf cdo dawn ui was unable to instantiate class Ea org eclipse emF cdo dawn ui views Da Details gt gt dl wnExplorer Figure 8 Repository Explorer content with configuration error After that if the server is not installed in the same machine copy opencoss properties xml from server to your local drive The destination path depending on the operating system should be e Windows XP c Documents and Settings lt username gt opencoss properties xml e Windows 7 8 c Users lt username gt opencoss properties xml e Linux home lt username gt opencoss properties xml 3 2 3 Deleting Repository contents To delete a folder and its contents right click over it and left click the DELETE Folder menu 1 Project Explorer Ja Repository Explorer zz ju erm Gs Sessian amp 0pencoss EE view 1 MAIN E L Projecti CLEAN LS ARGUMENTATION CLEAN Em ASSURANCE PROJECT
79. CR23 1 property 53 t Resource Set 4 amp TACR23 1 property 4 Model e P t O ss lit Feature Selection Parent List E Properties 52 C Property Base v Propertie i Unit Figure 199 Add enum values e Unit unit value 9 1 2 Delete a property To delete a property e Select the property press the right mouse button and select the contextual menu Delete i TACR23 1 property 23 t3 Resource Set 4 amp TACR23 1 property 4 9 Model Qf Property Originality New Sibling b lt 2 Undo Do Command Ctrl Z Redo Ctrl Y of Cut Copy Paste Delete Selection Parent List Tree Validate E Properties 23 Sma are Property Lee d Locking b Base v Properties Conflict gt Id 1 Load Resource Name Origi Refresh Datatype Enun Show Properties View unknonw original derivative Figure 200 Delete Property I e Or select the branch Model that contains the property to delete select the property and press the icon button Page 142 of 172 OPEN OSS TACR23 1 property 35 Far Resource Set Selection Parent List Tree Table Tree with Columns E Properties 52 Model Base v Properties Id Name Description OPENCOSS Platform Tools User Manual 2 2 es HasProperty C Property Originality Figure 201 Delete Property II Page 143 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 10 Mapping Management Th
80. Culture gt Ref Requirement 1 1 4 2 Competence management gt E Ref Reauirement 1 1 4 3 Quality management during the concept phase Selection Parent List Tree Table Tree with Columns vi Tasks Error Log E Properties 53 va C Ref Activity 1 1 Overall safety mangement Base v Properties ActivityRequirement Map Map Group Activities ActivityEquivalenceMap 1 MapGroupAct 2 5 Overall safety mangement Figure 27 Activity Equivalence Map Page 36 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Finally enter the information requested S RefEquivalenceMap RefEquivalenceMap Editing of the properties of an object RefEquivalenceMap Properties Id Name Map Group Y Type full E Justification Figure 28 Equivalence Map If the user adds as target of the equivalence an element of the source refframework this target element will be considered as postCondition The postConditions are mandatory extra activities not included in the standard that must be performed in case of reusing the target element from one assurance project based in the target refframework in another assurance project based in the source refframework using the Cross Domain functionality that will be explained in the section put section reference 4 3 2 Equivalence Map using a tailored functionality To create Equivalence Maps using the tailored functionality first of all it s necessary to press the
81. DII EEE Tsin 112 Figure 144 Arner icr DESCHID O ieren E 113 Fig re 145 Description Artefact Versi Misssissinennsan Seen 114 Figure 146 Description Artefact Property Value cccccccsssccccessececeesececeeecceseuseceesenecesseneceesauaecessugecetseges 114 Figure 147 Description Artefact Evaluation ccccccccsseccccsssccccesececeesececeeescceceeseceeeeneceseeeeceesausecessugeceesenes 115 Figure 148 Description Artefact EVENTS Lasse 115 SE PE FCT ACU EEE EN 115 Fe RENNENE 116 Feure 151 Add Artefact Resource lessenserie see tenoscaasneesseessesndecnonn 116 Figure 152 Resource properties EEE 117 Fig re 153 Add Artefact OSEN 117 Figure 154 Resource dialog box rrrrrnnrrrnrnnnrrnrnnnrrnnnnnernnrnnnernrnnnsennnnnnernnrnnnsvnnnnnennnnnnesennnnesnnnnnnssnnnnnesennnnsseennne 118 Figure 155 Select Artefact from the local drive ccccccccsssccccesseccceenececceescceeeuseceeeunececeeeeceeseusecesseneceesenes 118 Figure 156 Select Artefact from the SVN Remote REpOSItOry cccccccsssecccessececeesecceeeeecceeeeecesseneceesenes 119 Figure 157 SVN History GET 119 Page 8 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Figure 158 Delete Artefact Resource Lunar eee eee 119 Figure 159 Delete Artefact Resource uenige 120 Figure 160 Load Resource Property MOEl ccccccssseccccssccccescccceeseccceeecceceuseceseuaeceseeeeceeseusecessuneceesegas 121 Figure 1161 EMNE 121 Figure 162 Add Art
82. Details Expand to Justification Expand to Asset Expand to Evaluation TN died Selected baseline Asset Safety Plan Lee eem Baseline Framework DO178X Refframework does pe Number of Fully Compliant Artefacts 1 Number of Partially Compliant Artefacts 1 Mgmt of functional safety 3 0 Functional Safety requirements 4 0 Details 1 Fully Compliance Justification 1 This evidence has been fully justified Functional Safety specification 0 2 El 1 1 Artefact Safety Plan for software ED 1 1 1 Evaluation 1 Consistency check Functinal Safety assurance 2 4 LI Criterion Check the consistency 2 Criterion description Consistency shold be checked thoroughly Concept Phase 5 0 Evaluation Result Success Evaluation Rationale Done according to the state of the art 2 Partially Compliance Justification 2 This piece of evidence has been partially justified B Project Plan 0 0 I B 2 1 Artefact Safety Plan for Hardware G3 ED 2 1 1 Evaluation 1 Check the design quality B Verification Report 0 0 Id Eval2 Criterion Follow the design standards Figure 236 Gap Analysis report 11 5 1 Gap Analysis report core functionality Gap Analysis report presents summary and details regarding specific assurance project base artefacts and base activities and their compliance mapping to the actual evidence and activities For the selected assurance project its baseline frameworks are presented in a select box OPE SS Proj
83. Domain functionality that will be explained in the section 5 5 Cross Domain reuse If the user double clicks any element of this list the source refframework could be modified to create new element to be used as postconditions the save button must be pressed to save the changes Page 40 of 172 OPENCOSS Platform Tools User Manual Equivalence Map From Filtering To z e Ref Framework RefFramework A EquivMapRefAvsRef1 mapping IRefFrameworks Ref1 refframework Ref Requirement ReqA Ref Requirement ReqB z OG Ref Framework RefFramework 1 L Ref Requirement Reql Map Group DE Ref Requirement Req2 MG Requirements v Filter Map Element Requirement Equivalence Map PostConditions Justification oe Ref Framework RefFramework A CID Ref Activity ActA FID Ref Activity ActB moO Ref Activity Extra Activity caused by reusing Equivalence Map with postCondition 497 Ref Artefact artfa 1 amp 7 Ref Artefact ArtfB DE Ref Requirement Req DE Ref Requirement ReqB 1 amp Ref Role Rolea Steps Select the mapping model the map group and the target framework model Finally select the object from the source Framework model and the equivalence map Figure 32 Equivalence Map with Postcondition For making an equivalence map this window saves automatically the mapping information follow the next steps Select a mapping model and a map group or create it if needed Select the target reference frame
84. E Mapping Model F New Assurance Project D Process Model Property Model to File ii Property Model to Repository amp Refframework Diagram Refframework Model Show All Wizards lt Back Finish Figure 192 New Property Model Page 138 of 172 OPEN O SS OPENCOSS Platform Tools User Manual e Enter o select the parent folder the resource name and press the Next button Create a Dawn Resource Enter or select the parent folder TACR23 EVIDENCE 4 OB Sessioni opencoss 4 s Transaction 2 MAIN 4 amp TACR23 CLEAN gt amp ASSURANCE PROJECT CLEAN i EVIDENCE CLEAN gt amp ARGUMENTATION CLEAN c PROCESSES CLEAN amp RET56 CLEAN Resource name TACR23 1 property Figure 193 New Property Model II e And finally select the Model object to create Property Model Select a model object to create Model Object e v ret UTF 8 Figure 194 New Property Model III Once the Property Model has been created the first item is presented to the user Page 139 of 172 OPEN O SS OPENCOSS Platform Tools User Manual RUNTIME ECLIPSEAPPLICA ON Resource cdo opencoss TACR23 EVIDENCE TACR23 1 property Poe x a File Edit Navigate Search Project Property Editor Net4j Examples Run Window Help IL UP Um QuickAccess e JE Resource gt Plug in Development A Repository Explorer 3
85. I Table 2 Argumentation graphical notation In case of the links just select the link from the palette then on the editing window click on the source of the link and then release the click on the target of the link Page 77 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Popup menu opens when the mouse cursor is placed in the graphic object editing area and is kept still for a moment A node can be created by selecting the corresponding icon in the menu On the other hand Properties View manages the properties of the current element under edition EI Console Properties 53 Error Log Problems Profiling ko ee O Claim Base v Properties Appearance Id swContributionAcc Name i Description The contribution made by software Y to system Z hazards is acceptable Content Evaluation 4 LiFecycleE vent 4 Public true Assumed false To Be Supported false To Be Instantiated false Figure 85 Claim properties Claims These elements have the graphical notation as Goals on GSN The identifier property indicates uniquely the claim on the argumentation Do not use the same identification on different elements on the same argumentation Assumed property references the assumption concept and has the same graphical notation assumptions in GSN It indicates an assumption in relation of a claim To be supported property indicates that the claim will be further
86. Navigate Search Project Assuranceproject Editor Run Window Help ps a Nee oe e amp Repository Explorer 23 ae 4 Session3 opencoss 4 View1 MAIN 4 amp Projectl CLEAN amp ARGUMENTATION CLEAN amp ASSURANCE PROJECT CLEAN EVIDENCE CLEAN gt PROCESSES CLEAN 4 amp Project2 CLEAN 4 ARGUMENTATION AN d Baselinel arg CLEAN Baseline2 arg diagram CLEAN Baseline2 arg CLEAN 4 amp ASSURANCE PROJECT CLEAN Baselinel baseline CLEAN Baseline2 baseline diagram CLEAN Baseline2 baseline CLEAN amp Project2 assuranceproject CLEAN E Project2 mapping CLEAN 4 gt EVIDENCE CLEAN dg Evidence 1 evidence CLEAN i ProjectlEvidences evidence CLEAN ProjectlEvidences2 evidence CLEAN 4 amp PROCESSES CLEAN Processl process CLEAN F SHTEWOTKS EAT amp Vacio CLEAN B84 CDO Sessions 52 ap 4 f Session3 opencoss Transaction 2 MAIN a Transaction 7 MAIN R Transaction 9 MAIN C view1 MAIN E View 10 MAIN View 8 MAIN zd a veo o amp Project2 assuranceproject 23 tS Resource Set 4 Project2 assuranceproject 4 Du Assurance Project Project2 9 Assets Package Project2AssetsPackage EI Assets Package AP 1 gt Permission Config Project2PermissionConfig v Baseline Config Baseline2BaselineConfig Baseline Config AP 1 Selection Parent List Tree Table Tree with Columns EI Proper
87. OSS Platform Tools User Manual 10 11 Mapping MENN 144 VL NNN NE 146 1011 FINNE 146 10 1 2 Delete NON e caesi oie teuer ern ne ee en a ner ee one 147 P MEE m c HS 148 VE NN 148 10 2 2 DERN 150 PEN SEN 152 11 1 OPENCOSS Web interface layout ais ie ret iir abr spxeR Cet Du eere vc bea Qui bna pv dst Bus avo gvs ea prb poses 152 NSM m 153 TEZI dxoshkorthe repor EE iiti be iM anteire rr 153 11 2 2 Viewing compliance data on the report eeeesseeeeeeenn enn 153 11 2 3 Adding evidence and compliance data rrrnrnnnrrnnnnnrrnnnnnrrrnnnnnrnnnnnnrrnnnnnernnnnnssrnnnnene 156 11 2 4 Generation of summary textual report rrrrnnrrrnrnnnrrnnnnnrrrnrnnerrnrnnnrrnnnnnernnnnnsernnnnene 158 11 3 Compliance Estimatiorr TeDOFL iussisse cese sess Pesto oudis eros Dati een 159 TLA dXChBangsdmpadstAHsl SiS EE EE 161 11 4 1 Change Impact Analysis in OPENCOSS Client rrnrrrnnnanrrnnnnnrrrnnnnnrrnnnnnernnnnnsvrnnnneee 162 11 4 2 Change Impact Analysis algorithm cccccccccccsssccccessececeesececeeeceeeeeeceesaeecesseneess 162 11 4 3 Impact Analysis result presentation on OPENCOSS server reports 163 11 5 Gap Analysis report Compliance Assessment and Evidence Evaluation 164 11 5 1 Gap Analysis report core functionality rrrrrrrnrnnrrrnnnnnrrrnnnnrrrnrnnnrrnnnnnernnnnnsernnnneee 165 11 5 2 Viewing Evidence Evaluation in Gap Analysis repOrt
88. One way select the assurance assets event in the tree press the right mouse button and select the contextual menu Delete Page 129 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 3 TACR23 evidence 25 Resource Set 4 l TACR23 evidence 4 E Artefact Model 4 D Artefact Definition ArtDefinitionRules 4 Artefact Rules Value 4 amp Artefact Rules Assurance Asset Evaluation Assets Assurance Asset Event Event Assurance Asset Fvent Value Originality New Sibling gt Value Consisten 8 9 lt 2 Undo New Assurance Asset Event Ctrl Z Redo Ctrl of Cut amp amp j Copy Paste Selection Parent List Tree Table Tree w E Properties 23 XX Delete Pronerties are nnt availahle Figure 178 Delete Artefact Assurance Asset Event 2 Another way select the parent artefact of the assurance asset event to remove in the tree select the Artefact Event tab select assurance asset event and select the button Delete fale TACR23 evidence 23 iS Resource Set 4 l TACR23 evidence 4 E Artefact Model L Astefact Definitien EE Aesurahte Asset Evaluation Evalution Assurance Asset Event Creation Value g Artefact Rules amp Artefact ArtDefinitionRules Selection Parent List Tree Table Tree with Columns Ej Properties 3 Vo amp Artefact Rules Base v Properties ArtefactVersion ArtefactPropertyValue Figure 179 Delete Artefact Assurance Asset
89. P of the running CDO Server e Server Port The port used by the running CDO Server e Repository name The name of the repository where all the date will be stored read only e Protocol The protocol used to connect to the CDO Server After introducing this data the Repository Explorer View can be used inside the Opencoss category The objective of this view is showing the contents of the repository configured To open it go to menu Window Show View gt Other Page 22 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Window Help Mew Window Hide Taalbar Open Perspective d Showy View k Ant Customize Perspective ll Bookmarks Save Perspective 25 amp Error Log Alk ShiFE C L Reset Perspective ts Outline Alt ShiFt Q Close Perspective E Problems Alt 5hift 63 x Close All Perspectives ji Progress Navigation FL Project Explorer Preferences Ei Properties E Task List AlE Shift Q K JE Tasks Other Alt 5hift 0 Q Figure 6 Show view menu Show View Fr Project Explorer a Repository Explorer zs E LS Maven EH 1 Mylyn EH Net4j H Net4j Buddies Metti Debug Opencoss p Repository Explorer Templates view H Parse Tools H Plug in Development r a Manaka Gi u kmrnm zi iis Session opencoss QE view 1 MAIN EH RETS6 CLEAN EH TACR23 CLEAN D alc property CLEAN HE RefFramewark mapping CLEAN Failored reffFramewark diagram
90. PostgreSQL database on Windows machine 1 Download PostgreSQL installer a Goto the download section for Windows http www postgresgl org download windows b Click on download installer from EnterpriseDB c Choosethe latest version and download it 2 Double click the installer file and follow the installation wizard 3 Most important steps during the installation process are among others a Definition of a password for the database super user his login is postgres b Definition of a port for PostgreSQL the default 5432 is recommended c Ifthe installation wizard asks you to launch Stack Builder to install additional tools you may skip this step no additional tools are needed d The installation may take a few minutes to complete 4 Verify the database installation a The quick way to verify the installation is to use pgAdmin application which has been installed together with PostgreSQL server Please run pgAdmin III The following GUI is displayed Page 15 of 172 b OPENCOSS Platform Tools User Manual File Edit Plugins View Tools Help E Object bro waer Properties Statistics Dependencies Dependents mpoerver Groups Properties No properties are available for the current selection Retrieving details on servers Done Figure 1 pgAdmin application In the left panel double click on PostgreSQL 9 3 tree node The application will ask to enter a database super user password Please enter th
91. Resource edo ss tailored refframev eclipse Platform File Edit Navigate Seach m Editor Mett Examples Run Window Help 7 Ea aa ee col an ecce ee f Repository Explorer 23 z E na amp tailored refframework 23 a H Sessionl opencoss H Resource Set E ls Len 4 tailored refframework p i RETS6 CLEAN b Pi Ref Framework Tailored Framework t G2 TACR23 CLEAN ba 15026262 refframework diagram CLEAN a BE Undo Ctrl Z 18026262 refframework CLEAN Redo Ctrl Y HE RefFramework mapping CLEAN 2 tailored refframework diagram CLEAN F Cut tailored refframework CLEAN Copy Paste Delete Validate Control Wizards Rename Remove Export Locking Conflict Load p Refresh Show Properties View Figure 24 Load Resource Then select the refframework model and mapping model using the Browse Repository button to obtain the URI of any model stored in the repository Page 34 of 172 OPENCOSS Platform Tools User Manual IRR refframevwork 5 Enter or select the parent folder 62 IRR refframework i E Gs Session opencoss RS view 1 MAIN HL 1 CLEAN E 2 CLEAN gt AvionicsRELISING CLEAN gt EMC2 CLEAN X mcp CLEAN S PruebaAvionic CLEAN H pruebaRailway CLEAN TT TK RK 13 Rail ngel CLEAN Load Resource DX 6 F r default evidence CLEAN l i 48 default2G refframework diagram CLEAN Resource URIs i
92. Ta Assuranceasset Model to Repository z amp Assuranceproject Model a Baseline Diagrarn o Baseline Model sia Creates or Updates Baseline Fair Evidence Model to File Fair Evidence Model to Repository AVE Mapping Model 3 New Assurance Project aft Process Model D Property Model to File M3 Pronerke Model ka Renngsikars Show All Wizards Figure 78 File based Argumentation Diagram wizard I New Arg Diagram Create Arg Diagram Select file that will contain diagram model Enter or select the parent Folder ArgumentationPrajects IS ArgumentationProjects l Modules HL Patterns RemoteSystensTempFiles File name argumentation arg diagram Page 72 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Figure 79 File based Argumentation Diagram wizard II In Database Format To create a new database based argumentation diagram follow the procedure below and generate a new diagram in the project folder Select New gt Select Arg Diagram to Select the folder to Enter the name of the diagram Other from the Repository in the store the new _ to be created and click the File menu of eclipse Opencoss category and click diagram Finish button Select a wizard Graphic editor for 4rg models to Repository Wizards type fiter text Td HL Java H Java EE HL Java Emitter Templates H JavaScript EH JAXB Go JPA H S Maven El Opencass A Arg Diagram Eo File J
93. This is the location from where OPENCOSS server reads opencoss properties xml settings file The location depending on the operating system would be e Windows XP c Documents and Settings lt username gt opencoss properties xml e Windows 7 8 c Users lt username gt opencoss properties xml e Linux home username opencoss properties xml Edit opencoss properties xml settings file The most important entries in this file are e dbUser dbPassword These are PostgreSQL user credentials Please specify a valid user and password for your PostgreSQL server e serverAddress This is CDO repository name which is broadcasted by the CDO server The localhost value should be replaced with the specific server machine host name in order OPENCOSS tool clients are able to connect to this server repository from other hosts Please modify the following entry entry keyz serverAddress localhost 2036 entry by replacing localhost with the specific server host name e g entry key serverAddress gt host name acme com 2036 lt entry gt 5 Start OPENCOSS server by going to OPENCOSS DIR bin folder and running startup bat Windows or startup sh Linux 6 Verify OPENCOSS platform web application OPENCOSS server web pages are served at 8080 port Please run your web browser and go to the following location http lt OPENCOSS SERVER HOST NAME gt 8080 Page 19 of 172 OPEN O SS OPENCOSS Platform Tools User Manual
94. actRel entity is added automatically when a parent child relation is established between two artefacts When adding artefactPart to parentArtefact a new ArtefactRel object is created with modificationEffect MODIFY and revocationEffect MODIFY source pointing to parentArtefact and target to artefactPart It has been arranged that a direction of analysis flow is the following ArtefactRel target affects the source When impact analysis is started O It starts from artefactCDOld for the specific EventKind either Modify or Revoke O It looks into the related ArtefactRel for which the artefactCDOld is a target object O It traverses to the artefact pointed by ArtefactRel source O Depending on the initial EventKind either Modify or Revoke it takes the value of modificationEffect or revocationEffect from the ArtefactRel and assumes the appropriate AssuranceAssetEvent on the reached source artefact For example let s assume that there are the following Artefact and ArtefactRel dependencies ArtefactA ArtefactRelA ModificationEffect MODIFY RevocationEffect REVOKE ArtefactB ArtefactB ArtefactRelB ModificationEffect REVOKE RevocationEffect REVOKE ArtefactC ArtefactC ArtefactRelC ModificationEffect MODIFY RevocationEffect VALIDATE ArtefactD Page 162 of 172 OPEN O SS OPENCOSS Platform Tools User Manual ArtefactD ArtefactRelD ModificationEffect MODIFY RevocationEffect REVOKE gt ArtefactE
95. agement system amp Base Artefact 2 5 5 1 Rules and Processes Map Group amp Base Artefact 2 5 5 2 Evidence of competence E gt S New Group ES Base Artefact 2 5 5 3 Evidence of quality management amp Base Artefact 2 6 3 1 Project Plan Filter Map Element 4S Base Artefact 2 6 6 2 Dependencies on other activities Artefact amp Base Artefact 2 6 5 1 Safety plan ES Base Artefact 2 6 5 2 Project plan Compliance Map ES Base Artefact 2 6 5 3 case m New Map KS Base Artefact 2 6 5 4 Functional safety assessment plan ES Base Artefact 2 6 5 5 Confirmation measure reports ID KS Base Artefact 2 7 5 1 Evidence of field monitoring Name Type full Justification Figure 62 Compliance Map select map element Remember that these models have to be part of the active Assets Package of the project o Filter Compliance Map This filter allows making different compliance maps for the same element e The right zone shows the list of models depend on the map filter stored in our database We should select one of them This selected model will be the target of the compliance map to create For making a compliance map follow the next steps 1 Select a mapping model and a map group And for last check or uncheck the element from the target model 2 Select the target reference framework 3 Select the filter map element 4 Select the element from the source reference framework 5 Select o create
96. alue it true then the node will change its graphics SwSystem Safe spiega Y is Ft safe At creation time the Choice link must be placed inside its source node Page 83 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 2 Problems Javadoc B Declaration I Properties 53 ma SN Claim Base v Properties Appemance identifier SwSystem Safe Description software Y is acceptably safe to operate within system Z Content m Assumed false To Be Supported false To Be Instantiated true Public true Owned Figure 92 Claim properties To Be Instantiated The AssertedInference has a property called multiextension with three different values e Normal is behaves as a regular connection It has the supported by graphical notation e Optional it indicates that this connection is optional or alternative connections between the nodes e Multi it indicates the generalised n ary relationships between the nodes When this option is selected the attribute cardinality should also be modify indicating the n value Problems Javadoc Declaration J Properties 33 gt hr Ei AssertedInference Base v Properties Appearance Identifier Description E Content Cardinality Multiedensio LL Normal Source Optional Claim SuSE am Figure 93 Claim properties Multiextension The choice relationship is specific for patterns edition For editing select the Choic
97. amework items gets created in OPENCOSS storage Additionally there are Modify and Unassign buttons which allow user to update or revoke the evidence file and compliance mapping created above Add a compliance evidence to this project baseline element Please drag and drop a file to this area or press Upload Note Pressing Assign button will commit your file to SVN and assign it as a compliance evidence Details Expand to Justification Expand to Asset Expand to Resource Artefact C fakepath Repon Center Unassign this Justification Artefact and Resource from Baseline Element Resource Report Center pdf Download Figure 226 Unassign button allowing to disassociate evidence from the given baseline item Page 157 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 11 2 4 Generation of summary textual report The interactive mode presented in the preceding chapters is very comfortable for users to browse and filter data and view their details Upon each user selection appropriate details are presented However there is often a need to generate an overall report containing all the information visualized in one place This can be easily done using Export to MS Word button Upon pressing it a default an docx template report gets filled with the all the Compliance report data presented for the specific safety project Note for OPENCOSS administrators The template docx used for textual report ge
98. an be created and special edition functionalities are available as follows 1 Thanks to the Outline view it is possible to drag and drop concepts from the model to the Once a concept has been selected it can be hidden through the Delete from diagram option available in the contextual menu This option does not delete the concept from the model Once a concept has been selected it can be deleted through the Delete from model option available in the contextual menu This option delete the concept from the model permanently If this deleted concept is visible in another diagram files this concepts will be shown with a cross icon in the upper right corner to show that it does not exist anymore Figure 18 Deleted concept shown in a diagram Page 30 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Once a model is available a new diagram view can be created following the procedure below Select New gt Select Refframework Select the folder to store the new Type the name of the Other from the Diagram in the Opencoss diagram Then type the name of model created File menu of category and click the the diagram to be created and click previously and click the eclipse Next button the Next button Finish button Select a wizard Graphic editor for Refframework models to Repository Wizards type filter text zia Creates or Updates Baseline E Evidence Model to File far Evidence M
99. and Ctrl Z B Dutefact Selection Parent List Tree Table Tree v Redo Ctrl Y of Cut E Properties 52 kd E Copy Artefact Definition ArtDefini paste Base v Pro XX Delete Artef actDefinitionArtefact Pa Validate ArtefactDefinitionEvaluation 4 o_o ArtefactDefinitionEvents Wizards gt Locking Conflict gt _ Load Resource Refresh Show Properties View Figure 142 Add New Artefact I e Or select the artefact definition select the Artefact Definition Artefact tab Properties and press the button Add idence Editor Net4j Examples Run Window Help m m Am Y 7 Quick Access ES a Resourc dic g i TACR23 evidence 23 tailoredRefFramework baseline m Er Resource Set 4 amp TACR23 evidence 3 Artefact Definition ArtDefinitionRules N LEAN ject CLEAI EAN baseline Selection Parent List Tree Table Tree with Columns baseline P 0 HI ET Properties 23 am CLEA 5 Artefact Definition ArtDefinitionRules AN AN pacs v Properties ide ArtefactDefinitionArtefact TEE Name Version ID Date Last Version ArtefactDefinitionEvents File IN Name Descrintinn Figure 143 Add New Artefact II When user modifies one Artefact the system automatically adds to it an AssuranceAssetEvent of type Modification In the properties zone the framework presents several fields to describe the new Artefact divided in tabs Page 112 of 17
100. and or processes and in this way we are sure all the related information is copied avoiding inconsistencies To access this functionality open the target assurance project model and press the button Cross Project on the properties form of the Assurance Project element of the model amp Repository Explorer 23 Fie SB amp Project2 assuranceproject 25 4 jo Session opencoss Resource Set 4 K View1 MAIN 4 amp amp Project2 assuranceproject 4i Projecti CLEAN Don Assurance Project Project2 gt ARGUMENTATION CLEAN L amp ASSURANCE PROJECT CLEAN 4 EVIDENCE CLEAN le Projectl Evidences evidence CLEAN 4 amp PROCESSES CLEAN 6 Processl process CLEAN 4 Project2 CLEAN 4 i ARGUMENTATION CLEAN e Baseline2 arg diagram CLEAN P Baseline2 arg CLEAN 4 amp ASSURANCE PROJECT CLEAN Baseline2 baseline_diagram CLEAN Baseline2 baseline CLEAN amp Project2 assuranceproject CLEAN EF Project2 mapping CLEAN amp EVIDENCE CLEAN amp PROCESSES CLEAN RefFrameworks CLEAN Vacio CLEAN Selection Parent List Tree Table Tree with Columns C3 Properties 2 fj CDO Watch List f CDO Remote Sessions CDO Sessions 5 F E 68 Assurance Project Project2 gt ARGUMENTATION CLEAN l l Base Reuse data from other assurance project amp Baselinel arg_diagram CLEAN a Baselinel arg CLEAN ProjectBaselines Cross Domain amp ASSURANCE PROJECT CLEAN PermissionCon
101. as a Fast User Manual Further questions must be directed to the TECNALIA team Page 12 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 2 OPENCOSS platform basic concepts 2 1 Client Server architecture OPENCOSS platform tools are designed to follow client server architecture approach OPENCOSS platform deployment model consists of e OPENCOSS server installed in a central host machine Note Functionality facilitated by OPENCOSS server has been described in OPENCOSS server chapter e One or many OPENCOSS clients each of which installed on specific user machines Note Functionality facilitated by OPENCOSS clients has been described in several chapters from Prescriptive Knowledge Management to Mapping Management 2 2 Naming conventions in OPENCOSS client In this document the naming convention follows the following concepts e Environment supports a large part of the software tool process OPENCOSS tool platform is the main environment in this document e Workbenches support only one or a few activities Example Evidence Management workbench e Tool support only specific tasks in the software tool process Example Evidence Analysis The OPENCOSS tool platform has the following Workbenches Workbench Ciescription 0 0 00 0 Prescriptive Knowledge Functionality related to the management edition search transfer etc of Management standards information as well as any other
102. assets evaluation in two ways 1 One way select the assurance assets evaluation in the tree press the right mouse button and select the contextual menu Delete Page 126 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Far TACR23 evidence 23 tS Resource Set 4 amp amp TACR23 evidence 4 Artefact Model 4 D Artefact Definition ArtDefinitionRules 4 4S Artefact Rules Value 4 Artefact Rules o Assurance Asset Fvaluation Assurance Asse New Sibling Value Originality s PEN Undo New Assurance Asset Event Ctrl Z Redo Ctrl Y of Cut Selection Parent List Tree Table Tree Copy Paste Ed Properties 75 XX Delete Figure 172 Delete Artefact Assurance Asset Evaluation I 2 Another way select the parent artefact of the assurance asset evaluation to remove in the tree select the Artefact Evaluation tab select assurance asset evaluation and select the button Delete p TACR23 evidence 5 gt H s Resource Set 4 amp TACR23 evidence 4 Artefact Model 4 3 Artefact Definition ArtDefinitionRules 4 4S Artefact Rules lt 4 Assurance Asset Evaluation Assets z Assurance Asset Event Value Originality Value Consistency Selection Parent List Tree Table Tree with Columns EI Properties 2 ErrorLog Problems ma ee a amp Artefact Rules Base v Properties ArtefactVersion Name Criterion Evaluation Result mrefacttvauation Jes ae Figure 173
103. ated to functional safety standards This module should be integrated with process related tools managed by companies ALM PLMSs process workflows etc Management Table 1 Workbenches OPENCOSS tool platform Page 14 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 3 Installation of OPENCOSS server and clients As it has already been introduced OPENCOSS platform tools are designed in client server architecture approach The following chapters present how to install server on a central machine and clients on user machines respectively 3 1 Installation of OPENCOSS platform server OPENCOSS platform server should be installed on a corporate central server host which is accessible from company user machines The OPENCOSS server infrastructure consists of the following main components e PostgreSQL database which stores OPENCOSS data e Apache Tomcat web server which provides OPENCOSS server services e OPENCOSS web applications deployed on the web server Follow the steps below in order to install the OPENCOSS server infrastructure on a central host 3 1 1 Installation of PostgreSQL database OPENCOSS platform tools use PostgreSQL database Download it from PostgreSQL official website http www postgresql org download Follow the PostgreSQL installation instructions to install and setup it For user convenience PostgreSQL installation on Windows has been described in the chapter below 3 1 1 1 Installation of
104. base activity selected in the left panel the right details panel presents the following information o Summary of the specific base artefact or base activity compliance mapping o For the given base artefact and base activity Compliance Justification elements from its compliance mapping o For each Compliance Justification the actual assets i e artefacts or activities For each artefact or activity its description and properties are presented on the tooltip o For each artefact or activity its evaluation is shown in case the asset has been evaluated O Project Baseline Compliance Fiter by Base Artefacts Base Activities All Compliance Details Expand to Justification Expand to Asset Expand to Evaluation Type Base Asset Name Fully Partially Selected baseline Asset Safety Plan Complian Complian Baseline Framework DO178X RefFramework Number of Fully Compliant Artefacts 1 on mm ae ae as B Project Plan 0 0 Details 1 Fully Compliance Justification 1 This evidence has been fully justified B Verification Report 0 0 B 1 1 Artefact Safety Plan for software 1 1 1 Evaluation 1 Consistency check Assets Assets Figure 239 Compliance details for the selected baseline element The Compliance Details tree can be expanded to the specific level by pressing links at the top of the panel Page 166 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Com pli ance Details Expand to Justifi
105. button Mapping Set on the properties form of the reference framework using the tree view editor not available using the diagram editor This window automatically saves the mappings when checking or unchecking elements of the target refframework tree Page 37 of 172 OPEN OSS tailoredRefFramework baseline 23 fi Resource Set 4 tailoredRefFramework baseline Base Framework tailored base line 7 Base Activity 1 Vocabulary OPENCOSS Platform Tools User Manual gt 7 Base Activity 2 Management of functional safety 7 Base Activity 3 Concept phase 7 Base Activity 4 Product development at the system level 7 Base Activity 5 Product development at the hardware level Base Activity 6 Product development at the software level 7 Base Activity 7 Production and operation 7 Base Activity 8 Supporting processes 7 Base Activity 9 ASIL oriented and safety oriented analyses 7 Base Activity 10 Guideline on ISO 26262 Hp pump 4 EF Base Artefact 2 5 3 1 Project Plan Base Artefact 2 5 3 1 Evidence quality management system at Base Artefact 2 5 5 1 Rules and Processes Base Artefact 2 5 5 2 Evidence of competence at Base Artefact 2 5 5 3 Evidence of quality management Selection Parent List Tree Table Tree with Columns Tasks B Properties i Base Framework tailored base line Properties Id 1 Project Explorer f Repository Explorer z3 E is Sessio
106. cability Table Target Requirement Target Artefact Figure 39 Summary Applicability Table DO 178C Page 45 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 5 Assurance Project Management An Assurance Project has three main elements 1 Baseline Configuration a Baseline Configuration has a set of Baseline Models Each baseline model results from importing copying a Reference Framework model and adding information about its Selection in the current project it answers to the question does a given Reference Framework model element apply to the current Assurance Project A Baseline model represents what is planned to do or to comply with in a specific assurance project 2 Permissions Configuration This has not been implemented yet It will support profile creation to enable restricted access to OPENCOSS functionality and data 3 Assurance Assets Package This is a pointer to project specific Artefacts models and Argumentation models and Process models These three models represent what has been done in a specific assurance project The mapping of these three models with Baseline Models is modelled using the concept of Compliance Map One Assurance Project can have multiple Baseline Configurations Permissions Configurations and Assurance Assets Package but only one is active at once The next figure illustrates the elements of an Assurance Project Assurance Project es epark project or SW HW board for Avionics
107. cation Expand to Asset Expand to Evaluation Selected baseline Asset Safety Plan Baseline Framework DO178X Refframework Number of Fully Compliant Artefacts 1 Number of Partially Compliant Artefacts 1 Details I 1 Fully Compliance Justification 1 This evidence has been fully justified E 1 1 Artefact Safety Plan for software LJ Ep 1 1 1 Evaluation 1 Consistency check Id Eval1 Criterion Check the consistency Criterion description Consistency shold be checked thoroughly Evaluation Result Success Evaluation Rationale Done according to the state of the art Evaluation Event 2014 06 18 14 06 2 Partially Compliance Justification 2 This piece of evidence has been partially iustified Figure 240 Compliance details For example if user is interested only in justification or assets or their evaluation he can press Expand to Justification Expand To Asset or Expand to Evaluation links respectively The details tree is expanded accordingly 11 5 2 Viewing Evidence Evaluation in Gap Analysis report In case a specific evidence item has been evaluated in OPENCOSS client tool its evaluation data are shown on the Gap Analysis report All the evaluation properties Id Criterion Evaluation result etc and the evaluation date and time are presented 2 Partially Compliance Justification 2 This piece of evidence has been partially justified E 2 1 Artefact Safety Plan for Hardware LA fe
108. ccccssseccccseccccescccceusececeuseceeeenscceseusececsueceseueeceeseuesessuneces 29 Figure 17 NNN 30 Figure 18 Deleted concept shown in a diagram esssssessssessresesreresrrrrssrrressrereserresrrerosrrressreresererssrereserresseeeo 30 Figure 19 Refframework Diagram wizard utr ocen ccce seta buea x exu ti a RH URR C e Rb B o VEYUE Ne Pr GE Ses xF a ned E drT ENIMS 31 Figure 20 Refframework Diagram wizard ll nennen nnne nnne nnns 31 Figure 21 Refframework Diagram wizard lll esee 32 Feure 22 IOC SO o EEE WI epa cda depone MN DI NUI pR E MEM EN 32 Feure 23 BONG TAO Ge ife OUTING NR Tm 33 Figure RLS 34 Figure 27 Activity Equivalence Mauser 36 PERES 37 Figure 29 HOW to create Eguivalence MP uavrvrvrrs sssseesesserevne 38 FEE 30 Eauivalence NON 39 Figure 32 Equivalence Map with Postcondition ccccccsseccccssccccssececeusececeeuscceseusececsuaeceseeeeceeseesesetsuneses 41 Figure 34 Applicability Table ISO 26262 rrrrronrrrnnnnnrrnnnnnrrnnrnnnrrnnnnnernnnnnnrnnnnnnsnnnnnnennnnnnnsnnnnnnsvnnnnnenennnnesnnnnnene 42 Figure 35 Requirement Applicability Table ISO 26262 rrrrnrnnnrrnnnnnrrnnnnnrrnnrnnnrrnnnnnernnnnnnvnnnnnnsvnnnnnevnnnnnssnnnnnene 43 Figure 36 Applicability Table DO 1780C rarrrnnnnnrrrnnnnnernnnnnernnnnnnernnnnnennnnnnnrnnnnnnennnnnnsnnnnnnnsnnnnnnsnnnnnnenennnnesnnnnneee 43 Figure 37 Activity Applicability Table DO 178C rrrrnnrrrnnnnrrrnrnnnrrnnnnnernnnnnnrrnrnnnernnnnnevnnn
109. ccscscsecscscsccccccscsccccccscsccececscsceccecscscescececscecescecces 25 4 1 Create Reference Framework model Lungene dead 26 4 2 How to edit a Reference Framework MOdEl cccscccccsssececcseccecescceceseceseuececeeeceeseeseeeeas 29 2121 Addconcepte to Ne dr Nr 29 4 2 2 Add links between concepts arve sanventedetburcssalaabecetieessantertacetbeqrans 29 d2 Edt DRO DOM CS ae 30 4 2 4 Create multi diagrams from a Reference Framework model 30 ALS NNN 32 4 3 Creating Equivalence MapsS vr 33 4 3 1 Equivalence Map using the editor rrrnrnnrrrnnnnnrrnnnnnrrrnnnnnrrnnnnnernnnnnernnnnnnsnnnnnnesnnnnneee 33 4 3 2 Equivalence Map using a tailored functionality rrrrrnnrrrnnnnnrrnnnnnrrrnnnnnrrnnnnnsrrnsnnene 37 4 4 VS AUIS APOICADINY To DIES errore snes do oaseea ecu siana tenon aeacnetewneyades 42 Assurance Project Management i5 cades va vba a 1x3 ea OV aA a QEXSU D ae V Ng NR VARY FAY ao DV eR dE D Cad IUE a dS ERU EPK MEA FREUE 46 5 1 Greate Assurance Project and Basellhi e secos dci oes si td oe Rb UEU coded SES CH Ee Lr er ian n eR Rne 47 5 2 Create OF update Project Baseline EE 51 5 3 EP NNN 54 5 4 So as COMDE MOD EEE 55 5 4 1 Compliance Map using the editor rrrrrrnrnnrrrnrnnrrrnnnnnerrnnnnernnrnnnrrnnnnnsvnnnnnsennnnnsssennne 55 5 4 2 Compliance Map using a tailored functionality rrrrrrrnrnnrrrnrnnrrrnnnnnrrrnnnnrrnnrnnnrrennnn 60 5 5 Cross Domain reuse rrnnnnnnnvnnnvnnnv
110. ction Parent List Tree Table Tree with Columns EE Fs momo do fopencoss T amp CR23 455UR4NCE PROJECTITACR23 mapping Figure 57 Load Resource Mapping model It is possible to create compliance maps for activities artefacts requirements roles and techniques To do so first select the object in the tree and after click on the tab Compliance Map and press the button Add tailoredRefFramework baseline 73 B S Resource Set C Base Activity 1 Vocabulary 7 Base Activity 2 Management of functional safety C Base Activity 3 Concept phase C Base Activity 4 Product development at the system level 7 Base Activity 5 Product development at the hardware level C Base Activity 6 Product development at the software level 7 Base Activity 7 Production and operation 7 Base Activity 8 Supporting processes C Base Activity 9 ASIL oriented and safety oriented analyses 7 Base Activity 10 Guideline on ISO 26262 g Base Artefact 2 5 3 1 Evidence quality management system amp Base Artefact 2 5 5 1 Rules and Processes S Base Artefact 2 5 5 2 Evidence of competence EN Baca Artefact 2552 Evidence of aualibmananemant Selection Parent List Tree Table Tree with Columns Vi Tasks Properties 53 1 amp Base Artefact 2 5 3 1 Evidence quality management system Ease Properties BaseArtefactSelection BaseArtefactEquivalenceMap MP Map Group Artefacts Base
111. ctor button triggers the connector to query the external tool and render the result on the report Compliance Estimation report Baseline Framework ISO 26262 Project Compliance Overall compliance status E Base As Type Baseline Element Name Compliance 1A External Tools Selec Status Status Come B Compliant 0 Add CED versemes Note Compliant Not defined evid Figure 232 The external tool connector has been executed and the value returned is O El 2 5 5 2 Evidence of competence El 2 5 5 3 Evidence of quality management To sum up External tools connectors are modules which can be defined to connect to external tools and present numerical result from a defined data query The result is presented on the Compliance Estimation report This way the report users have up to date numeric status regarding their evidence items stored in the external tools This functionality can be used when the project is in progress in contrary to the phase when the projects is finishing and is evaluated for compliance to facilitate automated up to date external evidence status presentation 11 4 Change Impact Analysis OPENCOSS platform facilitates a prototype of Change Impact Analysis algorithm implementation It is triggered when any artefact stored in OPENCOSS database is modified by the user The algorithm traverses all the related artefacts in order to check if they should be marked as affected by the change depending on the art
112. cts Model 5 Artefact Model artefact model 4 3 eJ 7 Case Process Model 4 08 Model nombreproceso Figure 52 Assets Package active The map group of the mapping model has to be part of the active BaselineConfig of the project Page 56 of 172 OPEN O SS OPENCOSS Platform Tools User Manual EF TACR23 mapping TARC23b baseline TACR23 assuranceproject 23 fir Resource Set E Properties 52 Error Log eu Problems Baseline Config TARC23bBaselineConfig eS Base Properties Id BCOL Name TARC23bBaselineConfig Description Is Active Ref Framework Base Framework 15026262 Figure 53 Baseline Config active So press the editing window and select Load Resource in the context menu tailoredRefFramework baseline ss 4 Resource Set 4 3 tailoredRefFramework baseline Base Framework tailored base line 7 Base Activity 1 Vocabulary I Base Activity 2 Management of functional safety New Child 7 Base Activity 3 Concept phase 7 Base Activity 4 Product development at the system level 7 Base Activity 5 Product development at the hardware le 7 Base Activity 6 Product development at the software leve Cut 7 Base Activity 7 Production and operation Co 7 Base Activity 8 Supporting processes nud 7 Base Activity 9 ASIL oriented and safety oriented analyse Paste Base Activity 10 Guideline on ISO 26262 i Base Artefact 2 5 3 1 Evid
113. d va Artefact Definition ArtDefinitionRules Base v Properties ArtefactDefinitionArtefact re a a ee Name Criterion Evaluation Result ArtefactDefinitionEvents Add Delete Edit Figure 138 Description Artefact Definition Evaluation 4 Artefact Definition Events o References to the assurance asset events of which the lifecycle of the artefact consists EI Properties 23 D Artefact Definition ArtDefinitionRules as Base v Properties ArtefactDefinitionArtefact m _ ArtefactDefinitionEvaluation Name Description ArtefactDefinitionEvents Add Delete Edit Figure 139 Description Artefact Definition Events 7 2 2 Delete Artefact Definition To delete an artefact definition e Select the artefact definition press the right mouse button and select the contextual menu Delete Page 110 of 172 l opencoss TACR23 EVIDENCE TACR23 evidence Eclips vidence Editor Net4j Examples Run Window Help r v v x A fhe TACR23 evidence 22 amp tailoredRefFramework baseline t3 Resource Set 4 amp TACR23 evidence 4 Artefact Model B Artefact Definition ArtNofinitinnRulac AN New Child gt LEAN New Sibling b ject CLEAI LEAN lt 2 Undo Do Command Ctrl Z k baseline lt selection Parent List Tree Table Redo Ctrl Y k baseline Cut E Properties 52 izj Copy ram CLEA 5 Artefact Definition ArtL Paste AN EAN Base 3 Delete
114. ded from http 77 252 162 49 8080 opencoss server OpencossServer zip The downloaded OPENCOSS server distribution consists of Apache Tomcat web server with deployed OPENCOSS server web applications Please unzip it to some target installation folder The folder will be referred to as OPENCOSS DIR in this document Note for developers The distribution contains README OPENCOSS file which describes what files are added to the default Apache Tomcat application 2 OPENCOSS server requires Java JRE version 8 If it is not present on the machine please install it It can be downloaded from Page 18 of 172 OPEN O SS OPENCOSS Platform Tools User Manual http www oracle com technetwork java javase downloads jdk8 downloads 2133151 html 3 Configure Tomcat to use Java JRE 8 installed on your computer In order to do this please navigate to OPENCOSS DIR bin folder and edit catalina bat file on Windows or catalina sh on Linux Scroll down in the code until you pass the end of the beginning rem comments and adjust the following code pointing to your Java JRE root directory e for example on Windows set JRE HOME C Program Files Java jre8 e for example on Linux export JRE HOME usr java jdk1 8 Save your changes 4 Adjust OPENCOSS server configuration file settings Go to OPENCOSS DIR conf opencoss folder and move opencoss properties xml file from this location to the operating system user home directory
115. diting window will be saved in the model information file and the diagram information file with a different name 3 Save All item The contents of all editing windows will be saved in the corresponding model and the diagram information files database 6 3 Editing Functions 6 3 1 Editing a Diagram Nodes and relationships or links selected from Palette can be added to the canvas Just select the node from the Palette go to the editing window and select the place and size of the element Page 75 of 172 OPEN O SS OPENCOSS Platform Tools User Manual lt e Palette D paT Argumentation core o ArgumentReasoning Argumentation Claim InformationElementCitation Argumentation relationships oo AssertedChallenge AssertedContext So AccertedCounterEvidence AssertedEvidence AssertedInference Choice gt Argumentation modular extensions i ArgumentElementCitation Agreement Figure 84 Argumentation Palette The palette is structure into three different sections Section Argumentation core includes the main nodes for argumentation These nodes implement the GSN graphical notation The Argumentation relationships includes all the different links between the different nodes Argumentation modular extensions includes those nodes specific for the modular argumentation Graphical notation GSN concept Argumentation editor Context InformationElementCitation Property type context
116. duct development at Ehe software level HET Ref Activity 7 Production and operation PE Ref Activity 8 Supporting processes PE Ref Activity 9 45IL oriented and safety oriented analyses PE Ref Activity 10 Guideline an 150 26262 mes Ref artefact 2 5 3 1 Evidence quality management system 1437 Ref Artefact 2 5 5 1 Rules and Processes mes Ref Artefact 2 5 5 2 Evidence of competence ga Ref Artefact 2 5 5 3 Evidence of quality management Il Mame For Baseline tailoredkefFramework Figure 43 Reframework selection Now in the Repository Explorer the new project will be displayed Page 49 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Eg Project Explorer g Repository Explorer 3 L1 E iis Session2 0pencoss S F view 1 MAIN Eg sd 15026262 Project CLEAN SL ARGUMENTATION CLEAN a tailoredRefFramework arg diagram CLEAN dr tailoredRefFramework arg CLEAN le ASSURANCE PROJECT CLEAN a 15026262 Project assuranceprajeck CLEAN GF 15026262 Project mapping CLEAN tailoredRefFramework baseline diagram CLEAN kailoredfefFramework baseline CLEAN L gt EVIDENCE CLEAN L gt PROCESSES CLEAN HL RETS6 CLEAN HL TACR23 CLEAN 15026262 refframework diagram CLEAN 15026262 refframework CLEAN ERE RefFramenwork mapping CLEAN tailored refFramework diagram KLEAN tailored refFramework CLEAN Figure 44 Assurance Project structure The project is composed by 4 folders e Argumentat
117. e wey TU em 4 D platform resource RefFrameworks Standards DO178 refframework E rar mr AA o s d TW H 4 Ref Framework Sotfware Considerations in Airborne Systems and Equipment Certification ee ihe sine Wee EN ee F Delet 4 7 Ref Activity SOFTWARE LIFE CYCLE PROCESSES 2 Softwatr life cycle determined A O B O C O D Blank F Ref Activity Software Planning Process 4 Additional considerations adressed A O B 0 C 0 D 0 5a Ref Requirement Activities defined 5 Software development standards A O B O C O D Blank Ref Requirement Softwatr life cycle determined 6 Software plan produced A O B O C O D Blank Y Ref Requirement Software life cycle environment defined Ref Requirement Additional considerations adressed Ref Requirement Software development standards defined Ref Requirement Software plan produced Ref Requirement Development and revision of the software paln coordinated lt Ref Applicability 1 4 Ref Applicability 3 4 Ref Applicability 2 4 Ref Applicability 4 4 Ref Applicability 5 lt gt Ref Applicability 6 gt Ref Applicability 7 7 Ref Activity Software Development Processes 7 Ref Activity Sotfware Verification Process 7 Ref Activity Software Configuration Management Process Ref Activity Software Quality Assurance Process Figure 37 Activity Applicability Table DO 178C 1
118. e 87 Selection of the Case root element rrrrnnnrnnnnnnrnnnnnnnnnnnnnnrnnnnnnrrnrnnnennnnnnennnnnnnennnnnesvnnnnnenennnnssnnnnneee 80 Figure 88 Database based Argumentation Diagram wizard l sees 81 Figure 89 Database based Argumentation Diagram wizard Il ccccccssseccccessccceesececeeececeeeeceesauseeeteuaeess 81 Figure 90 Database based Argumentation Diagram wizard II cccccccsseccceessccecesececeeececeeeeceeseeeeeseuneces 82 Figure 91 Argumentation Templates View cccccccsssecccceseccccessccecesececeueceeeenscceseuecessuneceseegceesensesessunesss 83 Figure 92 Claim properties To Be Instantiated rrrrrrnnnrnnnnnrnnnnrnnnnnnnnnrrnnnrnnnrrrnnnnnnnernnnnnnnnernnnrnnnnennnnnnnneeee 84 Figure 93 Claim properties Multiextension rrrrnrrrrrnnrnnnrrrnnnnnnnrrnnnnrnnnnrrnnnnnnnnrnnnrnnnnernnnrnnnnesnnnnnnnnesennrnnneeee 84 Pee NENNE 85 Figure 95 Claim properties declared as Public rrrrrnrrnnnrrnnnnrnnnnrrnnnnnnnnrvnnnnnnnernnnnnnnnernnnnnnnnernnnnnnnnsennnrnnneeee 86 Figure 96 ArgumentElementCitation properties reference to a claim 86 Heure OF ANNE 86 Figure 98 Load Resource to Argumentation Diagram csscccsssccccsseccescccenececeneceeeneceseueesaeecessecesseeeneness 87 Figure 99 Select Eviderice model AS TesOU CB ice cadena vecsnencivenscndwceateweadandvearatoncesdenadosdanecdswenendonsnatarveniededase 87 Figure 100 Artefact selection as Informat
119. e Model I e Enter o select the parent folder the resource name and press the Next button Create a Dawn Resource Enter or select the parent folder TACR23 EVIDENCE 4 f Sessioni opencoss 4 View 6 MAIN 4 amp TACR23 CLEAN gt ASSURANCE PROJECT CLEAN l EVIDENCE CLEAN gt amp ARGUMENTATION CLEAN 6 PROCESSES CLEAN 1 RET56 CLEAN Resource name TACR23 evidence Figure 130 New Evidence Model II e And finally select the Artefact Model object to create Page 106 of 172 OPENCOSS Platform Tools User Manual Evidence Model Select a model object to create Model Object Artefact Model Artefact Artefact Compliance Map File Value Version Figure 131 New Evidence Model III Once the Evidence Model has been created the first item is presented to the user S RUNTIME SECONDCCL Resource cdo opencoss TACR23 EVIDENCE T ence Eclipse EE File Edit Navigate Search Project Evidence Editor Net4j Examples Run Window Help Q7 D nG Pris vev X v Quick Access ES E Resource amp Repository Explorer 23 B Yroa 3 TACR23 evidence 23 EUST 4 f Session2 opencoss f Resource Set PRE View 1 MAIN 4 amp TACR23 evidence l RET56 CLEAN E Artefact Model 4 amp TACR23 CLEAN ic ARGUMENTATION CLEAN ic ASSURANCE PROJECT CLEAN c EVIDENCE CLEAN l PROCESSES CLEAN 2 15026262 refframework diagram CLEAI e 15026262 re
120. e at the Palette and then placed it inside its associated top Claim The graphic for the choice relationship will appear affixed to it Then add as many asserted inferences as number of possible choices Page 84 of 172 OPENCOSS Platform Tools User Manual sw contribution tierNdesign tiern n design software contribution to Hazard is acceptably managed at tiern nj hazCont_hazCont sw contribution Argument over SSRs idenfied for tier n Potential hazardous failures at tiern nj are acceptably managed SSRidentify SSRidentify SSRs from tiern n 1 hav e number of SSRs at tiern n SSRnAddn SSRsN SSRn addresed through the realisation of the design at tier nj SSRs indentified for tiern n SSKAnSat SSRnAddn 1 SSRn demonstrably satisfied through S5Rn addressed through the evidence provided at tier n realisation of the design at tiern n 1 Figure 94 Example of a pattern 6 3 3 3 Adding Elements from Patterns to a Diagram instantiating a Pattern An Argument Pattern can be instantiated thus all its content copied into the diagram under edition To proceed drag and drop a Pattern Diagram file into the diagram under edition You need to open the argumentation diagram uncompleted that needs to include the pattern Go to the templates view select the pattern you are interested in once selected you can drag and drop it into the editing part of the d
121. e management of Mapping must be made through the creation of a new model of the type Mapping Model In order to generate a new Mapping Model the following steps need to be done e First select the entry of the menu File gt New gt Other Edit Navigate Search Project Run Window Help New Alt Shift N gt FY Project ES Resource Quick Access Open File Folder Close Ctrl W Y File Close All Ctrl Shift W a Task cuis Ef Untitled Text File Save As Example mm A m 4 m Save All Ctrl Shift S Other Ctrl N Revert Move 77 Rename F2 Refresh F5 Convert Line Delimiters To gt Print Ctrl P Switch Workspace b Restart Import Export Properties Alt Enter Exit Opencoss ve err Figure 202 New Property Model menu File gt New gt Other e Inside the category of the wizard Opencoss select the Mapping Model and press the Next button E New gt J a Select a wizard lt gt Creates new Mapping model to Repository Wizards type filter text Qu Assuranceasset Model to Repository amp Assuranceproject Model Baseline Diagram Baseline Model s a Creates or Updates Baseline far Evidence Model to File far Evidence Model to Repository 85 Mapping Model Cg New Assurance Project HZ Process Model E Property Model to File Property Model to Repository n Figure 203 New Mapping Model I e Ente
122. e password which has been defined during PostgreSQL server installation When database objects are displayed your database server has been installed correctly You can now define login role with non super user rights This account will be used to login to the database later on as it is not advisable to work on a daily basis with super privileged user account In this example we use role opencossdbms with password opencossdbms You can use pgAdmin to do so or bring up the PostgreSQL textual console psql and type create role opencossdbms with login createdb encrypted password opencossdbms Page 16 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 3 1 2 Creating OPENCOSS database in PostreSQL This step demonstrates how to create a database in PostreSQL which will store data tables used by OPENCOSS platform tools In pgAdmin III application right click Databases tree node and choose New Database option GP pg dmin III File Edit Plugins View Tools Help Object browser Server Groups E Servers 1 El j PostgreSQL 9 3 lacalhost 5432 EE oe Refresh New Database Reports Slony Replication 01 In the dialog which opens please provide the database name as cdo opencoss and set opencossdbms as its owner The database will be created E r PostgreSQL 9 3 localhost 5432 a Databases 2 El cdo opencoss Alternatively when pgAdmin Ill application is
123. e tase bie ProjectManager 11 O O Bina Manager Gncucsesemcessui psUitAU M SH ERROR UEAEH IEEE iip E DRE GENE EE REN Figure 228 First page of the generated textual report 11 3 Compliance Estimation report Compliance Estimation report is an enhanced version of the Compliance report as it additionally provides External tool connectors functionality There is External Tools column presented in the Project Compliance table OPEN OS Project ePark w m Compliance Estimation report Baseline Framework ISO 26262 Project Compliance Overall compliance status Base Asset Compli Type Baseline Element Name Compliance IA External Tools Selected Baseline E Status Status Compliance Status B Compliant Add a compliance B 2 5 5 2 Evidence of competence E Not defined Note Pressing A B 2 553 Evidence of quality management Compliant J Not defined niese Description External Tools Configuration Details Expa Hot defined Add Connector 7 Compliance Justi E Artefact C fah 4 Resource i Figure 229 External Tool connector column on the report and bottom panel Page 159 of 172 OPEN O SS OPENCOSS Platform Tools User Manual External Tool Connector is a module which is capable of connecting to the defined external tool e g DOORS JIRA or Bugzilla which may store the project evidence items send a query to the tool and present up to date result
124. ect Board for Avionics v s Reports p eS Argume Gap Analysis report Baseline Framework i i DO178Y Base Project Baseline Compliance Fiter by Base Artefacts Base Ac Dor Details Figure 237 Baseline frameworks for the specific assurance project After choosing the specific baseline framework the following gap analysis data is presented e Ina left pane called Project Baseline Compliance base artefacts and base activities of the selected project baseline framework are shown They are displayed in a tree structure to express parent child hierarchy of these items For each base artefact or base activity the total numbers of fully and partially compliant assets are presented The Project Baseline Compliance table can be filtered to show only base artefacts or base activities and can be sorted by any column Page 165 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Gap Analysis report Baseline Framework DO178Y Base Project Baseline Compliance Fiter by Base Artefacts Base Activities All Type Base Asset Name Fully Partially Complian Complian Assets Assets Bl Base Artefact 0 3 12 B Base Artefact 1 12 2 Figure 238 Project baseline compliance table e When user selects the specific cell in the left pane table e g specific base artefact or the number of fully or partially compliant assets the right panel is refreshed with the details regarding the selected item e For specific base artefact or
125. eesceceuececeueceeeneeeseneeeseseeseuecessecetsneeenens 170 Figure 248 Project Admininstration web page on OPENCOSS server ccccccsssececesececeeescceeaeseceeseeeceeeeees 171 rd Create samplecdtd DdBbiesnonau rris ND PREP Nen E E 171 List of Tables Page 10 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Table 1 Workbenches OPENCOSS tool platform rrrrnrnnrrrnnnnnrrnnnnnernnnnnnrnnnnnnnrnnnnnernnnnnnrnnnnnnsvnnnnneennnnnesnnnnnene 14 Table 2 Argumentation graphical NOtAtION ccccceseccceeececesececesecceesesceecseeuecseeeeeeeeeseuscsseueceseueseteneeenenses 77 Page 11 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 1 Executive Summary This document is a user manual of the OPENCOSS platform tools prototype implementation In this document the user can find the installing instructions the tool environment description and the functionalities starting from the creation of Reference Frameworks models representing Standards Regulations or Company specific Processes creation of Assurance Projects and the associated Baseline subset of Reference Framework to be applied in a specific assurance project Evidences model Artefacts Process model Activities Compliance Maps so far compliance maps from Reference Artefacts to Artefacts Argumentation model and web interface reports Finally functionality facilitated by OPENCOSS web UI server has been described This document has been elaborated
126. efact Property Value rrr rto EYES a3 Fb Ex DEEER TE NER EEr Ex HFOF RTT PI Frodo SER TRUE S Peux PR UER 122 Figure 163 Fried Value dialog Vere 122 Figure 164 Add Artefact Property Value Il csscscssosesscsosssscncosssecccnesscucussscneoussesteussseneusssentoussessenssseneues 123 Figure 165 Artefact Property propertieS rrrrrrrnrnnnrrrnrnnrrrnrnnnrrnnnnnnrnnnnnnernnnunsnnnnnnennnrnnnsnnnnnnssnnnnnesennnnsseeenne 123 Figure 166 Delete Artefact Property Value l rrrnnrnnnnnnnnnnrnnnnnnnrnnnnnnrnnnnnnrrnnnnnernnnnnennnnnnnsnnnnnneennnnssennnnessennne 124 Figure 167 Delete Artefact Property Value Ill ics uessscaccio esa iot eon eaa HE Nou skREX SR rN A 124 Figure 168 Add Artefact Assurance Asset Evaluation l sees 125 Figure 169 Artefact Assurance Asset Evaluation dialog DOX ccccsssscccccssssececceeeeeccceseaeseecessaaeeeeessaeaees 125 Figure 170 Add Artefact Assurance Asset Evaluation ll 126 Figure 171 Artefact Assurance Asset Evaluation properties ccscccccsssccccessececeeececeeeeecesseecesseneceesenes 126 Figure 172 Delete Artefact Assurance Asset Evaluation cccccccssseccccesscceceesececeeececeesceeeseaecesseneceesenes 127 Figure 173 Delete Artefact Assurance Asset Evaluation Il ccccccsssecccceseececesececeeececseescceseeaecessegecetsenas 127 Figure 174 Add Artefact Assurance Asset Event eene eene nnns nnne nn esses 128 Figure 175 Artefact As
127. efact relation type Page 161 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 11 4 1 Change Impact Analysis in OPENCOSS Client OPENCOSS Eclipse client editor is the main OPENCOSS tool where user adds modifies removes artefacts and relations between them Similarly it is the place where Impact Analysis algorithm is triggered when any artefact is changed Similarly the IA results are presented there This has been described in Impact analysis section 11 4 2 Change Impact Analysis algorithm This chapter presents technical details describing how IA algorithm traverses relations between artefacts The main pieces of information used by the IA engine are relations between Artefacts objects stored in ArtefactRel CCL entity H Artefact T versioniD EString date EDate S changes EString a i r E target J jarteracrart s T ChangeEffectKind umarik LI H ArtefactRel modificatonttfect ChangeEffectKind e wp 4 3t nEffect i iar jeEffecti i Figure 233 Artefact Model Two Artefacts are considered related when there is an ArtefactRel instance pointing to one of them as a source and another of them as a target Please note that ArtefactRel has modificationEffect and revocationEffect attributes Note An ArtefactRel object for specific two artefacts can be added in the following ways O A user can add this entity manually in the Evidence Editor of OPENCOSS platform client O Artef
128. elete a map e Select the map press the right mouse button and select the contextual menu Delete Be RefFramework mapping 35 tS Resource Set 4 38 Map Model H Map Group mapgroup1 eal Man New Child ad Selection Parent New Sibling b lt 2 Undo New Map Ctrl Z v Redo Ctrl Y eal Map of Cut Base Pra Copy Paste Nami 3 Delete Map Validate Control Type Locking Conflict Load Resource Refresh Show Properties View Figure 215 Delete Map I e Or select the branch Model that contains the map to delete select the map and press the icon button X associated to the label MapModel Page 150 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Eyl RefFramework mapping 25 BS Respurce Sei ne ig Map Group mapgroup1 ec Map Selection Parent List Tree Table Tree with Columns vi Tasks i Problems E Console Properties 33 Pu d R 38 Map Model Base v Properties Id Name Description MapGroupModel a s 36 ag Map Group mapgroupl MapModel 2 3 s 3 Figure 216 Delete Map ll Page 151 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 11 OPENCOSS server As described in Client Server architecture chapter OPENCOSS platform tools consist of e OPENCOSS server installed in a central host machine e One or many OPENCOSS clients each of which installed on specific user mac
129. eline the contents of the previous one will be replaced with the information selected and the same will occur with the argumentation model Finally click the Finish button to generate the new baseline and argumentation models that will be added to the assurance project model and stored in the appropriate Assurance Project Folders Page 53 of 172 OPEN OSS 1 Project Explorer Ja Repository Explorer zz is Session opencoss SE view 1 MAIN B E 15026262Project CLEAN B ARGUMENTATION CLEAN SecondBaseline arg_diagrarn CLEAN SecondBaseline arg CLEAN ae tailoredRefFramework arg diagram CLEAN i FailaredR eFFramewark arg CLEAN ELS ASSURANCE PROJECT CLEAN a I5026262Project assuranceproject CLEAN EE 15026262Project mapping CLEAN SecondBaseline baseline diagram CLEAN zs SecondBaseline baseline CLEAN tailoredRefFramework baseline diagram CLEAN EailaredRefFramewark baseline CLEAN E gt EVIDENCE CLEAN L PROCESSES CLEAN OPENCOSS Platform Tools User Manual g ISO26262Project assuranceproject 4 Er Resource 5et E 5 IS z262562PrajecE assuranceproject E FT Assurance Project 15026262Project E Assets Package 15026262PFrojectAssetsPackage P Permission Config 159026262ProjectPermissionConfig Baseline Config tailoredRefFrameworkBaseline Contig Baseline Config SecondBaselineBaseline Contig Selection Parent List Tree Table Tree with Columns 4 Tasks Ed Properties 52
130. en specified der to Figure 119 Mark up Rendering One of the following mark up variants can be used e voc term e voc term Usually for terms with spaces or when the sentence ends after the term e voctterm terms Provide a natural language expression to be rendered instead of the term name e g the plural form of the term Add quotes if the term or the expression contains spaces Categories use the var prefix instead of voc Syntax highlighting and tooltips for vocabulary elements are available inside the argumentation editor 6001 The element has been specified correctly in order to avoid termination of the ability of an element 1 32 to perform a function as required Figure 120 Tooltip While editing text pressing Ctrl Space will display a list of available vocabulary items The list gets smaller when the user types the starting letters of the item he is looking for Pressing enter inserts the item at the cursor Page 99 of 172 OPENCOSS Platform Tools User Manual BI voc cascadin g failure se of the 2 of an element 1 32 to perform a unction as require Ldvoc common cause failure a zal TT Lo voc failure Figure 121 Term Suggestions 6 9 Pattern Instantiation Argumentation templates are likely to contain text placeholders Typically a template containing such a placeholder is in
131. ence quality management syste FT Dare Fali l Undo Do Command Ctrl Z Redo Ctrl Delete j Hara tettast 2 551 Baler and Uroarerrear Validate Selection Parent List Tree Table Tree with Columns Control Je Tasks BS Properties 3 Wizards Lockin Base Framework j Conflict Base Compliance Map Grou S Load Resource Refresh Show Properties View Properties Figure 54 Load Resource Page 57 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Other way is select the entry of the menu Baseline Editor gt Load Resource RUNTIME KEPLER Resource cdo opencoss IS026262Project ASSURANCE PROJECT SecondBaseline baseline Eclipse Platform File Edit Navigate Search Project eee la Netd Examples Run Window Help Cees New chi New Sibling k Validate Project Explorer amp Repository SecondBaseline baseline 3 Load Resource TT E Resource Set S LET SecondBaseline baseline E amp Base Framework Tailored Framework S ARGUMENTATION Refresh 4 prueba arg dia Show Properties view A prueba arg CLEAN EREE Ease Activity 1 Management of Functional safety Y SecondBaseline arg_diagram CLEAN Base Activity 1 1 Overall safety mangement A SecondBaseline arg CLEAN E Base Activity 1 2 Safety management during the concept phase 45 tailoredRefFramework arg_diagram CLEAN T Base Activity 1 3 Safety management
132. equirement Req DE Ref Requirement Req 1 amp Ref Role RoleA Figure 30 Equivalence Map form The Equivalence Map form is organized in three zones e The left zone shows the actual reference framework and it loads the type of elements for which we want to make the equivalence maps For default activities e The middle zone allows to make different filters like o Filter Mapping Model lists all the mapping models stored in the database and it will be necessary to select one of them and one group model It s also possible to create a new map group pressing the button New group o Filter Map Element It s possible to create equivalence maps for activities artefacts requirements roles and techniques When these filter change also it changes the information showed by the reference framework For example If the filter Requirement refframeworks will be shown is selected only the requirements of both Page 39 of 172 OPENCOSS Platform Tools User Manual Equivalence Map From Filtering To g L Ref Framework RefFramework A EquivyMapRefAvsRef1 mapping RefFrameworks Ref1 refframework Ref Requirement ReqA Ref Requirement ReqB ge Ref Framework RefFramework 1 18 Ref Requirement Req1 JE Ref Requirement Req2 v Filter Map Element frequrement v Equivalence Map Ev LL mme ID Name Type fyl PostConditions Justification zi ne Ref Framework RefFramewo
133. es 53 Error Log Problems Profiling PR ms InformationElementCitation v Properties Type Solution iMi To Be Instantiated fase uri Artefact s x Add a new element Figure 100 Artefact selection as Information Element Citation A pop up window will show the Artefacts Model at All Resources tab Finally choose the required artefact Model Resource All Resources type filter text 4 l platform resource ArgumentationProjects My evidence Artefact Model ES Artefact artefact one JET Artefact SSR Figure 101 Artefact selection from resources In addition it is possible to launch the artefact editor by double click on one artefact instance as shown below Page 88 of 172 OPENCOSS Platform Tools User Manual Artefact Editing of the properties of an object Artefact Artefact Artefact Version Artefact File Artefact Property Value Evaluation Events Properties Id idi Name artefact one Description Document format Hazard report Figure 102 Artefact edition form 6 4 Argumentation Contracts A contract is essentially a recording of an agreement between two or more entities In the case of argumentation modules in OPENCOSS a contract records how an inter module dependency a public claim to be supported in a module is resolved by the claims and evidence provided by other argumentation modules 6 4 1 Preparation for Contracts Create two or more
134. f a quality management system ilc I B pe Jia Details Expand to Justification Expand to Asset Expand to Resource E 2 632 1Project Plan Artefact Artefact1 DevloaderTomcat7 jar To modify Modified E 2 65 1Safety Plan DR i Resource DevloaderTomcat7 jar Download E 2 652 Project Plan refined a CDI Compliance Justification Just 6 E 2 75 1Evidence of field monitoring 3 Artefact Artefact devloaderWorkspace mod E 4 553ltem integration and testing plan gr Resource devioaderWorkspaces Download B 4 6 5 1 Technical safety requirements specification Compliance Justification nope 3 E 4 7 3 2 1 Preliminary architectural assumptions Artefact icon xpm Validated B B Figure 235 Web interface showing two IA induced actions required to be taken by user In Project Compliance table on the left panel IA Status column presents the status of the specific baseline element from Impact Analysis point of view The following information is presented e Grey color means that there is no artefact compliant to this baseline element thus there is no entity on which Al can work e Red color means that some of the artefacts compliant with this baseline element where affected by Al and they require attention from the user The displayed number represents the amount of such affected artefacts e Green color means that there is no action required by IA from user after IA traversed the associated arte
135. facts On Base Asset Compliance Details panel the compliant artefacts and their details are presented The information also includes IA results in case when Al algorithm detected that some action need to be performed by a user As it regards the above screenshot IA execution resulted in detection of two actions required by the user To validate and To modify This information is presented next to the respective artefacts When the user takes the according measures i e validates or modifies the respective artefacts he can simply clicks Modified and Validated action buttons to report that the requested activity has been performed 11 5 Gap Analysis report Compliance Assessment and Evidence Evaluation Gap Analysis report facilitates the following pieces of functionality e Compliance Assessment by viewing a Gap Analysis e Viewing Evidence Evaluation results Page 164 of 172 OPEN O SS OPENCOSS Platform Tools User Manual In order to view Gap Analysis report please go to OPENCOSS platform web server page in your web browser at http lt OPENCOSS SERVER HOST NAME gt 8080 and select Reports gt Gab Analysis report from menu OPE SS Administration He Project Board for Avionics v Ed Reports f Argumentation v Evidence f Xtra Process Gap Analysis report Baseline Framework DO178X RefFramework M Project Baseline Compliance Fiter by Base Artefacts Base Activities Al Compliance
136. fframework CLEAN p RefFramework mapping CLEAN Selection Parent List Tree Table Tree with Columns e tailored refframework diagram CLEAN l e tailored refframework CLEAN v Tasks En Ed Properties 23 Ec Artefact Model Base v Properties Id Name Description Artefact 2 2 4 Ez Outline 53 veg 3 TACR23 evidence Repo Url Repo User Repo Password Repo Local Path E Repo Uses Local Copy Preferences Selected Object Artefact Model Figure 132 Evidence Model The Copy Preferences button will copy the Artefact Repository Preferences data to this model and will be saved in the model to be used to store the Artefact files of this evidence model If this information is empty then the data specified in the Artefact Repository Preferences will be used to store the artifact files Page 107 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 7 2 Artefact Definition 7 2 1 Add an artefact definition It is possible to add artefacts definition to an artefact model in two ways e One way select the artefact model and press the button Examples Run Window Help v v y Quick Access ES B Reso dp TACR23 evidence S t3 Resource Set 4 Am T ition ArtDefinitionRules Selection Parent List Tree Table Tree with Columns E Properties 22 i Problems vo Artefact Model Base v Properties Id Name Description
137. figurations Figure 71 Cross Project button The user has to select the source project and after its models will be displayed in the window As said before only the models related to the active Baseline Config and active Assest Package of the source assurance project will appear Page 67 of 172 OPENCOSS Platform Tools User Manual Target Project Project2 ASSURANCE PROJECT Project2 assuranceproject Source Project E List Source Ass Copy Baseline models Select source assurance project roject 1 assurancepro Project2 assuranceproject Vacio assuranceproject Copy Evidence Models Copy rgumentation Models Copy Process Models Reuse Figure 72 Cross project Source project selection By default the copy all models option is selected but the user can uncheck the copy baseline models control to indicate that only wants to copy evidences In this case the user can select the desired models to copy from the evidence model list To go back to the previous option only is necessary to check again the copy baseline models option Page 68 of 172 Target Project Project2 ASSURANCE PROJECT Project2 assuranceproject Source Project ProjectL ASSURANCE PROJECT Project L assuranceproject Es Baselinel baseline Copy Baseline models a ProjectlEvidences evidence a ProjectlEvidences evidence Copy Evidence Models Ei Baselinel arg xZ Copy Argumentation Models a Proces
138. g processes 7 Base Activity 9 ASIL oriented and safety oriented analyses 7 Base Activity 10 Guideline on ISO 26262 S Base Artefact 2 5 3 1 Evidence quality management system at Base Artefact 2 5 5 1 Rules and Processes Base Artefact 2 5 5 2 Evidence of competence i Base Artefact 2 5 5 3 Evidence of quality management GET Base Artefact 2 6 3 1 Project Plan Selection Parent List Tree Table Tree with Columns ap nap rap rr 4 Tasks Ed Properties Z3 Base Framework tailored base line Properties Id 1 Figure 60 How to create Compliance Map n Selection dialog m From Filtering 4 E Base Framework tailored base line TACR23 mapping 7 Base Activity 1 Vocabulary 4 C Base Activity 2 Management of functional safety Map Group 7 Base Activity 2 5 Overall safety mangement New Group 7 Base Activity 2 6 Safety management during the concept phase and the produ Mew Group 7 Base Activity 2 7 Safety management after the item s release for production Filter Map Element 7 Base Activity 3 Concept phase Activity 7 Base Activity 4 Product development at the system level Base Activity 5 Product development at the hardware level Compliance Ma ity p p P 7 Base Activity 6 Product development at the software level 7 Base Activity 7 Production and operation 7 Base Activity 8 Supporting processes ID 7 Base Activity 9 ASIL oriented and safety oriented analyses
139. he same graphical notation as modules on GSN The identifier property indicates uniquely the element on the argumentation Do not use the same identification on different elements on the same argumentation The Location attribute indicates where is stored the argumentation diagram file with the content of the module By default is should be stored on the places indicated on the preferences 6 3 1 1 Copying and Pasting an Element Elements in a diagram can be copied and pasted To copy an element select the element and click Copy in the Edit menu The copied element can be pasted by clicking Paste in the Edit menu without selecting any element 6 3 1 2 Deleting a Node or a Link Please do not press the Del key The element will not be completed deleted To delete a node or a link click to select the node link and perform either of the following steps 1 Press the BS key 2 Right click the item and select Delete from Model from the context menu PS An argument can be deleted But child elements are also deleted and the argument cannot be edited ever 6 3 2 Create multi diagrams from an Argumentation model The tool allows managing different views of a model through a set of diagrams Once a model is available a new diagram view can be created and special edition functionalities are available as follows 1 Thanks to the Outline view it is possible to drag and drop concepts from the model to the
140. hines The role of the central OPENCOSS server is threefold e It hosts CDO server which facilitates a common storage for OPENCOSS server applications and OPENCOSS clients e t provides web interface with OPENCOSS reports presenting common storage assurance data from different angles e It hosts OPENCOSS API services e g evidence service or process service This chapter describes functionality provided by OPENCOSS server web reports which facilitate a OPENCOSS server front end for OPENCOSS platform users 11 1 OPENCOSS Web interface layout OPENCOSS server web pages are served at 8080 port by default In order to view the web pages please run your web browser and go to the following location http lt OPENCOSS SERVER HOST NAME gt 8080 OP EN oss J Administration J Help Project Board for Avionics Reports Argumentation fo Evidence kr Process Gap Analysis report Baseline Framework DO178Y Base Project Baseline Compliance Fitter by Base Artefacts Base Activities All Compliance Details Expand to Justification Expand to Asset Expand to Evaluation Type Base Asset Name Fully Partially i Complian Complian Please select specific Base Asset Name in Project Baseline Compliance panel to see Compliance Details Assets Assets B Base Artefact 0 3 12 B Base Artefact 1 12 2 B Base Artefact 2 8 10 B Base Artefact 3 1 2 Figure 217 Web interface layout A typical OPENCOSS server web page consists
141. hould organize specific rules and processes for functional safety E Figure 221 Description of the selected baseline element presented at the bottom panel Upon the selection of the specific safety standard item in the Project Compliance table on the left of the screen the compliance mapping details are presented in the Base Asset Compliance Details panel at the right side of the page 4 Administration H Help hun gt Beas Baseline Framework ISO 26262 Export to MS Word mpliance status Je Base Asset Compliance Details 7 Compliance LA Selected Baseline Element Name 2 5 5 3 Evidence of quality management Status Status Compliance Status The evidence presented below is fully compliant with the selected baseline asset Compliant a e Please drag and drop a file to this area or press Upload Note Pressing Assign button will commit your file to SVN and assign it as a compliance evidence z Add a compliance evidence to this project baseline element C Details Expand to Justification Expand to Asset Expand to Resource i Lay Artefact C fakepath personas png as Resource personas png Download TN Description Properties Figure 222 Details of Justification and mapped evidence The extensive compliance information is presented including e Compliance justification explanation as specified in OPENCOSS client editor or on th
142. iagram Once you drop you will see the new elements that have been copied into your argumentation diagram Once the drop is done the Arrange Selection feature can be used to move to all the nodes and links This feature can be found on the top menus as a button 6 3 3 4 Creating a New Module Diagram To create a new argumentation Pattern diagram follow the procedure of Creating a New Diagram but generating the new diagram into the Modules directories The only difference with other argumentation diagrams is that Modules need to be stored on the places designed by the preferences By default preferences point to a project called Modules on the workspace 6 3 3 5 Editing a Module Diagram Proceed as explained in the Editing a Diagram section Remember Modules Diagrams Argumentation allows representing interrelated modules of argumentations An Argument Element Citation repeats an element presented in another argumentation module which is used to support the argument in the local module Public property indicates that an element is visible to other modules where it can be referenced While an Agreement element represents the agreed relationship between modules To indicate that a claim is Public just indicate on the Claim properties view the attribute Public be true The Public activation is also noticed on the graphic notation Page 85 of 172 OPENCOSS Platform Tools User Manual
143. im transformed from the top activity and the target the claim transformed from the sub activity e When a reference activity has reference requirements then an asserted inference relationship is created the source is the claim transformed from the reference activity and the target the claim transformed from the requirement 6 2 3 Opening a Diagram In File Format Double click on the project folder on the Package Explorer tab in order to expand the folder The stored diagrams will be shown Double click on Argumentation Diagram information file arg diagram to open a diagram in the editing window The diagram can then be edited RUNTIME ECLIPSEAPPLICATION Epsilon ArgumentationProjects argumentation arg diagram Eclipse Platform File Edit Diagram Mavigate Search Project Net4jExamples Run Window Help FS Sie O Q io y es Tahoma JE v Arv Dr Jro fv og E 100 vi Ej SF Epsilon R iS Project Ex 52 Template amp Repository amp argumentation arg diagram 3 amp gt lt 2 Palette 13 ArgumentationProjects K a we H A argumentation ara g argumentation arg diagram Modules SwSystem Safe 13 Patterns Argumentation core ArgumentReasoning Argumentation software Y is acceptably safe Claim to operate within system 2 InformationElementCitation E Argumentation relationships 7 AssertedChallenge AssertedContext gt AssertedCounterEvidence k AssertedEvidence swCon
144. ion Change Analysis cscccccssseccccsseccccenscccceesececeeseceeeenscceceusececsuneceseueeceeseusesetsuneees 96 Figure 115 Select Argumentation Integration Model to Analyse cccccssseccccessccccesececeeeceeeeeeceeseuseeetsuneees 97 Figure 117 Example Vocabulary Diagram iniecta ebd veo Erb bc aHa OE uRO SU rub e ERI t Ere bus visere irv basa ite er ub Dod uat 98 Fe 118 NA INN 98 Figure 119 Mark up Rendering acct aeintiidpbun dM dedu iride eR erp MEM SRM D AMI NEL i d pado 99 ETNE 99 FETE 121 Term PENN An 100 Figure 122 Pattern Instantiation ccccccssccssccceccesccesccescceseceseceseceseccsecsseesseeeeetaeeseeneetseeteeeseeesseeseesaees 100 Figure 123 New Claim Types Editor rrrrnnnrrnnnnnrrnnnnnrrnnnnnnrrnnnnnernnnnnnrnnnnnnennnnnnennnnnnssnnnnnnsnnnnnnesennnnesennnnesenenen 101 EN NT PENN 102 Figure 125 Claim Type Tab in the Propeties VieWw rrrrnnrrrnnnnnrrnnnnnrrnnnnnnrrnnnnnernnnnnnrrnrnnnsnnnnnnennnnnnesennnnnseeennn 103 ETNE 104 Figure 127 Artefact Repository Preferences ccccccssseccccsseccccesececceseccceeecceceuseceseenecessegsceesausecesseneceesenes 105 Figure 128 New Evidence Model menu File gt New gt Other mmrrarrrnnnnnnrnnnnnnrnnnnnnnrnnnnnnrnnnnnnsnnnnnnennnnnnnsennnne 105 Figure 129 New Evidence Model Lunner 106 Figure 130 New Evidence Model Il ccccccessccceessececeseceecesscccceesececeeececeeeeccessuecessegecessegceeseesesetsenecetseges 106 Figure 13
145. ion Element Citation rrrrannrnnrnnnnrnnnnnrrrnnnnnrnnnnnnrrnnnnnernnnnnssennnnene 88 Figure 101 Artefact selection from resources cccccssseccccseccccesccecaesececsusececeenecceseesececsunecessenceesenesetsuneses 88 Pee INN 89 Figure 103 Creating an Argumentation Module rrrrrnrrnnnrrrnnnnnnnnrrnnnnnnnnrnnnnnnnnernnnnnnnnernnnnnnnnernnnnnnnnesnnnrnnneeee 90 Figure 104 Consist Of Property for an Argumentation Module eese 90 Figure 105 To Be Supported and Public Property Values for Declaring a Claim Requiring Support from AORE IYO COC EEE NE EEE ENE 91 Page 7 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Figure 106 To Be Supported and Public Property Values for Declaring a Claim Providing Support to TENNE 91 Fig re 107 New Contract PIT T nr ndir nN E E NaN T Tai 92 Figure 108 Selecting an Inter Module Dependency sssssessssssssesesrerssrrrresrrressreresrrrrsrreresrrressreresereresrereseerrsseeee 93 Figure 109 Selecting Elements to Resolve the DEpendency cccccssseccccssececcensccecsesececeuseceeeeueccesauseeeeeuneees 93 Figure 110 Justification of Dependency ReESOIUTION ccecccccssscccceesececeueceeeeeecceceuseceseuaeceseeueceeseenesetsuneess 94 Figure 111 Argumentation Integration Wizard esses nnne nennen nnns 95 Figure 113 Select Contracts that Resolve Inter Module Dependencies of Modules Previously Selected 96 Figure 114 Argumentat
146. ion for storing the argumentation models with and argumentation model with diagram generated automatically based on the baseline s selected entities For details see section 6 2 2 Creating a Diagram at the project creation time e Assurance Project folder that has the project information in assuranceproject model the baseline information in baseline model with diagram and the mapping model to store the compliance mapping information e Evidence for saving the evidence models e Process for the processes execution To edit the Assurance Project information double clicks over the model and its editor will appear By default the assurance project has related all the models generated automatically the baseline and mapping models in the active BaselineConfig and the argumentation model in the active AssetsPackage If the user generates new models related to the assurance project for example evidence model he must select the right folder EVIDENCE following with the example of the assurance project as destination for the new model and update manually the assurance project model to reference the new models inside the project AssesuranceAssents following with the example Page 50 of 172 OPEN O SS OPENCOSS Platform Tools User Manual amp 15026262 Project assuranceproject 3 7 E f r Resource Set EG k 15026262 Project assuranceproject Assurance Project 15026262 Project E Assets Package 15026262 ProjectAssetsPackage P Permis
147. iption Properties Description A company should organize specific rules and processes for X Figure 220 4 panels of Compliance report The Project Compliance table which is placed in the left presents base artefacts and base activities of the selected safety standard The most important column is the Compliance Status one which presents the overall compliance status of a project to the specific safety standard item The column can be sorted by value thus allowing user to assess the project compliance at one glance In case base activities or base artefacts are defined to have a parent child hierarchy this relation is presented accordingly in a tree structure of the table Note IA Status column presents the current status of specific baseline element from Impact Analysis point of view This functionality has been described in a separate chapter Impact Analysis result presentation on OPENCOSS server reports When a specific baseline element item i e table row is selected its description and properties as defined in OPENCOSS storage are presented in the bottom left panel Page 154 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Compliance report Baseline Framework ISO 26262 Project Compliance Overall compliance status sg Ba Type Baseline Element Name Compliance Status IA B 2 5 5 2 Evidence of competence B 2 5 5 3 Evidence of quality management Description De Description A company s
148. is report e For the specific justification the associated artefact or activity e For the specific artefact its associated evidence resource files These resource files are committed to the appropriate SVN repository Users can press the Download link next to each resource tree node in order to download the specific file from the SVN and view it Page 155 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Base Asset Compliance Details Expand to Justification Expand to Asset Expand to Resource Selected Base Asset Name 2 5 5 3 Evidence of quality management Compliance Status The evidence presented below is partially compliant with the selected baseline asset Add a compliance evidence to this project baseline element Please drag and drop a file to this area or press Upload Note Pressing Assign button will commit your file to SVN and assign it as a compliance evidence Details Compliance Justification Thorough testing have been performed Fully Unassiqn Artefact p png Resource ABS p png Download Compliance Justification Testing plan has been prepared Partially Unassiqn Artefact p png Resource ABS p png Download Figure 223 Compliance evidence of the specific baseline asset The above tree can be expanded or collapsed quickly to the desired level by pressing buttons above it allowing tailoring the presented details to the level needed by a user at a given moment When any of the
149. ity Act1 C Base Activity Act2 7 Base Activity Act3 c eS Map Group MG Artefacts b Filter Map Element Base Requirement Reqt g Base Artefact Artf2 Base Requirement Req2 Base Requirement Regi Name Map 3 2 Base Role RoleA T r Base Requirement Req2 Me Full Nd Base Role Role Justification Artefact Equivalence Map with postCondition Target Compliance Map 1 Justification Target Compliance Map Name Cross Domain compliance 1 MEE ID 1 Justification us ompliance generated automatically by Cross Domain Nae 1 Compliance Map of Artf1 Type v PostConditions fa amp Evidence 1 evidence New Obligations ID ES Artefact Model ArtefactModel 1 remm Activity Extra Activity pm amp C ProjecttEvidences evidence D Artefact Definition Arta Name artefact Model Artefact Model Ej D Artefact Definition ArtFB g Artefact Artefact version 1 Extra Activity caused by reusing Description 2 105 artefact Definition AD1 og Artefact Artefact 2 Save target evidences gt Figure 67 Cross domain window with base element selected As example the screenshot above shows that the selected BaseArtefact ArtfA of the target project Project2 has a Compliance Map with the target Artefact Artefact version 1 of the evidence model of the target project Also has an equivalence map inside the map group MG Artefacts with the source baseline BaseArtefact Artf1 of the source assurance
150. k disgram CLEAN e railway13 refframework diagram CLEAN railweyl3 refframework CLEAN E v railway2 refframework diagram CLEAN reiiwoy2 refframework CLEAN B railway integration sefframework e Lid RefFramework mapping CLEAN BM RefFramework mapping 75 n B tailoredRefframenork baseline Pruebas IRR aczursnceproject w Resource Set PI RefFramework mapping B Map Model Selection Parent List Tree Table Tree with Columns ga 5 Map Model C Properties 1 m pg Bae v Properties lg Name Description MapGroupModel B CDO Sessions 11 065 Ks Transaction 44 MAIN 4 D View 1 MAIN ARL2 CLEAN amp borrar CLEAN amp 15026262Prova CLEAN BE Outline 2 B Ey Refframework mapping E defsult evidence s Es opencoss vidence Ks RRdefault property E 15026282 RR refframeweork diagram Gy 15026262 RR refframework Ee 15026262 IRR refframework diagram E defsult2G refframework diagram E default2G retframework amp 15026262 4 RRR refframework diagram Ll of we MapModel umm Selected Object Map Model Figure 206 Mapping Model 10 1 Map Group 10 1 1 Add a map group It is possible to add map groups to a mapping model in two ways e Select the model element press the right button of the mouse and select the contextual menu New Child Map Group tailoredRefFramework baseline amp Pruebas IRR assuranceproject EE RefFrame
151. l a OwnedTechnique Y 4 Figure 188 Create Process Model data using properties View Page 135 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 8 2 Deleting Process Assurance Objects To delete a Process Assurance Object select the object to remove press the right mouse button and select the contextual menu Delete or select the information to delete using the properties view te TACRZ3 process 5 5 Resource Set fs TACR 23 process E AM Model The process Activity A New Child id T Mew Sibling d Xe Technique 1 CJ Undo Do Command Cerl z Selection Parent List Tre of Cut v Tasks Eg Properties 2 Copy MT Activity Activity 1 Base Activity Artefacts Validate Activity Participants Activity Techniques Wizards d Activity Evaluation Locking Activity Events Conflict b Activity 4ssurancedsset Load Resource Refresh Show Properties view E Figure 189 Delete Process Model data using context menu Page 136 of 172 OPEN OSS OPENCOSS Platform Tools User Manual CS TACR23 process 53 t5 Resource Set a TACR23 process Ej 8 Model The process 7 Activity Activity 1 O Activity Activity 2 x Technique Technique 1 Selection Parent List Tree Table Tree with Columns Vi Tasks F3 Properties 33 O ErrorLog Problems 8 Model The process Base v Properties Id 1 Tia E gt Mame The proces
152. l be copy is displayed Seleccionar una Opcion You are going to copy the Source Artefacts 1 Artefact 1 in model Project TEvidences evidence and their related Resources an files to the target Artefact 1 Artefact version 1 in model Evidence 1 evidence Do you want to continue Figure 70 Cross domain final confirmation message If the user continues the copy process will begin The source repository configuration information inside the Artefact Model Object the Resource objects of the checked source Artefacts and the repository files related to these resources will be copied to the target evidence model Additionally the postconditions Will be selected in the target baseline model Page 66 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 5 6 Cross Project reuse The cross project window objective is reusing models from one source assurance project to a target assurance project and also the diagrams will be copied to the target project if exists This window allows reusing only the selected source evidence models associated to the active Assets Package because evidences are not related to any other model of the project or all the baselines associated to the active Baseline Config and all the evidence argumentation and process models of the active Assets Package In this second option all the models will be cloned to assure the integrity of the data for example a baseline could be related with argumentations evidences
153. l can be also mapped to other Reference Framework models by using the concept of Equivalence Map Finally Reference Frameworks can be used to create Assurance Project Baselines Baseline Models represent the subset of the Reference Frameworks tailored for individual Assurance Projects For more details on Baselines please see the Assurance Project management Section Equivalence Map Model RefFramework Model e g 15026262 RefFramework Model e g DO 178C Equivalence obo f f amp 5 Map Model L f a x 18 x RefF k 5 LS E g errramewoar GE Model E e g Thales Process I Definition for DO 178C c vil onne 1a copy use a AN Assura nce Project le g ePark project or SW HW board for Avionics Baseline Baseline Model Model e g 15026262 for Er HW board for ePark Tot Avionics What is Planned to Do J Figure 11 Reference Framework concepts Page 25 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 4 1 Create Reference Framework model In order to create a new Reference Framework model follow the next steps e From the File menu choose New gt Other Search Project Net4j Examples Run Window Help New Alt Shift N FG Project Ime Open File Folder Close Ctrlew File Close All Ctrl Shift W Task Save Ctrl 5 Untitled Text File EG Save As Ei Example Save All Ctrl Shift 5
154. lbar Open Perspective k aL Show View Customize Perspective Save Perspective s Reset Perspective Close Perspective Close All Perspectives Navigation k Figure 126 Preference menu Then select the Opencoss gt Artefact Repository Preferences category and introduce the information required If you want to use a local directory as Artefact Repository you have to check the Use Local Repository or uncheck it to use a SVN Server the path of the local folder used as Local repository the URL of the remote SVN server and the user and password of the SVN server Page 104 of 172 OPENCOSS Platform Tools User Manual Artefact Repository Preferences General l m Preferences For the SYN to manage Artefacts Agree Ant Use Local Repository Arg Diagram SVN Local Repository Location DilProvertoslOpencoss Browse Baseline Diagram DO SVN Remate Repository Location Ecore Diagram Ecore Tools Diagram EMF Compare EmfFatic H Epsilon Gymnast Help InstalliUpdate Java Model Editor Model Validation Mae E Mylyn OCL Opencass Argumentation Artefact Repository Pr Ref Frameworks Direc Plug in Development Refframework Diagram Run Debug T j Restore Defaults Apply H E HE E SVN Repository User angel lopez HE SYN Repository Password 1 eee eos sese esent E E E dm I Figure 127 Artefact Rep
155. ligations ID ES Artefact Model ArtefactModel 1 D artefact Definition ArtfA J Artefact Artefact version 1 E D Artefact Definition ArtfB g Artefact Artefact version 1 Name Description Save target evidences Figure 66 Cross domain window The user has to choose the source project of the reuse using the Search button and the source baseline and evidence model tree will be loaded After this has to select the equivalence model and the equivalence group The next step is to select the target base element that will receive the evidences to be reused and its compliance and equivalence map information will be loaded highlighting in green its target elements in the trees Finally the user has to select the target Artefact and press the Reuse button to start the copy of the checked source Artefact s to the target selected Artefact only one can be selected Cross Domain Target Project Project2 ASSURANCE_PROJECT Project2 assuranceproject Filtering Source Project Project1 ASSURANCE_PROJECT Project 1 assuranceproject amp Baseline2 baseline Base Framework RefFramework C Base Activity ActA 7 Base Activity Act Base Activity Extra Activity caused by reusing a Gg Base Artefact ArtfA Base Requirement Req a g Base Artefact ArtfB Base Requirement ReqB Existing Equivalence Map Base Requirement Req ID 3 Base Requirement ReqB amp Baseline baseline Base Framework RefFramework 1 Base Activ
156. luation 1 Check the design quality B Verification Report 0 0 Id Eval2 Figure 2 OPENCOSS platform main page Now some data should be entered to OPENCOSS server using OPENCOSS client tools in order it can be visualized by web reports NOTE At this stage of installation process OPENCOSS database tables have not been created yet In order to use OPENCOSS web reports all database tables need to be created To do this please install the OPENCOSS Eclipse client as described in the subsequent chapter connect to the CDO server and create some new Assurance Project 3 2 Installation of OPENCOSS platform client 3 2 1 Client bundle download It is required to have installed minimum Java Environment 1 6 To install the OPENCOSS platform client download it using one of the links below according to your OS Platform and uncompress it into your hard disk http 77 252 162 49 8080 opencoss client 20141219 OpencossClient Win 64 zip http 77 252 162 49 8080 opencoss client 20141219 OpencossClient Win 32 zip http 77 252 162 49 8080 opencoss client 20141219 OpencossClient Linux 64 tar gz Page 20 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 3 2 2 Client configuration To use the platform execute the eclipse exe file and introduce a select a folder that will be used as workspace Workspace Launcher Select a workspace Eclipse Platform stores your projects in Folder called a workspace Choose workspace folder to
157. mplates HL JavaScript H 1 JAXB HL IPA gt Maven E gt Opencoss ae rg Diagram to File Arg Diagram to Repository dr Arg Model to File M rg Model to Repository e dscuranceasset Model Fn File show All Wizards Cancel New Arg Diagram Create Arg Diagram Enter or select the parent Folder fis Sessionz 0pencoss Resource name argumentationDiagramz arg diagram Figure 89 Database based Argumentation Diagram wizard II Page 81 of 172 OPENCOSS Platform Tools User Manual New Arg Diagram Create Arg Domain Model Enter or select the parent Folder ES H Sessionz opencoss Resource name argumentation arg Figure 90 Database based Argumentation Diagram wizard III After that the diagram is ready for edition 6 3 3 Editing a Diagram Using a Pattern or a Module In order to display the Template View follow the next steps Go to window Show View gt Other On the Menu expand the Opencoss category and select the Templates view Double click on a folder will expand the folder Double click on an Argumentation Diagram file arg diagram will open the diagram in the editing window Page 82 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Templates View 53 o 8 Pattern Explorer L Patterns E FailureMode arg diagram gt ISO 26262 L amp Concept Phase Item Definition 2 Product Development E gt Product Dev Hw level 2 Product Dev Sw level
158. n nns 54 Figure 50 Baselib NTN 54 Figure 51 Baseline graphical editor ae 55 Figure 52 Assets Package dvd 56 Te ANE NNN 57 Page 6 of 172 OPEN O SS OPENCOSS Platform Tools User Manual neuwe Oa ROS NE 57 Figure 55 sLtosd RESO COW EEE EEE EE 58 Figure 56 Load Resource Evidence Process or Argumentation model ccccccessseccceesececceeecceseeseceeeueeees 58 Figure 58 Artefact Compliance NN 59 PENNEN 60 Figure 60 How to create Compliance Map igacssieroucansecencacceagemesvanoseataandoawcsusiegsaceapasaciundcasienndosexsedeurdeseetareewerens 61 FEL Compliance Map TOFITI rrrrrrv44rrJrrr ences 61 Figure 62 Compliance Map select map element rrrrnrnnnrnnnnnnnrnnnnnnrnnnnnnrrnnnnnrrnnnnnnvnnnnnnsnnnnnnsvnnnnnennnnnnssennnnene 62 Figure 63 Cross DN NN 63 Figure 64 Create a new evidence model message cccccesseccccesscccceeseccceuseccceesecceseusecessueceeseneceeseeeeeetsuneses 63 Figure 65 Use existing evidence model message rrrrnrnnrrrnnnnnrrnnnnnernnnnnnrnnrnnnernrnnnennnnnnernnnnnssnnnnnneennnnssennnnene 64 Figure GO Cross domain NTN RR 65 Figure 67 Cross domain window with base element selected rrrrrrrnnnnnrrnnnnnnnrrrnnnnnnnrrnnnnnnnnrrnnrnnnsnsrnnnnnnneee 65 Figure 68 Cross domain information messages about integrity rrrrurrrrnrnnrrrnnnnnrrrrnnnnrnnrnnnrrnrnnnernnnnnesennnnene 66 Figure 69 Reuse not equivalence artefacts confirmation message eesseeeseeeeeenenenee eene
159. nce of quality management Artefact name Resource name Fully Compliant Partially Compliant Not Compliant counter evidence Compliance Justification ls SVN path LJ https svn win tue nl repos opencoss code trunk org opencoss webapp reports InsertedByOPENCOSSV eb ePark SVN user SVN password Test Note this will commit your evidence file fo SVN htipssvn win tue nl repas apencoss code trunk org opencoss webapp renortsnsertedBy OPENC OSSW amp eh e Park and assign as a compliance evidence Assign Cancel Figure 225 A window allowing to assign and describe evidence to the given baseline item User can enter the desired compliance justification in the text area change the names to be created default names are suggested and define the compliance mapping type Additionally it is possible to specify a SVN URL location where the evidence file will be committed User has a possibility to add new location or select already defined one from the select box After pressing Assign button the following actions are performed by the OPENCOSS platform e The resource file gets committed to the given SVN repository so that it is securely stored and can be retrieved on demand e Aresource CCL object associated with the above file is created with the specific name e An artefact CCL object associated with the specific resource gets created e A compliance justification which maps the artefact to the selected baseline fr
160. nces Selected Object Artefact Model Figure 134 Add New Artefact Definition II Page 108 of 172 OPEN O SS OPENCOSS Platform Tools User Manual In the properties zone the framework presents several fields to describe the new Artefact Definition divided in tabs S RUNTIME SECONDCCL Resource cde openco Eclipse File Edit Navigate Search Project Evidence Editor Net4j Examples Run Window Help FY Q7 30 0 4 v v v v x Quick Access ES Resource amp Repository Explorer 23 B V far TACR23 evidence 23 7 H 4 Session2 opencoss ren Resource Set 4 K View1 MAIN 4 amp TACR23 evidence amp RET36 CLEAN 4 E Artefact Model 4 l p TACRZ3 CLEAN y Artefact Definition ArtDefinitionRules i ARGUMENTATION CLEAN amp ASSURANCE PROJECT CLEAN amp EVIDENCE CLEAN ic PROCESSES CLEAN 15026262 refframework diagram CLEAI 15026262 refframework CLEAN P a ee eee Selection Parent List Tree Table Tree with Columns e tailored refframework_diagram CLEAN tailored refframework CLEAN mm vi Tasks O ErrorLog E3 Properties 23 r4 D Artefact Definition Base v Properties ArtefactDefinitionArtefact Id 1 ArtefactDefinitionEvaluation Name ArtDefinitionRules ArtefactDefinitionEvents Description B Outline 22 D TACR23 evidence Figure 135 Artefact Definition Description I ArtefactDefiniion ee ee em ArtefactDefiniti
161. nd target child Artefact 7 3 2 Delete an artefact To delete an artefact e Selecting the artefact press the right mouse button and select the contextual menu Delete Fale TACR23 evidence 53 Er Resource Set 4 amp TACR23 evidence 4 E Artefact Model 4 D Artefact Definition ArtDefinitionRules i Artefact 1 New Child E New Sibling lt J Undo Do Command Ctrl Z Redo Ctrl of Cut G Copy Paste 3 Delete Validate Selection Parent List Tree Table T Control E Properties 25 Wizards 7 Locki E 4 Artefact 1 E Conflict r Bme Load Resource ArtefactVersion ArtefactPropertyValue um Refresh r Assu Show Properties View ly during Ari ArtefactEvents Figure 149 Delete Artefact I Page 115 of 172 OPEN O SS OPENCOSS Platform Tools User Manual e Or select the branch Artefact Definition that contains the artefact to delete select the ArtefactDefinitionArtefact tab select the artefact and press the button Delete far TACR23 evidence 23 tS Resource Set 4 amp TACR23 evidence 4 E Artefact Model 4 Artefact Definition ArtDefinitionRules 37 Artefact Rules Selection Parent List Tree Table Tree with Columns E Properties 53 p V EE D Artefact Definition ArtDefinitionRules Base v Properties ArtefactDefinitionEvaluation ims unn LL Date ast uereicn pase File ID Name Descrintinn Figure 150 Delete Artefact Il 7 4 Artefact Resource 7 4 1
162. neration can be changed on OPENCOSS server side in order to adjust it the given company standards Reports Argumentation Evidence work 15026262 IRR Export to MS Word Export the project baseline compliance data to summary textual report in docx format a AME SSS Seip ia tc FS tats a a aS ra and 1 selected Base Asset Name 2 5 5 3 Evidence of quality management Compliance Status The evidence presented below is partially compliant with the selected bas Add a compliance evidence to this project baseline element Please drag and drop a file to this area or press Upload Ad modum Pir eet mat il ote EE saali eee T m DET Eilan to CIFRI mu ers T amma o amo a TE Figure 227 Export to MS Word button which generates textual overall detailed report of Project Compliance to the safety standard The textual report can then be printed to pdf or on paper signed digitally or manually and stored for future reference Page 158 of 172 OPEN O SS OPENCOSS Platform Tools User Manual OPEN OSS Compliance Summary Report Date 2014 12 11 15 13 Project name ePark Project Compliance Validation Summary Comments to be filled by the responsible person Safety Manager or Safety Assessor This document contains summary of all safety evidence pieces for compliance of ePark project to the safety standard requirement project basbline ISO 26262 Hand Signatures Salet Manager m dietetic sid
163. nnnvnnnvnnnvnnnvnnnsnnnsnnnsnnnsennsnnnsennsennsennsennsennsennsenneennnennnennesnnesene 62 5 6 FOTEN 67 Safety Argumentation Management asnnvnnvnsvnvnnvnnvnvnnvnnvnvnnvnnvnnnnvnnnnnnnvnnvnnvnnnnvnnvnsnnennnnsnnenneneee 71 6 1 PSF O a EE EE eens ID M En EM 71 6 2 Creating and Saving a DNN 71 6 2 1 Creating a New Diagram rerrnennnennnnnnnnnrnnnrnnnrnnnennnrnnnvnnnvnnnvnnnvnnnvnnnvnnnsnnnsnnnsnnnsnnnsnnnenne 71 6 2 2 Creating a Diagram at the project creation tiMe cccccccssseccecesececeeeseceeseeceeeeees 74 6 2 3 Opening DIT Nr 74 624 Saving a Diagrami e E 75 6 3 EUNE FONCIONS perrin a E A A 75 bl Edine DENN 75 Page 3 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 6 3 1 1 Copying and Pasting an Element rrrrranrrnnnnnnrrnnnnnernnnnnnrrnnnnnernnnnnnrrnnnnssnennn 79 6 3 1 2 Deleting a Node or a LINK sicivevastsancoadstacewmaccecebisntvensdnoaedscaccudosentedstabicadvunedbeds 79 6 3 2 Create multi diagrams from an Argumentation model ccccceseccceessececeeeeeeeeeees 79 6 3 3 Editing a Diagram Using a Pattern or a Module essssssssssssssesssrrrssrrressreresrrererrrresene 82 6 3 3 1 Creating a New Pattern Diagram rrnnrnnnrnnnrnnnrnnnvnnnvnnnrnnnrnnnsnnnsrnnsennsrnnsennnen 83 6 3 3 2 Editing a PENNANT 83 6 3 3 3 Adding Elements from Patterns to a Diagram instantiating a Pattern 85 6 3 3 4 Creating a New Module Diagram cccccccsseccccssseccceeseceeeeneceeeeesecetseneceeseees
164. nnsvnnnnnesennnnnenennnnesnnnnneee 44 Figure 38 Requirement Applicability Table DO 178C rarnrnnrnnnrrrnnnnnrrnnnnnrrnnnnnnrrnnnnnerennnnnvrnnnnssvnnnnnsvnnnnnesnnnnnene 44 Figure 39 Summary Applicability Table DO 178C rarrrnnrnnrrrnnnnrrrnnnnnernnnnnernnrnnnrrnnnnnsvnnnnnsvnnnnnnsvnnnnnsvnnnnnssennnneee 45 Figure 40 Assurance Project StructUre rrrnrrnnnrnnnrnnnrnnnrnnnsnnnsnnesnnnsnnnsnnnsennsennsvnnsvnnnvnnnennnvnnnennnsnnesnnnsnnesenesene 46 Figure 41 New Assurance Project WIZAIC cccccssscccesecccenecccenecceenceceesceceueceesueceesneceeenceseucesauecessuecenseeenenees 47 Figure 42 Assurance Project name PaBe ccsccsseccscccseccseccseccseccecceeceusceusceusceuecegecessceseceseceseceseesseenseeeaeenes 48 PICEA EL EO Ge LION EEE 49 Figure 44 Assurance Project StructUre rrnrrnnnrnnernnnrnnernnnrnnnsnnnsnnnsennsennsennsennsvnnsvnnnvnnnvnnnennnennnennesnnnsnnesnnesene 50 Figure Assurance Project cd Javed 51 Figure 46 Other kind of projects OPtiON cccccsssccccssecccceseccccensccccasececsueceseeuecceseusecessuneceseuueceeseeseeeseuneses 51 Figure 47 Creates or Updates Baseline wizard svsocou uis eyes vex n FUE VRE EF uS CEVR SITE FUES OT NVRVE o Vo eM UU TE CR e CE CEUT Ip VERS EUIS 52 Figure 48 Selection of the Assurance Project to update rrnnnrnnnnnnrnnnnnnrnnnnnnrrnnnnnernnnnnnrnnnnnnernrnnnevnnnnnssnnnnnene 53 Figure 49 Assurance Project with new baseline sse nenne
165. nz 0pencoss ES view 1 MAIN B b RefFrameworks CLEAN HE EquivMapRefaysRefl mapping CLEAN 2 Refi refframework diagram CLEAN Ref1 refframewark CLEAN RefA refframewark diagram CLEAN Refa refframework CLEAN n Outline 53 i RefA refframewark Fie 7s go Refl reffamework diagram Refs reffrar E Resource Set E i Ref refframework Pi Ref Framework ReFFramework A 7 Ref activity Acta 7 Ref Activity ActB 7 Ref artefact ArtfA 3 Ref artefact ArtfB Ref Requirement Rega Ref Requirement R eqB Ref Role Role Selection Parent List Tree Table Tree with Col Tasks EB Properties i m Error Log 4 Ref Framework Refframework A Base Equivalence Map Group Mapping Set Properties Id 1 RefFramemwork Description Mame Figure 29 How to create Equivalence Map Page 38 of 172 Equivalence Map From e Ref Framework RefFramework A C Ref Activity Acta C Ref Activity ActB Steps Select the mapping model the map group and the target Framework model Finally select the object From the source framework model and the equivalence n OPENCOSS Platform Tools User Manual Filtering Map Group Jeen Filter Map Element Activity v Equivalence Map E ID Name Type Full Justification IE oe Ref Framework RefFramework DET Ref activity ActA DET Ref Activity ActB 143 Ref Artefact ArtfA 187 Ref Artefact ArtfB DE Ref R
166. odel ia Mew Assurance Project re Process Model AX Property Model to File V Property Model to Repository BeFFramevanrk Dianram Show All Wizards Cancel Figure 47 Creates or Updates Baseline wizard The first page of the wizard requests the selection of the assurance project model to update Page 52 of 172 OPENCOSS Platform Tools User Manual Select the Assurance project to update Enter or select the parent Folder ISO 26262 Project ASSURANCE PROJECT tailored refframework CLEAN EE RefFramework mapping CLEAN LS TACR23 CLEAN H 13 RETS6 CLEAN E E 15026262 Project CLEAN GH ASSURANCE PROJECT CLEAN tailoredRefFramenwork baseline CLEAN Eee 15026262 Project mapping CLEAN 15026262 Project assuranceproject CLEAN kailoredfefFramework baseline diagram CLEAN L EVIDENCE CLEAN Resource name 50262622 Project assuranceproject Figure 48 Selection of the Assurance Project to update The following steps are exactly the same than for the generation of a new assurance project Select the desired reference framework model to be used as source for the generation of the baseline in the left list then in the right list will appear its contents in form of checkable tree for the generation of the baseline Select the nodes of the tree that will be applied to this baseline and give a name to the baseline taking into account that if the given name is the same as previous existing bas
167. odel to Repository E E Mapping Model Cg New Assurance Project H Process Model QE Property Model to File Di Property Model to Repository e Refframework Diagram Refframework Model 2 Plug in Development Show All Wizards Cancel Figure 19 Refframework Diagram wizard New Refframework Diagram Create Refframework Diagram Enter or select the parent Folder IRefFalder H Sessioni opencoss Resource name default2 refframework diagram Figure 20 Refframework Diagram wizard II Page 31 of 172 SS OPENCOSS Platform Tools User Manual New Refframework Diagram Create Refframework Domain Model Enter or select the parent folder IRefFalder E E Gis Session opencoss Pee EEE EEL eer z EG view 1 MAIN Resource name default refframework Figure 21 Refframework Diagram wizard III After that the diagram is ready for edition 4 2 5 Non graphical editor Alternatively to the graphical Editor the Reference Framework model can be edited by using a purely Form Editor To do so open the file created together with the Diagram file extension xxx refframework S RUNTIME SECONDCCL Resource cdo openc refframework Eclipse File Edit Navigate Search Project Refframework Editor Net4j Examples Run Window Help Fenr eee QuckAcces ET amp Repository Explorer 23 oP A Yo 15026262 refframework_diagram amp 15026262 refframework 53
168. of the following panels e Top panel It contains links to User Manual documents and links to server administration pages e Project and Menu panel It contains o Aselect box with assurance projects which have been created in OPENCOSS platform o Main menu with links to OPENCOSS server reports There are several reports presenting analytical view from assurance data stored in OPENCOSS platform Page 152 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Each of the reports is described in the subsequent chapters e Main panel 11 2 It presents the main content of the page depending on the current report or page selected from the menu and the given assurance project Compliance report 11 2 1 Goal of the report Compliance report provides extensive functionality which helps OPENCOSS platform users to assess the current compliance of their project to the selected safety standard i e baseline The functionality is intended to be used by Project team members for example developers when the project is in progress in order to have up to date insights into which of the baseline framework items are already satisfied and to what extent Project safety manager in order to monitor the project general compliance observe the compliance details and add assign or un assign specific evidence resources to from the given requirement of the safety standard which is followed by the project Independent safety assessor when the projec
169. on Editing of the properties of an object ArtefactDefinition ArtefactDefinition ArtefactDefinitionArtefact ArtefactDefinitionEvaluation ArtefactDefinitionEvents Properties Id Name Description Figure 136 Artefact Definition Description II 1 Artefact Definition base o Id Artefact Definition identifier o Name Artefact Definition name o Description Artefact Definition description 2 Artefact Definition Artefact o Name Artefact name This field is read only Version ID Identifier of the artefact version Date Date of the artefact version Last Version This field shows what artefact is the version in use File ID Identifier of the file associated with the artefact Name Name of the file associated with the artefact O O O O O Page 109 of 172 OPEN O SS OPENCOSS Platform Tools User Manual o Description Description of the file associated with the artefact EI Properties 2 D Artefact Definition ArtDefinitionRules Base v Properties ArtefactDefinitionArtefact ArtefactDefinitionEvaluation Name Version ID Date Last Version ArtefactDefinitionEvents File ID Name Description In order to open a file it s necessary edit the desired version artefact Figure 137 Description Artefact Definition Artefact 3 Artefact Definition Evaluation o References to the assurance asset evaluations that specify the outcome of evaluating the artefact E Properties 23
170. on 3 Artefact Property Value o Property Property name o Value Property value ES Properties 3 peo So S Artefact 1 v Properties ArtefactVersion ArtefactPropertyValue ArtefactEvaluation dd ArtefactEvents Delete Figure 146 Description Artefact Property Value 4 Artefact Evaluation o Evaluation References to the assurance asset evaluations that specify the outcome of evaluating the artefact When a user introduces Evaluation information to an Artefact and AssuranceAssetEvent of type Evaluation is added automatically to the Artefact ES Properties 23 x 7 7 a Artefact 1 Base Properties ArtefactVersion ArtefactPropertyValue 1 Criterion ArtefactEvaluation ArtefactEvents Evaluation Result Delete L DIEI Page 114 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Figure 147 Description Artefact Evaluation 5 Artefact Events o LifecycleEvent References to the assurance asset events of which the lifecycle of the artefact consists ES Properties 23 mi S Artefact 1 Base Properties ArtefactVersion ArtefactPropertyValue Dn Dm me AssuranceAssetEventl Generated automatically during Artefact modification ArtefactEvents Delete Edit Figure 148 Description Artefact Events When adding child Artefact to other Artefact it s created automatically ArtefactRel information with modificationEffect MODIFY and revocationEffect MODIFY with source parentArtefact a
171. on page facilitates project editing basic actions For more advanced project editing functionality OPENCOSS Eclipse Client Editor should be used The page allows the following basic actions e Project name and description editing e Project baseline name editing Note that only one baseline of the project is presented e Project baseline element editing User can add remove and modify baseline elements For the specific baseline element its name and description can be specified Page 170 of 172 OPENCOSS Platform Tools User Manual Project Administration Baseline Framework ISO 26262 ui Cancel Delete project Assurance Project Name Assurance Project Description Assurance Project Resource ePark ePart is a project to design and develop automated system for car driving at the parking areas ePark A SSURANCE PROJECT ePark assuranceproject Baseline Framework Name ISO 26262 Add new Baseline Artefact Note This page facilitates project editing basic actions like modification of project baseline artefacts For more advanced project editing functionality use O Baseline Framework Artefacts Baseline Element Name Baseline Element Description 2 5 5 1 Organization specific rules and processes for functional safe A company should organize specific rules and processes for functional safety Edit 2 5 5 2 Evidence of competence Edit Figure 248 Project Admininstration web page on OPENCOSS server 11 7 2 Crea
172. ository Preferences The management of Evidences must be made through the creation of a new model of the type Evidence Model In order to generate a new Evidence Model the following steps need to be done e First select the entry of the menu File gt New gt Other Edit Navigate Search Project Run Window Help New Alt Shift N gt Project Open File GS Folder Close Ctrl W File Close All Ctrl Shift W Task E GENUS Untitled Text File Save Ctrl S Save s Example Save Ctrl Shift S Save All Ctrl Shift S Other Ctrl N Revert Move 7 Rename Refresh Convert Line Delimiters To Print Switch Workspace Restart Import Export Properties Alt Enter Figure 128 New Evidence Model menu File gt New gt Other Page 105 of 172 OPEN O SS OPENCOSS Platform Tools User Manual e Inside the category of the wizard Opencoss select the Evidence Model to the Repository and press the Next button Select a wizard Creates new Evidence model to Repository Wizards type filter text amp Arg Model to File Arg Model to Repository Qi Assuranceasset Model to File 93 Assuranceasset Model to Repository amp Assuranceproject Model Baseline Diagram Baseline Model s a Creates or Updates Baseline far Evidence Model to File fae Evidence Model to Repository EE Mapping Model Show All Wizards Q a Figure 129 New Evidenc
173. ould be double clicked to select this as the inter module dependency to be resolved by the contract being created Figure 108 The second wizard page is similar to the first except now the user should double click the claims and or solutions that will resolve the dependency selected in the first wizard page Figure 109 Note that one or more claims and or solutions may be selected on this page In the third page of the wizard an explanation may be entered as to how the selected claims and or solutions resolve the selected inter module dependency Figure 110 After completing the wizard an argument diagram representing the contract is created and opened This can be edited like any other argument diagram Page 92 of 172 OPENCOSS Platform Tools User Manual Select Undeveloped Claim Select the cliam from an argumentation model that requires support from other modules by contract Select Argumentation Model AutomotiveUseCase Modules eParkComponent arg Select Claim s Requiring Support By Contract Description CDOResource The power supply to the voc EPark voc syst AutomotiveUseCase Modules e AutomotiveUseCase Modules e The voc VCU voc component identifies inc AutomotiveUseCase Modules e Inherited Context Associations CA Source ID CA Source Description CA Target ID CA Source Description G7 The voc VCU voc comp C12 Data must be supplied t G4 The EPark voc item perf C10 voc Driver action new e G
174. p left portion of the report Once a specific metrics is selected on the Metrics menu the metrics menu details are presented in the right part of the report with a description of the main goal and all the different types of charts related to that metric Also the user has the option to the selected metric to a Word Document with more detailed information As a small example the following figure Page 168 of 172 OPENCOSS Platform Tools User Manual Project Applica y Ej Reports v f GArgumentation Ji Evidence Ka Process Metrics Estimation report Baseline Framework 18026262 IRR v Export to MS Word Time Efficiency Metrics Menu Goal Time Efficiency All Metrics Baseline Metrics Blox Activity Development Chart Date Sep 2013 Nov 2013 Jan 2014 Mar 2014 May 2014 Jul 2014 Sep 2014 Nov 2014 Mapping Metrics Assurance Asset Metrics Refframework Metrics Y Process Metrics Monitor of Process 0022 Resource Efficiency Argumentation Metrics Activity 23 and Ld Cd Activities Activities Description Y Activity ID 22 Name 0022 Start Date 12 9 2013 End Date 25 9 2013 Y Activity ID null Name Activity 23 Start Date 25 10 2013 Figure 244 Description of the selected metric type presented at the left 11 6 2 Equivalence Map Report The Equivalence Map Report can be accessed via the following OPENCOSS web server menu item as showed beforehand In this case the equivalence met
175. pplicability Table ISO 26262 Then you can add rows by defining the target Method technique and select the Criticality Level and the Recommendation level NOTE You must first create Criticality Levels SIL and Recommendation Levels o or others as required by clicking on the Diagram in some blank space where you will see Properties of the RefFramework model element the Standard In the case of the DO 178C standard to create Applicability Table such as the next figure Hoe TETES H c 6C 6o amp The software Ife cyciers Including the Inter reiationships HOM Oe 6 Gn Go Se n d CO d 6n in dx a Oo 6n 6n C2 Pa Ris PD b s AM fat 5 e ai a4 PD b P5 x fat a P5 Ci s um fai Kis fai a P a Pa a P5 m Ll P5 ea P5 Ci iy SOA c e c c c G C Standards ea cea eg i cu bra Figure 36 Applicability Table DO 178C It needs to make two steps Page 43 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 1 First it needs to define the applicability table for the activities select the desired Activity from the Standard go to Tab called ActivityApplicability Then you can add rows by defining the target Requirement and select the Criticality Level and the Recommendation level RefActivity ActivityRequirement ActivityApplicability N ActivityEquivalenceMap ID Requirements Criticality Applicability FEE I g
176. r o select the parent folder the resource name and press the Next button Page 144 of 172 OPENCOSS Platform Tools User Manual Create a Dawn Resource Enter or select the parent folder 4 OB Session6 opencoss 4 View 1 MAIN gt L mcp CLEAN gt ok CLEAN b 5 TPK Test CLEAN b l Ref CLEAN b l Test Model CLEAN gt l Lor CLEAN gt amp larry CLEAN Resource name RefFramework mapping Figure 204 New Mapping Model II e And finally select the Map Model object to create Mapping Model Select a model object to create Model Object XML Encoding UTF 8 Figure 205 New Mapping Model Ill Once the Mapping Model has been created the first item is presented to the user Page 145 of 172 OPENCOSS Platform Tools User Manual e Repository Explorer 5 E B integretion refframework CLEAN Qn IRRdefault property CLEAN IK 150 EQUIV JRR mapping CLEAN 15026262 IRR refframework diagram CLEAN P katrina evidence CLEAN si ketrinal eidence CLEAN amp katrina refframework diagram CLEAN B leon reffrermework_disgram CLEAN leonseftramework CLEAN 2 oll refframework diagram CLEAN f ot reftramework CLEAN P opencoss evidence CLEAN B PruebaMapping baseline diagram CLEAN B PrucbeMepping baseline CLEAN 8 rail refframework diagram CLEAN 2 rail2 refframework disgram CLEAN f rail2 refframework CLEAN e railway sefframewor
177. re 64 Create a new evidence model message Page 63 of 172 OPEN O SS OPENCOSS Platform Tools User Manual If the target model already has an evidence model the user is asked if he wants to use it as destination model of source Artefacts to reuse If the user answers Yes the existing evidence model will be used as the target model of the reuse and the cross domain window will be opened If the user says No the previously explained message will appear see Figure above Reuse evidence models The target project already has evidence modells Do vau want bo reuse vo iE Ehem Figure 65 Use existing evidence model message The Cross Domain window is organized in three zones The left zone shows information about the target project In the top part the URL of the target assurance project above a tree with the target baseline contents above the compliance map information of the target baseline element selected and the contents of the target evidence model in other tree The middle zone displays equivalence map information It includes controls to select the equivalence mapping model and the equivalence map group display the equivalence map details of the target baseline element selected and its postconditions in a list to see the ID Name and description one postcondition must be selected The right zone presents information about the source project In the top part the URL of the source assurance project above a tree
178. rgumentation Modules that Constitute the System Assurance Case Description CDOResource AutomotiveUseCase Modules P Modules Selected ID Description CDOResource eParkModule AutomotiveUseCase Modules e vcuModule AutomotiveUseCase Modules V Back Net Finish Cancel Figure 112 Select Argumentation Modules to Integrate Page 95 of 172 OPENCOSS Platform Tools User Manual Select Argumnet Contract Modules Select argumnet contract modules that resolve inter module dependencies Description CDOResource ContractToResolve eParkModule G6 AutomotiveU Modules Selected ID Description CDOResource ContractToResolve eParkModule G7 AutomotiveUseCase h ContractT oResolve ePark G9 AutomotiveUseCase N Cancel Figure 113 Select Contracts that Resolve Inter Module Dependencies of Modules Previously Selected 6 6 Argumentation Change Management After integrating argumentation Section 6 5 it is possible to check whether argument modules which comprise the system have changed in ways which might compromise the integrity of the contracts that have been created The user should click Argumentation Argumentation Change Analysis Search Project Run Argumentation Window Help ET mE 2 Argumentation Change Analysis Ctrl 6 4 Pr e LI dr eParkComponentarg diagram 3 AF eParkComponent arg y b testProject C10 P AssertedContext Driver act
179. rics are between two Reference frameworks not specific OPENCOSS safety project needs to be selected in the top panel The only possible configurations are between reference frameworks as shown in figure below E SS Equivalence Map report From Reference Framework 18026262 IRR v Export to MS Word To Reference Framework tailored v Figure 245 Selection of reference frameworks After the selection the metrics of the equivalence maps and a detailed description are showed on the screen There is also a possibility to export this information to a document Page 169 of 172 OPEN O SS OPENCOSS Platform Tools User Manual Equivalence Map Metrics Goal Maintenance of Mappings Refframework Maps Number of Maps gikan Bm dal EE REEF ee a ENT Bn Requirements Artefacts Roles Techniques Activities Type of Equivalence Map E Ful Map Partial Map lii No Map Maps Description Y Requirements Y Artefacts Figure 246 Equivalence Map Report 11 7 Administration web GUI OPENCOSS server web pages provide a few basic pages for server administration They are accessible through Administration menu OPE SS E Help Xt Projects Administration Project ePark E Reports v f e Argumentation ah Evidence Create sample Data 4 Configuration Settings Compliance Estimation report Baseline Framework ISO 26262 Export to MS Word Figure 247 Administration menu 11 7 1 Projects Administration This administrati
180. rized sentences The Claim Types Editor allows the user to define claim types and structured sentences Create a new list of claim types under File gt New gt Other Select a wizard Creates new Claim Types model to File Wizards claim types 4 2 Opencoss Claim Types Model to File Figure 123 New Claim Types Editor In the following example the sentence structures have been parameterized with categories from the vocabulary like risk and risk mitigation technique Page 101 of 172 OPENCOSS Platform Tools User Manual 8 Resource sample project My claimtypes OPENCOSS Rich Client File Edit Navigate Search Project Claimtypes Editor Window Help F3 bd A wj E ka w J 8 m m m Tahoma g H Ta v OG so v Quick Access ES My claimtypes 2 em fus Fin Resource Set Ea li platform resource sample_project My claimtypes E i Claim Type Repository Car Claim Type Risk Sentence Structure The var risk is below var risk level Claim Type Timing Selection Parent List Tree Table Tree wks Columns Ed Properties 2 E Templates View Property Value Color 12254 217 166 Description Claims about the risk of a system or component Id t CT001 Name Risk Figure 124 Claim Type Repository The properties view of the argumentation editor has been extended to list the available claim types Select any of the goals navigate to the appropriate
181. rk A PET Ref Activity ActA PET Ref activity ActB 187 Ref Artefact Artfa 187 Ref Artefact ArtfB CIZ Ref Requirement Req Ei Ref Requirement RegB Ref Role Roles Steps Select the mapping model the map group and the target framework model Finally select the object from the source Framework model and the equivalence Figure 31 Equivalence Map select map element I o Filter Equivalence Map This filter allows making different equivalence maps for the same from refframework element o The mapping information must also be introduced in the middle part by the user this information is the ID the name the type and a justification text e The right zone shows two lists and a combo box o The combo box It shows all the database refframeworks to select the reference framework that will be the target of the equivalence map to create o The upper list loads the elements according to the filter selected of the refframework chosen in the combo box that will be the target of the equivalence map to create o The lower list displays the full content not filtered of the source refframework that will be postConditions in case of reusing The postConditions are mandatory extra activities not included in the standard that must be performed in case of reusing the target element from one assurance project based in the target refframework in another assurance project based in the source refframework using the Cross
182. rm categorized term failure termination of the ability of an element 1 32 to perform a function as required isa isa common cause failure failure 1 39 of two or more elements 1 32 of an item 1 69 resulting cascading failure failure 1 39 of an element 1 32 of an item 1 69 causing defined by i defined by defined by NS ISO 26262 Terms and Definitions Figure 117 Example Vocabulary Diagram Writing vocabularies is a time consuming process To save some or all of that work vocabulary data can be imported from files in a custom XML format In order to talk about elements of the CCL model in the argumentation it is not necessary to duplicate the model elements as vocabulary terms Instead they can be imported into a vocabulary Select Import a vocabulary from an AML file into the workspace Select an import source import Vocabulary Import LJ Import into Workspace EJ Import Vocabulary Data from Local Project Figure 118 Vocabulary Import Page 98 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 6 8 Using Vocabularies in the Argument Editor Terms and term categories from the vocabulary can explicitly be used in the argumentation In order to do so Some mark up is required The mark up is visible while editing text otherwise it will not be G001 The felement has been specified correctly in order to avoid failure e var element has z
183. roject Page 47 of 172 OPENCOSS Platform Tools User Manual BK Creation of Assurance Project Creation of 4ssurance Project Project name IS 256252 Project i Figure 42 Assurance Project name page The next page of the wizard will show in the left the list of reference framework model in the whole repository Select the desired refframework and in the right list will appear its contents in form of checkable tree for the generation of the baseline Select the nodes of the tree that will be applied to the project are creating give a name to the baseline and click the Finish button to generate all the project information This process could take several seconds Only is possible to Finish the process if you give a name and select almost one concept Page 48 of 172 OPENCOSS Platform Tools User Manual OPENCOSS Reference Framework Selection Choose associated Reference Framework Reference Framework Selection Baseline Selection 15026262 refframework Ikailored refframewark HET Ref Activity 1 vocabulary PE Ref Activity 2 Management of Functional safety ES mun Ref Activity 2 5 Overall safety mangement NE Ref Activity 2 6 Safety management during the concept pha mn Ref Activity 2 7 Safety management after the item s release Pi Ref Activity 3 Concept phase Pi Ref Activity 4 Product development at the system level Pi Ref Activity 5 Product development at the hardware level ral Ref Activity 6 Pro
184. rtefactPropertyValue Property Value Value Value Editing of the properties of an object Value Properties Name Originality Value derivative Property Originality Property Consistency Figure 163 Artefact Value dialog box 2 Another way pressing the right mouse button and selecting the contextual menu New Child gt Value to bring up the Artefact Property properties Page 122 of 172 OPEN O SS OPENCOSS Platform Tools User Manual far TACR23 evidence 53 Er Resource Set 4 amp TACR23 evidence 4 E Artefact Model 4 D Artefact Definition ArtDefinitionRules S Artefact Rules New Child Assurance Asset Evaluation New Sibling gt NK Assurance Asset Event lt J Undo Do Command Ctrl Z Value y Artefact Redo Ctri Selection Parent List Artefact Rel of Cut 4 Resource E Properties 53 a Copy l FA Paste 4 Artefact Rules XX Delete Base E ArtefactVersion sua ArtefactPropertyValu Control Value ArtefactEvaluation Wizards b l ArtefactEvents Locking r Conflict r Load Resource Refresh Show Properties View Figure 164 Add Artefact Property Value II far TACR23 evidence 23 EL Er Resource Set 4 l TACR23 evidence 4 E Artefact Model 4 D Artefact Definition ArtDefinitionRules 4 4S Artefact Rules f Value Selection Parent List Tree Table Tree with Columns E Properties 53 vop i Value Base v Properties Name Value
185. s Description OwnedActiviby All L Activity Activity 1 activity Activity 2 JJ by OwnedParticipant 2 2 4 Figure 190 Delete Process Model data using properties view Page 137 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 9 Properties Management The management of Properties must be made through the creation of a new model of the type Property Model In order to generate a new Property Model the following steps need to be done e First select the entry of the menu File gt New gt Other File Edit Navigate Search Proj Run Window Help g ject New Alt Shift N gt FY Project Open File C Folder Close Ctrl W File Close All Ctrl Shift W Task e Untitled Text File Save Ctrl S m Save As Example Save All Ctrl Shift S Revert Other Ctrl N Move 77 Rename F2 Refresh F5 Convert Line Delimiters To gt Print Ctrl P Switch Workspace b Restart Import Export Properties Alt Enter Opencoss ve err Figure 191 New Property Model menu File gt New gt Other e Inside the category of the wizard Opencoss select the Property Model to the Repository and press the Next button Select a wizard Creates new Property model to Repository Wizards type filter text Baseline Model s a Creates or Updates Baseline far Evidence Model to File far Evidence Model to Repository E
186. serted in the argumentation from the templates view using drag and drop If the placeholder is correctly marked as a general category from the vocabulary it can be quickly instantiated with one of the specific vocabulary terms from that category The instantiation action is available in the context menu when right clicking on the placeholder The element has been specified correctly in order to avoid fail WJ Add Note Navigate File Edit Delete from Diagram Delete from Model Format Instantiation cascading failure Ej Show Properties View LENA b failure i failure Properties allure Figure 122 Pattern Instantiation Page 100 of 172 OPENCOSS Platform Tools User Manual 6 10 Structured Sentences Oftentimes statements inside of safety claims fall into different categories e g risk claims or timing claims For each of these claim types there is only a small number commonly used sentences if the sentences are appropriately parameterized using general categories from the vocabulary An example of such a parameterized sentence structure might be The risk has been mitigated by risk mitigation technique Predefined sentence structures grouped into a set of claim types such as the risk claim type offer the user typical statements he likely wants to make in his safety argumentation They are even more useful when defining argumentation templates because large parts of the template will use paramete
187. sion Config 15026262 ProjectPermissionConfig Baseline Config tailoredRefFrameworkBaselineConfig Selection Parent List Tree Table Tree with Columns JJ Tasks Ed Properties 53 Error Log Problems pf B 8 Assurance Project 15026262 Project Base Properties ProjectBaselines Id PermissionConfigurations Name 15026262 Project AssuranceAssets Description Created By Responsible Date Version Sub Project Figure 45 Assurance Project editor 5 2 Create or update Project Baseline To create a new assurance project baseline or update and exiting one select menu File gt New gt Other or use the arrow in the right of the button Ci in the top button bar and select Other File Edit Navigate Search Project Tia Q7 9 0 FY Project 4 Folder F File ET Task E Untitled Text File LE FY Example m Other Ctrl M HA R efFrarmeimnrk mannin Figure 46 Other kind of projects option Choose the wizard Creates or Updates Baseline behind the Opencoss category Page 51 of 172 OPENCOSS Platform Tools User Manual Select a wizard Adds new Baseline or updates existing one to an Assurance Project Wizards type fiter teed Ta Assuranceasset Model to Repository amp Assuranceproject Model Baseline Diagrarn Baseline Model Tri creates or Updates Baseline T Evidence Model to File T Evidence Model to Repository ERE Mapping M
188. sl process x Copy Process Models Target Project Project2 ASSURANCE PROJECT Project2 assuranceproject Source Project ProjectL ASSURANCE PROJECT Project Lassuranceproject F Baselinel baseline 3 ProjectlEvidences evidence 3 Project Evidences evidence v Copy Evidence Models FE Baselinel arg 3 Processl process Copy Process Models Figure 74 Cross project Copy only evidences OPENCOSS Platform Tools User Manual Page 69 of 172 OPENCOSS Platform Tools User Manual OPEN OSS To begin the copy process the user must click over the Reuse button In case of copying all the models the information message in the screenshot below will be show to clarify to the user that the active Assets Package and Baseline Configuration of the target process will be changed In case of reusing evidences this message won t appear e Changes to target Assurance Project The models will be copied and related to a new Asset Package and new Baseline b Configuration that will be set up as the active ones Figure 75 Cross Project information message When the copy process ends a message window will be shown In the next screenshot we can see boxed in red the new models copied and the new information added to the target assurance project model amp CDO Explorer cdo opencoss Project2 ASSURANCE PROJECT Project2 assuranceproject Eclipse Platform e lee mn 6 tt gt EXON File Edit
189. support Enter Justification Optional The selected Figure 110 Justification of Dependency Resolution 6 5 Argumentation Integration After creating contracts to resolve all argumentation inter module dependencies a system integration argument should be created to pull together the strands of argument from all of the modules of software components that comprise the system To create a system integration argument go to File gt New gt Other gt Opencoss gt Argumentation Integration Figure 111 Page 94 of 172 OPENCOSS Platform Tools User Manual Select a wizard Wizards type filter text b z General gt amp Eclipse Modeling Framework gt amp Ecore Tools gt amp Java 4 amp Opencoss amp Arg Diagram to File amp Arg Diagram to Repository amp Arg Model to File amp Arg Model to Repository Argumentation Contract Qu Assuranceasset Model to File Finish Cancel Figure 111 Argumentation Integration Wizard The first wizard page the user selects all of the argumentation modules that will comprise the system The second page is where the user selects all of the contracts that resolve all inter module dependencies of modules that will comprise the system Select Argument Modules Select argument modules that will constitute the system safety case Select Argumentation Model AutomotiveUseCase Modules PowerSupply_Argument arg Select A
190. surance Asset Event dialog DOX ccccccssccccesseccccenscceceesececeenececeegecceseusecetsenecetsenes 128 Figure 176 Add Artefact Assurance Asset Event ll eene nnn nennen 129 Figure 177 Artefact Assurance Asset Event properties cccccssccccssseccccessececeesececeesececeeeseeeseenecessegecetsenes 129 Figure 178 Delete Artefact Assurance Asset Event l rarnnnnnnnnnrnnnnnrrrnnnnnrrnnnnnernnnnnerrnrnnnennnnnnevnnnnnssnnrnneseeenne 130 Figure 179 Delete Artefact Assurance Asset Event ll nennen nennen nennen nnns 130 Figure 180 Artefact modified with automatically generated CVENKS ccccccessecccesseccceescceeeeseceeeeneceeeeees 131 Figure 181 Artefact analyser confirmation WINGOWS sscccccsssececeesececcescceceusececeeeceseueceesausecessenecetsegas 131 Figure 182 Artefact events created by Impact AnalySer cccecccccssseccccessccccesececeeececeensceeseeecessunecesseges 132 Figure 155 aw Pho5ess MO EE RP tS dM PnIaS ru pea uec PEPSMM ap ad dU UNE 133 Figure 13a NeW Process Model lla tss mEs us ietbusa ua Ert Dos lead TS desdoiputicoREu tem ER MALUS 133 Figure 135 New Process Modus 134 FIBEUre 1596 T FOCeSS MOd EEE EE ER 134 Figure 187 Create Process Model data using context MENU cccccsseccccessccceeeseceeeeeceeeeeseceseusecesseneceeseees 135 Figure 188 Create Process Model data using properties ViOW ccccccccsssccccessececeesececeeesceeseesecetsuneceesenes 135 Figure 189
191. t draws to an end in order to browse the assigned safety evidence evaluate it and independently assess the actual project compliance to the specific safety standard Two modes of the report can be distinguished An interactive mode where user can actively browse the report select the specific baseline items view their properties their compliance mapping and the associated evidence and add or remove the evidence resources mapped to the specific baseline element A printer friendly report which is a textual output presenting all the information of the current compliance of the selected project The compliance report can be accessed via the following OPENCOSS web server menu item Reports gj ex Argumentation d f Compliance report qui Compliance Estimation report Gap Analvsis report Bas p y p Metrics Estimation report 2 Equivalence Map report 1 Organization specific rules e eurena SLELUY TIE sereu rewunelTient has no evidence provid Add a compliance evidence to this project baseline elem Please drag and drop a Tile to this are Figure 218 Menu item directing to Compliance report 11 2 2 Viewing compliance data on the report The compliance report allow users to see the overall compliance of the selected project to the specific safety standard Page 153 of 172 OPEN O SS OPENCOSS Platform Tools User Manual When a specific OPENCOSS assurance project is selected in the top panel i
192. t is described 6 3 3 6 Adding Elements from Modules to a Diagram instantiating a Module An Argumentation Module can be instantiated thus all its content copied into the diagram under edition To proceed drag and drop a Module Diagram file into the diagram under edition Once is its instantiated an argumentation graphic notation will appear on your diagram Figure 97 Argumentation Module Page 86 of 172 OPEN O SS OPENCOSS Platform Tools User Manual By double clicking on this Argumentation another diagram will appear with the argumentation context of this module The url property indicates the location of this diagram 6 3 4 Connecting a Diagram to Artefacts Firstly proceed to load the evidences model evidence from the repository So press the Outline and select Load Resource in the context menu B Outline 52 e gmt amp susmg S 750 Figure 98 Load Resource to Argumentation Diagram Then browse into the workspace to select the evidences model resource Load Resource Resource URIs Browse Target Platform Packages Browse Registered Packages Browse File System Browse Workspace Figure 99 Select Evidence model as resource Now information element citations can be related to its artefacts To carry out select an Information Element Citation and press operator in Artefact section Page 87 of 172 OPEN O SS OPENCOSS Platform Tools User Manual El Console Properti
193. t menu Page 120 of 172 OPEN O SS OPENCOSS Platform Tools User Manual far TACR23 evidence 23 Er Resource Set 4 TACR23 evidence 4 E Artefact Model 4 Artefact Definition ArtDefinitionRules g Artefact Rules amp Artefact New Sibling r Undo Ctrl Z Redo Ctrl of Cut Copy Paste lil Selection Parent List Tree Table Tree with 3 Delete ET Properties 57 P Validate Control Properties are not available Wizards Rename 3 Remove ey Export Locking gt Conflict gt Load Resource Refresh Show Properties View Figure 160 Load Resource Property model Then introduce the URI of the property model Resource URIs Browse File System Browse Workspace cdo opencoss TACR23 EVIDEMCE TACR23 property Cancel Figure 161 Select Property model 7 5 1 Add an artefact property value to an artefact Once the artefact is selected it is possible to add an artefact property in two ways 1 One way selecting the tab Artefact Property Value and pressing the button Add to bring up the Property Value dialog box Page 121 of 172 OPEN O SS OPENCOSS Platform Tools User Manual F r TACR23 evidence 53 70 tS Resource Set 4 BB TACR23 evidence 4 E Artefact Model 4 Artefact Definition ArtDefinitionRules Selection Parent List Tree Table Tree with Columns E Properties 52 M vop amp Artefact Rules Base v Properties ArtefactVersion A
194. te Sample Data This OPENCOSS server administration web page provides a functionality which allows user to generate sample data in the database The sample data can be generated for example in order to demonstrate Gap Analysis report OPENCOSS user can generate the following sample data for the selected assurance project e baseline framework e base artefacts e base activities e artefacts and activities being mapped with compliance mapping to the base artefacts and base activities Project ePark Y H Reports Create Sample Data ui Name of BaseFramework ISO 26262 Number of BaseArtefacts 1 T Num ber of BaseActivities 12 Range of Artefacts Activities tor BaseElements 12 T Generate Data Figure 249 Create sample data page Page 171 of 172 OPEN O SS OPENCOSS Platform Tools User Manual After pressing Generate Data sample data will be created and inserted into the selected assurance project 11 7 3 Configuration Settings This page presents the main configuration settings of the OPENCOSS server These settings are stored and can be modified on OPENCOSS server host in opencoss properties xml file which is present in the operating system user home directory Page 172 of 172
195. tes IO Openkm O Servicio Hosting GJ vVEMA Escritorio Mis documentos GQ uer 5 ID Mis sitios de red Tipo ER vi Figure 155 Select Artefact from the local drive 1 In case of using a Remote Repository to add the file press the button Location to select the file that will be added to the artefact resource from the local drive and after press the Commit button to upload it to the SVN server If the already file exists in the SVN Server use the Assign Page 118 of 172 OPEN O SS OPENCOSS Platform Tools User Manual button to select and assign it to the artifact version Finally the SVN history of the file will be displayed in the table below Select file from repository to assign E f doc gt Samples Opencoss SDVS pdF wh OPENCOSS_Prototype1_UserManual doc 1 features 6 plugins E 2 tests Figure 156 Select Artefact from the SVN Remote Repository https sg1 esilab orglopencoss impllopencoss trunk Location doc Opencoss_ SDS pdf Revision Date Author Comment 1408 10 21 2013 14 54 57 angellopez Mew artefact Opencoss SDS Figure 157 SVN History table of a File 2 Clicking the Open button will launch the corresponding application to open de file In case of remote repository the file will be downloaded in a local temporally file 3 Clicking the Delete button will delete the file from the repository local or remote
196. the compliance map 6 5 5 Cross Domain reuse The cross domain window objective is reusing the evidences from one source assurance project of one domain in a target assurance project of other domain It s mandatory that the target assurance project is based in a refframework with equivalence maps with the refframework in which is based the source assurance project and logically the source project must have and evidence model Page 62 of 172 OPEN O SS OPENCOSS Platform Tools User Manual To access this functionality open the target assurance project model and press the button Cross Domain on the properties form of the Assurance Project element of the model LE ME cu Te PL a Project Explorer 4i Repository Explorer nn E T H d Project2 assuranceproject 23 Gs Session opencoss En Resource Set a View 1 MAIN 4 gt Projectl CLEAN gt ARGUMENTATION CLEAN gt ASSURANCE PROJECT CLEAN 4 l EVIDENCE CLEAN e Project Evidences evidence CLEAN 4 PROCESSES CLEAN Hg Processl process CLEAN 4 gt Project CLEAN 4 ARGUMENTATION CLEAN 4 Baseline2 arg diagram CLEAN d Baseline2 arg CLEAN 4 1 ASSURANCE PROJECT CLEAN Baseline2 baseline diagram CLEAN E Baseline2 baseline CLEAN amp Project2 assuranceproject CLEAN HE Project2 mapping CLEAN gt EVIDENCE CLEAN l PROCESSES CLEAN gt gt RefFramewarks CLEAN gt E Vacio CLEAN 4 Project2 assuranceproject gt
197. ties 23 fj CDO Watch List f CDO Remote Sessions 3 Assets Package AP 1 Name AP 1 Description Created automatically for Cross Project Reuse WJ Is Active Artefacts Model Quick Access ca Ei Ro Resource B CDO Explorer amp Java Ee Outline 23 e Project2 assuranceproject a Baseline2 baseline Project2 mapping Projecti Evidences2 evidence ProjectlEvidences evidence l Baselinel arg Processl process p Yo E s x Ec Artefact Model Artefact Model EZ Artefact Model AM2 Argumentation Model E 6 2 Case Process Model 18 Model PM1 Figure 76 Cross project reuse result BE Page 70 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 6 Safety Argumentation Management 6 1 Preferences Set some configuration Parameters in Window Preferences gt Opencoss gt Argumentation In the section you can define parameters required by the Argumentation diagram editor The parameters which can be defined are below e Modules directory preference This folder contains all argumentation modules stored from previous argumentation e Patterns directory preference This folder contains all argumentation patterns templates e Agreements directory preference This folder contains all agreements These folders are Eclipse Projects that should be created previously Preferences E B tvps fiter tet Argumentation Grorv El General i
198. tributionAcc be acconadip ference The contribution made by software Choice to system 2 hazards is acceptable 4 ie Argumentation modular extensions a c F n Outline 23 JG tung o ArgumentElementCitation Agreement insole ES Properties 53 Error Log Problems Profiling D Claim gt Case Claim Claim gppeacaice Id swContribution amp cc Asserted Inference Base v Properties Diagram argumentation arg diagram Name z Additional Resources Description The contribution made by software Y to system Z hazards is acceptable Figure 82 Open File based Argumentation Diagram In Database Format Double click on the project folder on the Repository Explorer tab in order to expand the folder The stored diagrams will be shown Double click on Argumentation Diagram information file arg diagram to open a diagram in the editing window The diagram can then be edited Page 74 of 172 OPENCOSS Platform Tools User Manual RUNTIME ECLIPSEAPPLICATION Epsilon cdo opencoss argumentation arg diagram Eclipse Platform File Edit Diagram Navigate Search Project Met4jExamples Run Window Help a e wO Q or nplates g Repository 8 B amp K sessioni opencoss S amp S view 1 MAIN Po argumentation arg diagram CLEAN ee vis vB 7 Arv dr Jr or Biv og v foe p Tahoma 100 vi ll E Epsilon li amp argumentation arg_diagram 3
199. ts defined baselines are presented in the middle panel select box Project ePark EE Reports Argumentation Evide Project Compliance Overall compliance status ME m Petails Figure 219 Baseline Frameworks combo box for the specific project The report data section is divided into 4 panels JO M H Administi 7 Help Hie Process Project ePark m Reports Compliance report Baseline Framework ISO 26262 Export to MS Word E rgumentation qui Project Compliance Overall compliance status y Base Asset Compliance Details 2 Selected Baseline Element Name 2 5 5 1 Organization specific rules and processes for functional safety Compliance Status The evidence presented below is fully compliant with the selected baseline asset Type Baseline Element Name Compliance IA Status Status Add a compliance evidence to this project baseline element E 2 5 5 2 Evidence of competence GIL eS Please drag and drop a file to this area or press Upload 2 5 5 3 Evi compiiant f Tees eor B saan ae dca a Note Pressing Assign button will commit your file to SVN and assign it as a compl B 25 3 21 Evidences of a quality management system Not compliant evidence 2632 1 Projet Plan JO Z ne Details Expand to Justification Expand to Asset Expand to Resour E 2 6 3 2 2 Other safety activities Compliant D B 2651 Safety Pan CoO E ee Description Descr
200. use For this session Workspace BAIE nents Settings 106301 workspace i _ Use this as the default and do not ask again x Ce Figure 3 Select the workspace menu The first step after the installation process is to configure the connection settings with the CDO repository where all the models generated using the platform will be stored This information must be introduced in the Model Repository Preference page inside the Opencoss category Go to menu Window gt Preferences to open this window Pie Help New window New Editor Hide Toolbar Open Perspective k aL Show view Customize Perspective Save Perspective s Reset Perspective Close Perspective Close All Perspectives Navigation Figure 4 Preference menu Page 21 of 172 OPENCOSS Platform Tools User Manual Preferences PEE Model Repository Preferences qo General Agreement Arg Diagram Server IP Wings win Erie nl El Model Repository Reference Page El El Baseline Diagram Server port 2036 CDO Ecore Tools Diagram Repository Name opencoss Help InstalllUpdate Java Opencoss Argumentation Artefact Repository Preferences Model Repository Preferences Refframework Diagram Runi Debug Team E E E Protocol tcp E E U Restore Defaults Apply Figure 5 Model Repository Configuration Page linked to the TUE repository The information to introduce is e Server IP The I
201. view 1 MAIN Resource name default refframevwork Cancel Figure 15 New Refframework Domain Model Page 28 of 172 OPEN O SS OPENCOSS Platform Tools User Manual 4 2 How to edit a Reference Framework model After complete the Refframework Diagram creation wizard the perspective of the tool will be opened composed by five views 1 The Repository Explorer shows the contents of the repository The Outline shows the elements of the model and permits its edition 3 The Diagram Editor permits the graphical modelling of a subset of concepts of the Reference Framework 4 The Palette is a toolbox with the concepts of the model and the connections between them to add to the diagram 5 The Properties to edit the properties of the element of the model selected ps RUNTIME SECONDCCL Resource cdo opencoss ISO26262 refframework diagram Eclipse Platform 1 J moste File Edit Diagram Navigate Search Project Net4j Examples Run Window Help FRE ar eT v v v v Tahoma 9 v v v Riv cB 29 E 100 Y Quick Access ES tS Resource dai Repository Explorer 23 amp 15026262 refframework diagram 5 4 Session3 opencoss Palette 4 View 1 MAIN C 1 Vocabulary i Do E amp 15026262 refframework diagram CLEAN I amp Objects C RefActivity 3 RefArtefact C 2 5 Overall safety mangement C 2 6 Safety management during the co C 2 7 Safety management after the
202. work Select the filter map element Select the element from the source reference framework Select or create the equivalence map and introduce the mapping information ID name type and justification Check or uncheck the element from the target reference framework Create the postconditions if needed and check or uncheck the postconditions elements a a a ee Page 41 of 172 OPENCOSS Platform Tools User Manual Filtering EquivMapRefAvsRef 1 mapping a J Ref Requirement Reqi Map Group DE Ref Requirement Req2 MG Requirements i i vi 6 Filter Map Element Requirement Equivalence Map Co C m ID 1 Name Type Justification Equivalence Map with postCondition CO Ref Activity acta CIC Ref activity ActB CJ Ref Activity Extra Activity caused by reusing amp Ref Artefact ArtfA amp Ref Artefact ArtfB Ref Requirement Req Ref Requirement ReqB 2 Ref Role RoleA Steps Select the mapping model the map group and the target framework model Finally select the object from the source framework model and the equivalence map Figure 33 Steps for making Equivalence Map 4 4 Creating Applicability Tables To create Applicability Tables the naming is to cover various standards for IEC 61508 derived standards would be Recommendation Tables such as this one Table 1 System design analysis ASIL Methods A B c D ET Pes fo a ce p rsene sse
203. work r tS Resource Set 4 RefFramework mapping Map Model New Child m Map Group Undo Criz P Map Redo Ctrl V 9 Compliance Map o Equivalence Map of Cut Copy Paste X Delete Validate Control Locking b Selection Parent Conflict gt Load Resource v Li Refresh 3 Map Mod zu Show Properties View Rase v Pronerties Figure 207 Add New Map Group I e Or select the model element and press the icon button s in the base tab Page 146 of 172 OPEN OSS OPENCOSS Platform Tools User Manual WUICK ACCESS ET 40 Reso EE RefFramework mapping 23 R Resource Set Co Selection Parent List Tree Table Tree with Columns Vi Tasks i Problems EJ Console Properties 38 Map Model v Properties Id Pu XuS Name Description MapGroupModel E oak After these actions in the properties zone the framework presents several fields to describe the new map group Figure 208 Add New Map Group I tailoredRefFramework baseline amp Pruebas_IRR assuranceproject iS Resource Set EE RefFramework mapping 25 4 3 RefFramework mapping 4 38 Map Model m Map Group Selection Parent List Tree Table Tree with Columns lt EI Properties 23 Vo s Map Group Base v Properties Id Name Description Figure 209 Map Group properties e ld Map group identifier e Name Map group name e Description Map group description 10 1 2

OPENCOSS Platform - Final Prototype User Manual

Contents

Download Pdf Manuals

Related Search

Related Contents