Unleash the power of functional chains with Capella 1.3.1
1 like•1,350 views
The document discusses Capella 1.3.1, focusing on its enhancements for managing functional chains, which are ordered sets of references towards functions and functional exchanges that describe system behavior. It outlines new features such as improved expressivity in functional description diagrams, allowing for more complex interactions and greater clarity in modeling system behaviors. Additionally, the document highlights the importance of functional chains in ensuring completeness and consistency in system design and validation processes.
Unleash the power of functional chains with Capella 1.3.1
- 1. www.thalesgroup.com THALES GROUP OPEN Unleash the power of functional chains with Capella 1.3.1 Stéphane Bonnet THALES WEBINAR - SEPT 19TH, 2019
- 2. 2 1. What are functional chains? 2. What is new in Capella 1.3.1? 3. Exploiting functional chains
- 3. 31. What are functional chains?
- 4. 4 « A functional chain is an ordered set of references towards functions and functional exchanges » « Functional chains are used to describe the system behavior in particular usage contexts, to describe one or more system capabilities »
- 5. 5 Capability Interface Mode State Function Functional exchange involves Functional Chain Scenario Is described by implements Actors, Components Component exchange involves
- 6. 6 The example: a multi-mission drone-based produt
- 7. 7 Visualize data in live during flight Display acquired HD video in live Display multi-spectral image in live Display thermal image in live Visualize all collected mission data Visualize substance level in live
- 8. 8 Display of functional chains
- 10. 10 Sequence diagram Elements of a functional scenario: lifelines and sequence messages reference functions and functional exchanges
- 11. 11 Functional chain Elements of a functional chain: involvements reference functions and functional exchanges
- 12. 12 Each reference to a function or functional exchange inside a chain or a scenario can be further qualified (or even linked to specific requirements)
- 13. 13 Usage of dedicated edition diagram Initialization of scenarios Automated display in dataflow and architecture diagrams Accelerated creation of functional chains
- 14. 14 2. What is new in Capella 1.3.1?
- 15. 15 Assembly of Functional Chains What is new in Capella 1.3.1?
- 16. 16 Kind of assembly Folded Content of the assembled chain What Arcadia says… None of these schemes are supported by Capella versions prior to 1.3.1 F1 F2 F3 F5 F4 F6 F1 F2 F3 F5F4 F6F4 Compete dataflow FC1 FC2 FC3 e24 FC1 FC2 e24 FC2 FC3 F4 By compatible exchange By common function F1 F2 F3 F5 F4 e24 F5 F4 F6 e24
- 17. 17 Evolutions of Functional Chain Description diagrams
- 18. 18 Sequence and controls What is new in Capella 1.3.1?
- 19. 19 Before Capella 1.3.1, strong difference in expressivity EXAMPLE
- 21. 21 • F1 start before F2 does • F1 and F2 are not necessarily connected by a Functional Exchange • The end of the execution of F1 does not necessarily triggers the execution of F2 Sequence Link
- 22. 22 • A Sequence Link can be associated to a Functional Exchange. • F1 start before F2, and F2 requires fe12 from F1 Sequence Link
- 23. 23 • F2 and F3 can start after F1 does • F4 can start after F2 and F3 do • Before starting, F2 needs fe12 from F1 AND
- 24. 24 • Either F2 either F3 is executed, according to the condition attached to their respective sequence link. • F4 can start after F2 or F3 does • Before starting, F2 needs fe12 from F1 OR
- 25. 25 • The sequenceF2 and F4 is repeated if the condition to exit the iteration is not verified IT
- 26. 26 Evolution of Functional Description Diagrams: palette tools, filters, etc.
- 27. 27 Sequence links defined within a functional chain are local to the functional chain context The intent is enhanced descriptions, not model execution A sequence link does not carry a triggering semantics. It only expresses precedence relationships Precise semantics is not defined at this stage A sequence link between two functions allocated to two different components and not associated to a functional exchange should be questioned
- 28. 28 3. Exploiting functional chains
- 29. 29 Exploiting funtional chains Ensure need and solution completeness and consistency
- 30. 30 Working on functional chains helps make sure the definition of functions and functional exchanges is sufficient and adapted to describe what is expected. This exercise typically leads to creating new exchanges, modifying functions, etc. The correspondence of functional chains across Arcadia perspectives is a key asset for checking completeness and consistency. Fiunctional chains are the “contracts” binding the perspectives
- 31. 31 Reviewing and correcting functional chains
- 32. 32 Exploiting funtional chains Support incremental development
- 33. 33 System-level V&V procedures Visualize data in live during flight Display acquired HD videoin live Display multi-spectral image in live Display thermal image in live Visualize all collected mission data Visualize substance level in live Subsystems, software, etc. System architectural design R R Vertical slices of architectural design across need and solution models Definition of increments with expected functional chains (user stories) INC 1 INC 2
- 34. 34 Define increments with functional expectations Compute, visualize and compare the footprints in terms of expected components and functions
- 35. 35 Exploiting funtional chains Prepare verification and validation activities
- 37. 37 IVV procedure RequirementsSA Functions & exchanges System Context SA functional chains Test procedures are written with functional chains as a references Illustration derived from material produced by the ATL2 Modernization team in Thales
- 38. 38 Exploiting funtional chains Enhance progress monitoring
- 39. 39 THALES GROUP INTERNAL Thisdocumentmaynotbereproduced,modified,adapted,published,translated,inanyway,inwholeorin partordisclosedtoathirdpartywithoutthepriorwrittenconsentofThales-©Thales2016Allrightsreserved. VERIFICATION ACTIVITIES SYSTEM BLACK BOX Defects System FC status Requirements SA functional chains SA Functions & exchanges System Context SYSTEM BLACK BOX Test results Metrics extracted from models Illustration derived from material produced by the ATL2 Modernization team in Thales
- 40. 40 Exploiting funtional chains Improve problem analysis
- 41. 41 THALES GROUP INTERNAL Thisdocumentmaynotbereproduced,modified,adapted,published,translated,inanyway,inwholeorin partordisclosedtoathirdpartywithoutthepriorwrittenconsentofThales-©Thales2016Allrightsreserved. SYSTEM BLACK BOX Test suites SA functional chains Impact analysis Requirements LA functions & exchanges Check of consistency with specification Specification Defects Component Defects Component Evolution Test results: functional chains facilitate analyses Illustration derived from material produced by the ATL2 Modernization team in Thales
- 42. 42 Exploiting funtional chains Support non-functional expectations
- 43. 43 THALES GROUP INTERNAL Thisdocumentmaynotbereproduced,modified,adapted,published,translated,inanyway,inwholeorin partordisclosedtoathirdpartywithoutthepriorwrittenconsentofThales-©Thales2016Allrightsreserved. Express latency between beginning and end of functional chains Associate to feared events for safety analysis, capture fault trees Express expectations w.r.t. combinations of modes and state …
- 44. 44 Resources
- 45. 45 Public forums, webinars and Youtube channel https://polarsys.org/fo rums/index.php/f/10/ https://www.youtube.com/pl aylist?list=PLfrEYVpSGVLxEFR ODSWUTP8N5i3NTG4o-
- 47. www.thalesgroup.com THALES GROUP INTERNAL Thank You! Questions? Capella website: http://www.polarsys.org/capella/ LinkedIn https://www.linkedin.com/groups/8605600 Twitter https://twitter.com/capella_arcadia Arcadia forum: https://polarsys.org/forums/index.php/f/12/ Capella forum: https://polarsys.org/forums/index.php/f/13/ IFE model & doc.: http://www.polarsys.org/capella/start.html