Diapason, MDE cutting-edge solutions for the correct design of complex Cyber-Physical Systems Part1

Subscribers:
24,300
Published on ● Video Link: https://www.youtube.com/watch?v=M8maICKckh8



Duration: 25:22
500 views
0


Diapason is a framework of cutting-edge solutions for design, analysis and development of Cyber-Physical Systems (CPS). Diapason is the result of conducting core research in the application of model-driven engineering methods and tools to the development of complex CPSs together with maintaining close working relationships with major academic and industrial players. It consists of:

Papyrus, an enabler of authoring models: Papyrus is providing an integrated and user-consumable environment for authoring UML model and any kind of profiled UML models, such as SysML for system engineering and MARTE for embedded and real-time domains. In addition, Papyrus offers also a set of powerful customization mechanisms which can be leveraged to create and deploy user-defined Papyrus configuration and give it the same facilities as a "pure" DSL editor while also benefiting advantages of standard solutions. Diversity for testing, verifying & validating formally your systems: Diversity is a tool for formal model-based verification, validation and test of complex systems including real-time applications. It provides facilities to check if a system is correct and satisfies safety and reliability requirements. Diversity supports UML models and is fully integrated within Papyrus, but it also supports other modeling formalisms such as Matlab Simulink models and SDL formalism using RTDS tool.
Sophia for ensuring safety and security of systems: Sophia is a tool for model-based risk analysis of complex systems. It is based on the Papyrus/Eclipse platform and can be easily customized with different modules referring to the specific user needs. Sophia enables: model annotations with the dysfunctional behavior according to the specific type of analysis; performs risk analysis on the annotated model by using various methods such as Hazard & Risk Analysis, FTA, FME(C)A, Requirement Maintenance or Model Checking; generate specific analysis report accounting for the specific type of analysis and related safety standards (e.g., IEC and ISO26262); and display results using dedicated profiles, editors, tables. Automatically generate reports.
Moka for executing/simulating your Papyrus models: Moka is a Papyrus module for execution of UML models, which natively includes an execution engine complying with OMG standards fUML and PSCS (which deal with execution semantics of UML). Moka is integrated with the Eclipse debug framework to provide control, observation and animation facilities over executions. Moka can be easily extended to support alternative execution semantics, and thereby be adapted to multiple usage scenarios and domains.
Qompass for optimizing, generating and deploying solutions: The Qompass tool suite consists of two modules, the Architect and the Designer. Qompass Architect is a model-based tool for QoS assessment and optimization of real-time architectures. QoS refers to the system’s delivery of non-functional properties at run-time and reflects the ability of allocating underlying resources properly. Qompass Architect explores non-functional properties of real-time architectures to finally synthesize an optimized architecture. Qompass Designer allows you to deploy your design on a specific platform (e.g., AUTOSAR and DDS) and generate code for each node in your system.
ARTiMon for simulation & runtime verification: ARTiMon is a tool which analyses on-the-fly a flow of dated observations in order to detect hazards (negation of requirements) expressed in its formal entry language.

Sequoia for dealing with both variability and products line concerns: the main issue behind the development of product line is to factor the development work associated with a set of design models presented. Sequoia assists designers in the one hand to build and use a generic system model to produce different product models, and in the other hand to master the complexity involved by the variability of products.

Darwin for supporting requirement engineering: Darwin is a SysML-based tool for requirement management and traceability. It is designed as a specific Papyrus configuration and it offers requirement decomposition taxonomy and uses specific attributes for different types of requirements. It also provides import and export facilities with other requirement engineering tools via the ReqIF standard.




Other Videos By Eclipse Foundation


2015-05-04IoT-LAB: First class IoT Open Experimental Testbed – Emmanuel Fleury
2015-05-04Building an Open Internet of Things with Eclipse IoT – Benjamin Cabé
2015-04-30RobAIR: An affordable DIY robot for telepresence – Stan Borkowski, Jérôme Maisonnasse
2015-04-29Open the box: Customer journey in an open Smart Home – André Bottaro
2015-04-28Intel: A thought leader helping the IoT scale out – Jean-Laurent Philippe
2015-04-28Smart Home development made easy – Kai Kreuzer
2015-04-09Hear about the results of the IoT Developer Survey & celebrate the IoT Day with Eclipse IoT
2015-03-11Live from EclipseCon 2015: "The five elements of IoT security: open source to the rescue!"
2015-02-27Stefano Costa presents an Illy coffee machine connected with MQTT (Embedded World 2015)
2015-01-28Diapason, MDE cutting-edge solutions for the correct design of complex Cyber-Physical Systems Part2
2015-01-28Diapason, MDE cutting-edge solutions for the correct design of complex Cyber-Physical Systems Part1
2015-01-28MQTT enabling the smallest "things"
2015-01-28An Introduction to Eclipse Che
2015-01-28Creating Data-Driven Apps with the FREE BIRT iHub F-Type!
2015-01-28Cloud development using Eclipse and Node.js
2015-01-28IoT - Information Model Repository
2015-01-28How to make Sirius shine?
2015-01-28RAP by EclipseSource - not just Open Source
2015-01-28Advancing Debug and Monitoring Technologies
2015-01-28Tale of a JavaFX UI: A Play in Three Acts
2015-01-28Smart Home live: Intelligent Detection of Fire or a Break-In with MQTT and OpenHAB



Tags:
Cyber-physical System
Eclipse (Software)
EclipseCon Euope