siriuscon 2017 - 5 years of modelisation, from a prototype to an industrial grade solution
TRANSCRIPT
5 years of modelingFrom a prototype to an industrial grade solution
ALL4TEC presentation
• Software publisher• + 20 years of experience• Pioneer in Model Driven Engineering• www.all4tec.net• 2 offices in France= Laval & Massy
Model based testing
Model based safety analysis
Model based cyber architecture
MaTeLo Safety Architect Cyber Architect
Safety analysis
Why safety analysis ?
Why safety analysis ?
Why model based safety analysis ?
Why model based safety analysis ?
How Safety Architect work ?
Safety Architect
Requirements Models
Reports
Local Analysis
Modelling
Global Analysis
How Safety Architect can help ?
Focus on added
value tasks
Decrease risk of error
Integrate safety
analysis and system design
Reduce analysis cost
Customise it as you need
Build an industrial grade solution
Build an industrial grade solution
Modeller first iterations
• Start by the primary needs• Identify the relevant concepts (DSL) …
• … and their representation
Block 1
Block 2Block 3Sub block
Enter leaf blocks
and define how
an error is
propagated
Modeller first iterations
How many
viewpoints?
First technical pitfalls
• Obeo Designer was not Sirius
• Easy to take in hand, hard to master• Training course !
• Not Open Source• Problem to integrate in a proprietary product
• Difficult to have a fully transparent integration
Current release
Current release
Follow the Sirius release train
• A lot of improvements for free !• Align objects
• Labels internationalisation
• SVG representation
• Still some technical limitations• Technical changes to plan (OCL/AQL)
• Existing projects migration• AIRD change, lost layout
• Diff/Merge of AIRD
Next steps
Capella full integration
Capella full integration
Capella full integration
Others perspectives
• Continue to improve Safety Architect• Automatic layout for SA
• Anchors on custom representations
• Add a dashboard (like UMLDesigner)
• …
Others perspectives
• Cyber Architect: attack trees
Others perspectives
• MaTeLo: Markov chains
https://www.all4tec.net/safety-architect
Thank you for listening