Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius Diagram Features
•
0 likes•143 views
Safety Architect is a Model-Based Safety Analysis (MBSA) tool which automates the creation of safety artefacts required to carry out safety analysis such as: FMEA tables or fault trees. Safety Architect proposes a graphical editor to safety engineers allowing them to manipulate safety concepts in a more comfortable way than with tabular sheets. On the other hand, Safety Architect also ensures consistency between system design and safety analysis by interfacing with Model-Based System Engineering (MBSE) tools such as Capella. Safety Architect leverages Sirius technology to support dedicated graphical representations, specific functionalities and custom mechanisms for safety engineering. JONATHAN DUMONT, All4Tec JEAN GODOT, All4Tec
Report
Share
Report
Share
Download to read offline
Recommended
[ Capella Day 2019 ] Capella integration with Teamcenter
The main reason we do product architecture is to communicate to downstream product development what they need to build, thus the need to integrate the Capella product architecture with the product lifecycle through PLM (Product Lifecycle Management). Siemens’ Teamcenter PLM is used by millions of developers around the world in thousands of organizations. Capella is being integrated with Teamcenter enabling it to actively participate in the product lifecycle to drive the entire product development process.
This session will provide an update on Siemens’ PLM integration progress and demonstrate the value of a Capella enabled product lifecycle.
Christoph Marhold, Siemens PLM Software
Supercharge Your Sirius Web Apps!
Sirius is the easiest framework when it comes to creating graphical designers in the EMF ecosystem. With Sirius Web, we present the next generation.
Rewritten from the ground up and with first-class support for Web applications, Sirius Web, as the successor of Sirius Desktop, also brings new features and support for existing designer specifications.
What’s in there? How does it differ from the classic Sirius Desktop?
The answers to these questions and others will be given in this talk, together with a dive into example applications.
This live session will show you how to use Sirius Web to be super productive when working on new tooling. We’ll demonstrate all the additional features to create, update, and iterate on your designer, including super fast dynamic iteration across your domain definitions, easy creation of your graphical representations, and more.
Tune in to this session to catch up with the latest development around Sirius Web.
Stéphane Bégaudeau, Obeo
[SiriusCon 2018] AdvoCATE: An Assurance Case Automation Toolset Based on Ecli...
SiriusCon 2018 - Talk by Ewen W. Denney, NASA - Robust Software Engineering Group
We describe AdvoCATE, the assurance case automation toolset, under development at NASA Ames Research Center.
An assurance case provides a comprehensive basis for the stakeholders of a system to have justified confidence in its dependability attributes—safety, security, reliability, etc. A safety case is a specialized assurance case that focuses on providing a formal justification of acceptable safety. In many safety-critical industries, such as aviation, the production and evaluation of a safety case can be a prerequisite for regulatory approval to field and operate a system.
A safety case developed in AdvoCATE comprises multiple interrelated artifacts, including a hazard log, a requirements repository, a safety architecture, and several structured arguments, all of which must be kept mutually consistent. The hazard log and requirements repository record the results of safety analysis activities; the safety architecture graphically describes the relevant safety-related scenarios along with the collection of safety risk reduction mechanisms, whilst providing the foundation for risk assessment and visualization. Structured arguments link various safety related claims to heterogeneous sources of evidence gathered during systems engineering, also capturing rationale pertinent to safety and other auxiliary concerns.
AdvoCATE is an Eclipse Rich Client Platform (RCP) application that leverages a variety of models specified using Eclipse Modeling Framework (EMF), Sirius for creating graphical representations, NatTable for tabular environments, and Xtext for domain-specific languages. Thus, AdvoCATE facilitates model-based development, exploiting validations, transformations, and a range of views in the construction of (some of) the artifacts constituting a safety case. We have used AdvoCATE to develop safety cases and successfully obtain regulatory approval for NASA flight operations involving a fleet of small unmanned aircraft systems (UAS) flying beyond visual line of sight.
Writing perfect textual requirements
Textual and model requirements: working together towards success
While Eclipse Capella is a model-based systems engineering environment,
it’s also clear that it enables the creation of model requirements
that complement textual requirements.
When dealing with both, textual and model requirements,
ensuring consistency and completeness are key to the final success of our systems.
Developing Modeling Tool for RM-ODP with Eclipse Sirius
Defining architecture of your system, existing or to be built, is an important practice to communicate, maintain and extend the system in future. The Reference Model of Open Distributed Processing (RM-ODP) is a set of international standards that can be used for this purpose.
Existing tools to specify RM-ODP based system architectures include UML tools with ODP plugin, since one of the standards defines UML Profile for it. The presenter received an email regarding a more accessible and standalone ODP tool, which eventually initiated this project. It is a work in progress, Eclipse/Sirius-based tool. An overview of the tool and an experience of the development done so far will be presented.
Akira Tanaka, view5 LLC
[ Capella Day 2019 ] MBSE & PLE: Systematic Reuse of Capella Models with pure...
In domains that deal with the development of complex systems consisting of software and hardware it is often a challenge to find an efficient and holistic reuse strategy for existing engineering assets that allows to keep the engineering competitiveness high even though a growing number of markets and specific customer needs shall be covered by a product family.
Product Line Engineering (PLE) is a well-known approach to address this challenge. In this session we will cover how PLE and MBSE can be brought together using the open-source MBSE solution Capella in combination with the Variant Management tool pure::variants to implement a systematic reuse of system architecture across multiple product variants.
Robert Hellebrand, pure-systems
Robert Hellebrand is a Field Application Engineer at pure-systems GmbH, where he helps customers from automotive, aerospace, defence and other domains with their challenges in systematic reuse of engineering assets and the transition from project-oriented development towards feature model-based product line engineering with pure::variants.
Previously, Robert worked on the topic of variant management as a research assistant at the Fraunhofer Institute for Experimental Software Engineering.
[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...
Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis
Thierry Le Sergent, ANSYS
Thierry Le Sergent is Product Manager for ANSYS's SCADE Architect product. His focus is on model-based system & software engineering tools for the development of critical embedded systems.
[ Capella Day 2019 ] Feedback on deployment of Capella at RATP
The RATP group is modernizing Paris' public transportation network, which includes managing complex integration projects across metro, tram, and rail systems. They deployed CAPELLA to help optimize their systems engineering approach and manage this complexity. RATP took a cautious approach, prioritizing high-value uses of CAPELLA to minimize risks. They have found benefits like improved sharing of concepts, design structure and clarity, reuse across projects, and time savings. RATP is working to qualify more CAPELLA uses and share lessons learned.
Recommended
[ Capella Day 2019 ] Capella integration with Teamcenter
The main reason we do product architecture is to communicate to downstream product development what they need to build, thus the need to integrate the Capella product architecture with the product lifecycle through PLM (Product Lifecycle Management). Siemens’ Teamcenter PLM is used by millions of developers around the world in thousands of organizations. Capella is being integrated with Teamcenter enabling it to actively participate in the product lifecycle to drive the entire product development process.
This session will provide an update on Siemens’ PLM integration progress and demonstrate the value of a Capella enabled product lifecycle.
Christoph Marhold, Siemens PLM Software
Supercharge Your Sirius Web Apps!
Sirius is the easiest framework when it comes to creating graphical designers in the EMF ecosystem. With Sirius Web, we present the next generation.
Rewritten from the ground up and with first-class support for Web applications, Sirius Web, as the successor of Sirius Desktop, also brings new features and support for existing designer specifications.
What’s in there? How does it differ from the classic Sirius Desktop?
The answers to these questions and others will be given in this talk, together with a dive into example applications.
This live session will show you how to use Sirius Web to be super productive when working on new tooling. We’ll demonstrate all the additional features to create, update, and iterate on your designer, including super fast dynamic iteration across your domain definitions, easy creation of your graphical representations, and more.
Tune in to this session to catch up with the latest development around Sirius Web.
Stéphane Bégaudeau, Obeo
[SiriusCon 2018] AdvoCATE: An Assurance Case Automation Toolset Based on Ecli...
SiriusCon 2018 - Talk by Ewen W. Denney, NASA - Robust Software Engineering Group
We describe AdvoCATE, the assurance case automation toolset, under development at NASA Ames Research Center.
An assurance case provides a comprehensive basis for the stakeholders of a system to have justified confidence in its dependability attributes—safety, security, reliability, etc. A safety case is a specialized assurance case that focuses on providing a formal justification of acceptable safety. In many safety-critical industries, such as aviation, the production and evaluation of a safety case can be a prerequisite for regulatory approval to field and operate a system.
A safety case developed in AdvoCATE comprises multiple interrelated artifacts, including a hazard log, a requirements repository, a safety architecture, and several structured arguments, all of which must be kept mutually consistent. The hazard log and requirements repository record the results of safety analysis activities; the safety architecture graphically describes the relevant safety-related scenarios along with the collection of safety risk reduction mechanisms, whilst providing the foundation for risk assessment and visualization. Structured arguments link various safety related claims to heterogeneous sources of evidence gathered during systems engineering, also capturing rationale pertinent to safety and other auxiliary concerns.
AdvoCATE is an Eclipse Rich Client Platform (RCP) application that leverages a variety of models specified using Eclipse Modeling Framework (EMF), Sirius for creating graphical representations, NatTable for tabular environments, and Xtext for domain-specific languages. Thus, AdvoCATE facilitates model-based development, exploiting validations, transformations, and a range of views in the construction of (some of) the artifacts constituting a safety case. We have used AdvoCATE to develop safety cases and successfully obtain regulatory approval for NASA flight operations involving a fleet of small unmanned aircraft systems (UAS) flying beyond visual line of sight.
Writing perfect textual requirements
Textual and model requirements: working together towards success
While Eclipse Capella is a model-based systems engineering environment,
it’s also clear that it enables the creation of model requirements
that complement textual requirements.
When dealing with both, textual and model requirements,
ensuring consistency and completeness are key to the final success of our systems.
Developing Modeling Tool for RM-ODP with Eclipse Sirius
Defining architecture of your system, existing or to be built, is an important practice to communicate, maintain and extend the system in future. The Reference Model of Open Distributed Processing (RM-ODP) is a set of international standards that can be used for this purpose.
Existing tools to specify RM-ODP based system architectures include UML tools with ODP plugin, since one of the standards defines UML Profile for it. The presenter received an email regarding a more accessible and standalone ODP tool, which eventually initiated this project. It is a work in progress, Eclipse/Sirius-based tool. An overview of the tool and an experience of the development done so far will be presented.
Akira Tanaka, view5 LLC
[ Capella Day 2019 ] MBSE & PLE: Systematic Reuse of Capella Models with pure...
In domains that deal with the development of complex systems consisting of software and hardware it is often a challenge to find an efficient and holistic reuse strategy for existing engineering assets that allows to keep the engineering competitiveness high even though a growing number of markets and specific customer needs shall be covered by a product family.
Product Line Engineering (PLE) is a well-known approach to address this challenge. In this session we will cover how PLE and MBSE can be brought together using the open-source MBSE solution Capella in combination with the Variant Management tool pure::variants to implement a systematic reuse of system architecture across multiple product variants.
Robert Hellebrand, pure-systems
Robert Hellebrand is a Field Application Engineer at pure-systems GmbH, where he helps customers from automotive, aerospace, defence and other domains with their challenges in systematic reuse of engineering assets and the transition from project-oriented development towards feature model-based product line engineering with pure::variants.
Previously, Robert worked on the topic of variant management as a research assistant at the Fraunhofer Institute for Experimental Software Engineering.
[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...
Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis
Thierry Le Sergent, ANSYS
Thierry Le Sergent is Product Manager for ANSYS's SCADE Architect product. His focus is on model-based system & software engineering tools for the development of critical embedded systems.
[ Capella Day 2019 ] Feedback on deployment of Capella at RATP
The RATP group is modernizing Paris' public transportation network, which includes managing complex integration projects across metro, tram, and rail systems. They deployed CAPELLA to help optimize their systems engineering approach and manage this complexity. RATP took a cautious approach, prioritizing high-value uses of CAPELLA to minimize risks. They have found benefits like improved sharing of concepts, design structure and clarity, reuse across projects, and time savings. RATP is working to qualify more CAPELLA uses and share lessons learned.
The state of Sirius, where we are and where we are going
In 2020 we announced the creation of Sirius Web, the cloud-based version of Sirius Desktop. This new project has kept the initial spirit of Sirius - easy creation of custom graphical modeling tools - on a modern technical stack facilitating the deployment to end-users.
In this talk, we will come back to the principles that made the success of Sirius in multiple and various specific domains, and how Obeo supports the worldwide community of adopters in its discovery of the technology, the inception of tailored modeling workbenches and their deployment on operational projects.
We will also explain what drives this important shift to the web: open-source foundations, full-web definition, modern UX, integration with other web applications, open-innovation to develop new features, ...
[ Capella Day 2019 ] Model-based safety analysis on Capella using Component F...
The importance of mission or safety-critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model-based system engineering (MBSE) is currently one of the key approaches to cope with increasing system complexity.
With Component Fault Trees (CFTs) there is a model- and component-based methodology for safety analysis, which extends the advantages of model-based development to safety & reliability engineering. In this talk, we demonstrate how to ease the development of safety-critical systems in industrial practice by extending MBSE in Capella with model-based safety analysis using Component Fault Tree methodology.
Marc Zeller, Siemens Corporate Engineering
Marc Zeller works as a research scientist at Siemens AG, Corporate Technology, in Munich since 2014. His research interests are focused on the model-based safety and reliability engineering of complex software-intensive embedded systems. Marc Zeller studied Computer Science at the Karlsruhe Institute of Technology (KIT) and graduated in 2007. He obtained a PhD from the University of Augsburg in 2013 for his work on self-adaptation in networked embedded systems at the Fraunhofer Institute for Embedded Systems and Communication Technologies ESK in Munich.
Keynote: A Roadmap for Domain-Specific Low-Code Platforms
Low-code development platforms aspire to streamline the development, deployment and maintenance of specific types of software systems, and to make these activities accessible to an increasingly digital-native workforce. In this talk I will discuss the importance of domain-specific (as opposed to one-size-fits-all) low-code platforms in this new landscape and I will focus on the main opportunities and challenges of assembling such platforms from existing open-source components.
Dimitris Kolovos, University of York
[Capella Days 2020] Innovating with MBSE – Medical Device Example
by Tony Komar (Siemens)
Sustained innovation is the goal of many development organizations. Sustaining innovation is depicted on an Innovation as matrix as the result of a well-defined problem, and a well-defined domain definition. An example will be presented how an MBSE tool, based on open-source tool Capella, can enhance both the problem definition and domain definition of a ventilator. It will show how the MBSE tool enhanced the understanding of the problem, and how that understanding can lead to an innovative solution.
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
The presentation introduces a number of these pilot projects, where we have developed design tools comprising of Sirius based graphic editors and Domain Specifics Languages (DSLs). These tools allow formal specification of requirements, automatic analysis of system performance, and code generation. The models are designed using Sirius and are persisted textually using Xtext. We have found that the use of graphical editors in these projects greatly helped communicating designs between stakeholders and also leveraged the general acceptance of the MDE approach. In our case, Sirius models can become quite big and require a proper layout. We used Eclipse Layout Kernel (ELK) for automatic layout which turned to be essential for efficiency. The presentation concludes with future directions towards utilizing Sirius in fulfilling new requirements from stakeholders, e.g., generating documentation from models.
[SiriusCon 2020] Pushing Limits in Automotive Model Visualization at BOSCH - ...
In this session, we shall present our model visualizations based on Sirius framework used in multicore automotive software production tools at Bosch. We will provide insights into the decision criteria and benefits achieved with Sirius. The talk shall also highlight the pros and cons of using the framework in real-life projects containing over 300 million model objects. Our experience report in this session can serve as a guideline for the developer community in the industry. Further, our presentation will highlight the performance optimization and lay-outing challenges. Additionally, we present a case study of problems faced during development and its solutions so as to not re-invent the wheel.
Syed Aoun Raza, Robert Bosch
Syed Aoun Raza is working as Lead Software Architect and Multi-Core system design expert for Robert Bosch GmbH in Stuttgart (Germany). He has earned several years of experience in tool development using MDSD approaches. Additionally, he has research contributions in design and implementation of static analysis tools and techniques with focus on parallel/concurrent programs.
Rakesh Nidavani, Robert Bosch
Rakesh is a specialist at Robert Bosch, India. He has over 8 years of software development experience. Mostly works on applications based on EMF and Eclipse Sirius.
Amal Jose Vallavanthara, Robert Bosch
Currently works on multi-core automotive model domain at Robert Bosch GmbH, Germany. He specializes in machine learning and embedded systems.
EclipseConEU 2019 - Your cloud-based modeling workbench in 15 minutes with Ec...
We will present the evolution of Eclipse Sirius: the easiest way to get your own modeling tool, and soon to even deploy it on the cloud!
Sirius is a well-established Eclipse project to create graphical modeling workbenches as quick as a flash. The technology has been used in production for more than 10 years and led to the creation of an impressive number of graphical modelers. The Sirius website gallery demonstrates 45 of those workbenches recorded over the years and a new era is starting now that we can such deploy tools on the web.
During this talk we will present :
how to define your domain based on EMF and Ecore,
how to use Sirius to specify a tooling composed of graphical modelers, trees and form based editors in a glimpse,
how your tooling look and behave in Eclipse RCP,
how you can deploy from the same definition, your tooling on the cloud,
a demo of the capabilities of the resulting web modeling workbench.
We will walk through the features available on this modeling environment as of the latest Sirius release through a demo and then present the roadmap.
Come to discover how to create in 15 minutes a graphical modeling workbench dedicated to your domain easily accessible to anyone from their browser.
[SiriusCon 2020] Sirius Overview and Roadmap
In this talk I will present the fundamentals of Eclipse Sirius : its objectives and principles, illustrated with examples of usage in several different domains.
We will also see how Sirius integrates with other modeling components to provide a complete stack for creating advanced modeling workbenches.
We will end with a presentation of lastest new features and an overview of the current roadmap.
speaker : Pierre-Charles is the Product Lead on Eclipse Sirius and the maintainer for GMF Runtime and EMF Services, two Eclipse projects Sirius relies on.
He holds a PhD in Software Engineering from University of Nantes.
To the Single Source of Truth with Publication for Capella & Cloud for Capella
The Capella tool, through multiple feedbacks and its rapid adoption by the systems engineers community, constitutes a major enabler for the success of this journey. The Arcadia method plays a significant role, by offering a pragmatic vision of MBSE, centered on the practices and concerns of systems engineers.
The holy grail of the single source of truth is at hand. But a tool like Capella is part of a larger ecosystem of engineering tools. The next challenge is now to make this repository of system data available to all stakeholders and to break down the silos between our engineering activities.
This webinar, after having introduced the problem, will illustrate how Publication for Capella and Cloud for Capella contribute to making the single source of truth a dream come true.
Keynote: What’s new in Sirius?
Sirius’s efficiency is key to its past, present, and future.
Most folks associate Sirius with fast graphical tooling development, and rightly so!
The framework offers significant value to tool developers working on a domain specific studio.
Throughout its 8 years of existence, Sirius has supported EMF metamodels and Eclipse based applications. From there, Sirius Web changed the landscape completely: with low code definitions and reusable web components, you can build a cloud-ready graphical studio dedicated to your domain without even having time to catch your breath.
In this talk, Mélanie is going to share the latest status of the work done on Sirius. Indeed, Sirius 2021-06 is around the corner and will be packed with exciting features and improvements!
In this session, we’ll have a comprehensive look at the main new features in Sirius Desktop, like ELK integration, copy-paste format enhancements, and more!
We’ll also walk through the major Sirius Web improvements and how you can benefit from them.
We’ll conclude this presentation by sharing a glimpse of the 2021 roadmap.
Mélanie Bats, Obeo
[SiriusCon 2018] Eclipse Sirius applied to a RAD Tool in Japan
SiriusCon 2018 talk by Akira Tanaka, view5 LLC & Ryo Nagamine, Atrris Corp & Takanobu Ouchi, Atrris Corp
Eclipse Sirius applied to a RAD Tool in Japan
Sirius has been applied to a RAD tool (Pexa) in Japan.
This RAD tool is architected as an analysis and execution engine on top of a UML tool. Brief introduction of the tool will be provided.
Our challenge then was to
extract/create an ecore model from the tool with sample diagrams,
implement a “.odesign” file providing similar functionality to the tool,
check to see if Sirius’s I18N support works properly under our language environment,
generate a table similar to a couple of tables provided by the tool.
We believe we have achieved around 80% of the functionality for one of Pexa models, without writing any Java code.
#SiriusCon 2015: Sirius Roadmap
With almost 500 bugzillas between Luna and Mars.1 version, the Sirius team has been very active in bringing more goodness to the technology, most notably :
improving and tweaking many aspects of the diagram user experience inherited by GMF enabling new capabilities in the Diagram editors : compartments, streamlined behavior when using images in your modeler
enhancing the definition tooling through inferred types, search and navigation and validation constraints
improving the scalability and performances of the runtime to support models having 1 million of elements with no fuss
This session is going to walk you through demos and technical explanations of what is going on behind the scene.
Attendees will leave with a clear understanding of what this new version brings, but also how everything works together, what are the trade-offs to consider and what can be expected from the future versions.
[About Cédric Brun:
Cedric leads the EcoreTools and Amalgamation components, maintains the Modeling Package, is commiter on several Eclipse projects (Sirius, Acceleo, Mylyn), and is a member of the Architecture Council, Planning Council and the Modeling PMC. He also is the CTO of Obeo, building a broad range of products, from software modernization to enterprise architecture and software factories.]
SiriusCon 2017 - 5 years of modelisation, from a prototype to an industrial g...
We have been using the Obeo solutions from the first version with Obeo Designer. At this time, it was a key technology to allow our development team to build easily and quickly a first graphical editor, and ease the end user adoption of this approach. Proposing a graphical editor to safety engineers working usually with Excel sheet was a little revolution which should never be possible without Obeo. Discover in this talk our Sirius experience, from this first try to the build of an industrial grade solution, what were our success and the pitfalls encountered.
[SriusCon 2020] Sirius to the Web with Obeo Cloud Platform
Obeo Cloud Platform (OCP) is the Cloud-based solution developed by Obeo for deploying modeling tools on the web.
With OCP, modeling tools developed with Sirius can be installed on a Cloud server and are rendered in a web browser.
OCP Modeler is not just a revamping of Sirius in the web! Relying on a modern technical stack, it implements a new UX design to offer an experience adapted to web usages.
We will present the architecture of the solution and how it positions with Sirius. Then we will show a demo of this modeling environment capabilities and give an overview of the roadmap.
Stéphane Bégaudeau, Obeo
Stéphane Bégaudeau graduated from the Nantes University of Sciences and Technology and is currently working as an Eclipse Modeling consultant at Obeo in France.
Mélanie Bats, Obeo
Mélanie Bats works as CTO at Obeo. In my daily work, I am mainly focused on managing the R&D team, creating products based on our own open source technologies. I am used to work in the development of modeling tools with Sirius like UML Designer. I am committer for the EEF and the Sirius projects. I am also involved in the Eclipse community as being the Eclipse Planning Council chair. I am also a free software activist who has organized and participated in free software events in the Toulouse area.
Adoption of a Graph Database in the Insurance Sector - Jan-Frederik Wilhelm &...
Jan-Frederik Wilhelm and Dr. Andreas Wandelt’s current project aims to replace an existing sales-portal of a german insurance company by reimplementing existing functionality in a maintainable fashion using current technology, with a core theme of the project trying to save, display and search data which is structured according to the VAA data model of the insurance industry. This talk is about their experience regarding the transition of a legacy model into a graph model using the latest version of Neo4J and some of its new features.
Simultaneously edit Capella models with Team for Capella
Discover how several users working on a MBSE project can simultaneously edit the same Capella model without conflicts.
Automatic fine-grained locking
Thanks to a fine-grained locking mechanism, users automatically lock the model elements they are modifying. Modifications are performed on the shared model, and visible to other users as soon as they are saved.
Team for Capella is a Capella add-on to simply share your models on the same server.
>> This webinar was driven by Stéphane Lacrampe (Obeo Canada):
Co-founder of Obeo, Stéphane Lacrampe is director the North American subsidiary of Obeo in Vancouver, Canada. MBSE enthusiast, Arcadia/Capella evangelist and Open Source advocate, Stéphane is also an active INCOSE member.
Experiences with Collaborative System Architecture Development within a Joint...
Model Based Systems Engineering is a foundation for CNXMotion to collaboratively develop motion control solutions for autonomous vehicle applications. There is a strong need for each member of our engineering team to be aligned with a common understanding of the intended system architecture.
In this presentation, CNXMotion will give an overview of our organization’s experiences with using MBSE. We will introduce our motivations for using MBSE, first as a communication means for our extended organization, and for co-development within other engineering team.
We will explain how our system architecture tool has provided both a modeling platform and methodology that can be flexibly adapted to best fit our research and development context. Our systems architects can closely collaborate with our engineers responsible for downstream design captures including vehicle and system behavioral simulations, software algorithms, human-machine interfaces, and hardware electrical mechanizations.
The presentation will include an illustrative example of a Capella model that has lead the design team to a successful demonstration of our motion control design concepts, sharing the realized benefits of using MBSE as a collaboration means between internal and external engineering teams.
Impact Analysis using Graph DB
Slides from presentation at GraphConnect London 19/11/2013 about performing an impact analysis using Neo4J graph database in the domain of web service integration.
WSO2Con USA 2015: Pattern Driven Enterprise Architecture
Patterns are the universal language of architects to communicate, refer, implement and improve. Architecture patterns from traditional SOA (service-oriented architecture) to ROA (resource-oriented architecture) and today to MSA (microservice architecture) drive most enterprise architectures today. Subpatterns such as EDA (event driven architecture) and WOA (web oriented architecture) also has a lot of traction today. These high-level concepts provide many best practices for enterprise architects that are looking to evolve their existing enterprise architecture or for those creating newer enterprise architecture strategies.
However, where should do we draw the line? Is SOA still the way to go or should we focus on MSA? During this session, Asanka will critically analyze the good, the bad and the ugly (if any) of the various architecture patterns, and jointly figure out where they should fit in.
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...
The new space economy asks for an overall improvement of systems engineering practices due to aggressive development time and complex systems design, implementation and operation by a number of players who grow with mission complexity. The talk proposes a critical analysis of a Model-Based Systems Engineering approach using ARCADIA and the Capella tool, applied to real CubeSat mission, with the aim of showing potentials and lacks.
Firstly, the way requirements are managed and traced using the Requirements Viewpoint is presented, highlighting the necessity of having a dedicated diagram for the trees generation; a solution to that is proposed in order to easily trace backwards requirements whenever needed. Following the ARCADIA method, the approach begins with the high-level objectives definition through the Operational Analysis, moving to a first internal functional analysis exploiting the second level of Capella, the System Analysis. The Logical Architecture is then developed introducing the concept of subsystem, leading to big decisions which will drive the successive Physical Architecture. The latter opens the road to all CubeSat components modeling using the concept of Node Physical Component, together with physical interfaces definition. Great use of all Capella concepts is done, such as Functional Chains, Control Functions, Replicas, Basic Mass and Price Viewpoints etc.
As the approach has been applied to a real space project, Phases and Modes have also been modeled exploiting respectively Scenario Diagrams, also used to define mission Concept of Operations, and State Machine Diagrams. Some thoughts oriented toward an improvement of the Modes management will be discussed. Lastly, ARCADIA and Capella do not provide a proper way of dealing with Assembly, Integration, Verification and Testing activities within the same architectural model, therefore an innovative approach is proposed and discussed to include such aspects in the model.
Get into MBSE-MBSA process with a dedicated toolchain
E/E systems and cyber-physical systems are carrying out more and more advanced and safety critical features in many domains such as transport, energy, industry, farming, medical, etc. Therefore, during last few years, to manage the development of those complex systems, companies have moved from a document-based approach to a model-based approach associated with very specific tools.
However, system and safety engineering, and some other related engineering domains like cybersecurity for instance, are still too often conducted independently, whereas safety and system attributes are largely interdependent. There is a need to foster greater collaboration between these disciplines to avoid errors and also to maintain time-to-market.
That's why since several years, ALL4TEC, with its safety analysis tool Safety Architect, has been working to connect its tool with system solutions to couple MBSE and MBSA. The goal is to better ensure consistency between system design and safety analysis.
During this talk, ALL4TEC will present its Capella add-on that allows annotation of Capella models with basic safety information, smart export and dynamic connection to share data between Capella and Safety Architect to support MBSE-MBSA.
Cav Taguchi autosec china slides
This document describes a threat analysis tool called cp/TARA that was originally developed under a Japanese government research project on automotive cybersecurity. cp/TARA provides a common platform to integrate various threat analysis methods and risk assessment criteria using models. It supports threat analysis and risk assessment based on attack trees. cp/TARA models security features using extended SysML diagrams and can identify assets, attack surfaces, threats and derive security requirements to analyze threats in an automotive system.
More Related Content
What's hot
The state of Sirius, where we are and where we are going
In 2020 we announced the creation of Sirius Web, the cloud-based version of Sirius Desktop. This new project has kept the initial spirit of Sirius - easy creation of custom graphical modeling tools - on a modern technical stack facilitating the deployment to end-users.
In this talk, we will come back to the principles that made the success of Sirius in multiple and various specific domains, and how Obeo supports the worldwide community of adopters in its discovery of the technology, the inception of tailored modeling workbenches and their deployment on operational projects.
We will also explain what drives this important shift to the web: open-source foundations, full-web definition, modern UX, integration with other web applications, open-innovation to develop new features, ...
[ Capella Day 2019 ] Model-based safety analysis on Capella using Component F...
The importance of mission or safety-critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model-based system engineering (MBSE) is currently one of the key approaches to cope with increasing system complexity.
With Component Fault Trees (CFTs) there is a model- and component-based methodology for safety analysis, which extends the advantages of model-based development to safety & reliability engineering. In this talk, we demonstrate how to ease the development of safety-critical systems in industrial practice by extending MBSE in Capella with model-based safety analysis using Component Fault Tree methodology.
Marc Zeller, Siemens Corporate Engineering
Marc Zeller works as a research scientist at Siemens AG, Corporate Technology, in Munich since 2014. His research interests are focused on the model-based safety and reliability engineering of complex software-intensive embedded systems. Marc Zeller studied Computer Science at the Karlsruhe Institute of Technology (KIT) and graduated in 2007. He obtained a PhD from the University of Augsburg in 2013 for his work on self-adaptation in networked embedded systems at the Fraunhofer Institute for Embedded Systems and Communication Technologies ESK in Munich.
Keynote: A Roadmap for Domain-Specific Low-Code Platforms
Low-code development platforms aspire to streamline the development, deployment and maintenance of specific types of software systems, and to make these activities accessible to an increasingly digital-native workforce. In this talk I will discuss the importance of domain-specific (as opposed to one-size-fits-all) low-code platforms in this new landscape and I will focus on the main opportunities and challenges of assembling such platforms from existing open-source components.
Dimitris Kolovos, University of York
[Capella Days 2020] Innovating with MBSE – Medical Device Example
by Tony Komar (Siemens)
Sustained innovation is the goal of many development organizations. Sustaining innovation is depicted on an Innovation as matrix as the result of a well-defined problem, and a well-defined domain definition. An example will be presented how an MBSE tool, based on open-source tool Capella, can enhance both the problem definition and domain definition of a ventilator. It will show how the MBSE tool enhanced the understanding of the problem, and how that understanding can lead to an innovative solution.
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
The presentation introduces a number of these pilot projects, where we have developed design tools comprising of Sirius based graphic editors and Domain Specifics Languages (DSLs). These tools allow formal specification of requirements, automatic analysis of system performance, and code generation. The models are designed using Sirius and are persisted textually using Xtext. We have found that the use of graphical editors in these projects greatly helped communicating designs between stakeholders and also leveraged the general acceptance of the MDE approach. In our case, Sirius models can become quite big and require a proper layout. We used Eclipse Layout Kernel (ELK) for automatic layout which turned to be essential for efficiency. The presentation concludes with future directions towards utilizing Sirius in fulfilling new requirements from stakeholders, e.g., generating documentation from models.
[SiriusCon 2020] Pushing Limits in Automotive Model Visualization at BOSCH - ...
In this session, we shall present our model visualizations based on Sirius framework used in multicore automotive software production tools at Bosch. We will provide insights into the decision criteria and benefits achieved with Sirius. The talk shall also highlight the pros and cons of using the framework in real-life projects containing over 300 million model objects. Our experience report in this session can serve as a guideline for the developer community in the industry. Further, our presentation will highlight the performance optimization and lay-outing challenges. Additionally, we present a case study of problems faced during development and its solutions so as to not re-invent the wheel.
Syed Aoun Raza, Robert Bosch
Syed Aoun Raza is working as Lead Software Architect and Multi-Core system design expert for Robert Bosch GmbH in Stuttgart (Germany). He has earned several years of experience in tool development using MDSD approaches. Additionally, he has research contributions in design and implementation of static analysis tools and techniques with focus on parallel/concurrent programs.
Rakesh Nidavani, Robert Bosch
Rakesh is a specialist at Robert Bosch, India. He has over 8 years of software development experience. Mostly works on applications based on EMF and Eclipse Sirius.
Amal Jose Vallavanthara, Robert Bosch
Currently works on multi-core automotive model domain at Robert Bosch GmbH, Germany. He specializes in machine learning and embedded systems.
EclipseConEU 2019 - Your cloud-based modeling workbench in 15 minutes with Ec...
We will present the evolution of Eclipse Sirius: the easiest way to get your own modeling tool, and soon to even deploy it on the cloud!
Sirius is a well-established Eclipse project to create graphical modeling workbenches as quick as a flash. The technology has been used in production for more than 10 years and led to the creation of an impressive number of graphical modelers. The Sirius website gallery demonstrates 45 of those workbenches recorded over the years and a new era is starting now that we can such deploy tools on the web.
During this talk we will present :
how to define your domain based on EMF and Ecore,
how to use Sirius to specify a tooling composed of graphical modelers, trees and form based editors in a glimpse,
how your tooling look and behave in Eclipse RCP,
how you can deploy from the same definition, your tooling on the cloud,
a demo of the capabilities of the resulting web modeling workbench.
We will walk through the features available on this modeling environment as of the latest Sirius release through a demo and then present the roadmap.
Come to discover how to create in 15 minutes a graphical modeling workbench dedicated to your domain easily accessible to anyone from their browser.
[SiriusCon 2020] Sirius Overview and Roadmap
In this talk I will present the fundamentals of Eclipse Sirius : its objectives and principles, illustrated with examples of usage in several different domains.
We will also see how Sirius integrates with other modeling components to provide a complete stack for creating advanced modeling workbenches.
We will end with a presentation of lastest new features and an overview of the current roadmap.
speaker : Pierre-Charles is the Product Lead on Eclipse Sirius and the maintainer for GMF Runtime and EMF Services, two Eclipse projects Sirius relies on.
He holds a PhD in Software Engineering from University of Nantes.
To the Single Source of Truth with Publication for Capella & Cloud for Capella
The Capella tool, through multiple feedbacks and its rapid adoption by the systems engineers community, constitutes a major enabler for the success of this journey. The Arcadia method plays a significant role, by offering a pragmatic vision of MBSE, centered on the practices and concerns of systems engineers.
The holy grail of the single source of truth is at hand. But a tool like Capella is part of a larger ecosystem of engineering tools. The next challenge is now to make this repository of system data available to all stakeholders and to break down the silos between our engineering activities.
This webinar, after having introduced the problem, will illustrate how Publication for Capella and Cloud for Capella contribute to making the single source of truth a dream come true.
Keynote: What’s new in Sirius?
Sirius’s efficiency is key to its past, present, and future.
Most folks associate Sirius with fast graphical tooling development, and rightly so!
The framework offers significant value to tool developers working on a domain specific studio.
Throughout its 8 years of existence, Sirius has supported EMF metamodels and Eclipse based applications. From there, Sirius Web changed the landscape completely: with low code definitions and reusable web components, you can build a cloud-ready graphical studio dedicated to your domain without even having time to catch your breath.
In this talk, Mélanie is going to share the latest status of the work done on Sirius. Indeed, Sirius 2021-06 is around the corner and will be packed with exciting features and improvements!
In this session, we’ll have a comprehensive look at the main new features in Sirius Desktop, like ELK integration, copy-paste format enhancements, and more!
We’ll also walk through the major Sirius Web improvements and how you can benefit from them.
We’ll conclude this presentation by sharing a glimpse of the 2021 roadmap.
Mélanie Bats, Obeo
[SiriusCon 2018] Eclipse Sirius applied to a RAD Tool in Japan
SiriusCon 2018 talk by Akira Tanaka, view5 LLC & Ryo Nagamine, Atrris Corp & Takanobu Ouchi, Atrris Corp
Eclipse Sirius applied to a RAD Tool in Japan
Sirius has been applied to a RAD tool (Pexa) in Japan.
This RAD tool is architected as an analysis and execution engine on top of a UML tool. Brief introduction of the tool will be provided.
Our challenge then was to
extract/create an ecore model from the tool with sample diagrams,
implement a “.odesign” file providing similar functionality to the tool,
check to see if Sirius’s I18N support works properly under our language environment,
generate a table similar to a couple of tables provided by the tool.
We believe we have achieved around 80% of the functionality for one of Pexa models, without writing any Java code.
#SiriusCon 2015: Sirius Roadmap
With almost 500 bugzillas between Luna and Mars.1 version, the Sirius team has been very active in bringing more goodness to the technology, most notably :
improving and tweaking many aspects of the diagram user experience inherited by GMF enabling new capabilities in the Diagram editors : compartments, streamlined behavior when using images in your modeler
enhancing the definition tooling through inferred types, search and navigation and validation constraints
improving the scalability and performances of the runtime to support models having 1 million of elements with no fuss
This session is going to walk you through demos and technical explanations of what is going on behind the scene.
Attendees will leave with a clear understanding of what this new version brings, but also how everything works together, what are the trade-offs to consider and what can be expected from the future versions.
[About Cédric Brun:
Cedric leads the EcoreTools and Amalgamation components, maintains the Modeling Package, is commiter on several Eclipse projects (Sirius, Acceleo, Mylyn), and is a member of the Architecture Council, Planning Council and the Modeling PMC. He also is the CTO of Obeo, building a broad range of products, from software modernization to enterprise architecture and software factories.]
SiriusCon 2017 - 5 years of modelisation, from a prototype to an industrial g...
We have been using the Obeo solutions from the first version with Obeo Designer. At this time, it was a key technology to allow our development team to build easily and quickly a first graphical editor, and ease the end user adoption of this approach. Proposing a graphical editor to safety engineers working usually with Excel sheet was a little revolution which should never be possible without Obeo. Discover in this talk our Sirius experience, from this first try to the build of an industrial grade solution, what were our success and the pitfalls encountered.
[SriusCon 2020] Sirius to the Web with Obeo Cloud Platform
Obeo Cloud Platform (OCP) is the Cloud-based solution developed by Obeo for deploying modeling tools on the web.
With OCP, modeling tools developed with Sirius can be installed on a Cloud server and are rendered in a web browser.
OCP Modeler is not just a revamping of Sirius in the web! Relying on a modern technical stack, it implements a new UX design to offer an experience adapted to web usages.
We will present the architecture of the solution and how it positions with Sirius. Then we will show a demo of this modeling environment capabilities and give an overview of the roadmap.
Stéphane Bégaudeau, Obeo
Stéphane Bégaudeau graduated from the Nantes University of Sciences and Technology and is currently working as an Eclipse Modeling consultant at Obeo in France.
Mélanie Bats, Obeo
Mélanie Bats works as CTO at Obeo. In my daily work, I am mainly focused on managing the R&D team, creating products based on our own open source technologies. I am used to work in the development of modeling tools with Sirius like UML Designer. I am committer for the EEF and the Sirius projects. I am also involved in the Eclipse community as being the Eclipse Planning Council chair. I am also a free software activist who has organized and participated in free software events in the Toulouse area.
Adoption of a Graph Database in the Insurance Sector - Jan-Frederik Wilhelm &...
Jan-Frederik Wilhelm and Dr. Andreas Wandelt’s current project aims to replace an existing sales-portal of a german insurance company by reimplementing existing functionality in a maintainable fashion using current technology, with a core theme of the project trying to save, display and search data which is structured according to the VAA data model of the insurance industry. This talk is about their experience regarding the transition of a legacy model into a graph model using the latest version of Neo4J and some of its new features.
Simultaneously edit Capella models with Team for Capella
Discover how several users working on a MBSE project can simultaneously edit the same Capella model without conflicts.
Automatic fine-grained locking
Thanks to a fine-grained locking mechanism, users automatically lock the model elements they are modifying. Modifications are performed on the shared model, and visible to other users as soon as they are saved.
Team for Capella is a Capella add-on to simply share your models on the same server.
>> This webinar was driven by Stéphane Lacrampe (Obeo Canada):
Co-founder of Obeo, Stéphane Lacrampe is director the North American subsidiary of Obeo in Vancouver, Canada. MBSE enthusiast, Arcadia/Capella evangelist and Open Source advocate, Stéphane is also an active INCOSE member.
Experiences with Collaborative System Architecture Development within a Joint...
Model Based Systems Engineering is a foundation for CNXMotion to collaboratively develop motion control solutions for autonomous vehicle applications. There is a strong need for each member of our engineering team to be aligned with a common understanding of the intended system architecture.
In this presentation, CNXMotion will give an overview of our organization’s experiences with using MBSE. We will introduce our motivations for using MBSE, first as a communication means for our extended organization, and for co-development within other engineering team.
We will explain how our system architecture tool has provided both a modeling platform and methodology that can be flexibly adapted to best fit our research and development context. Our systems architects can closely collaborate with our engineers responsible for downstream design captures including vehicle and system behavioral simulations, software algorithms, human-machine interfaces, and hardware electrical mechanizations.
The presentation will include an illustrative example of a Capella model that has lead the design team to a successful demonstration of our motion control design concepts, sharing the realized benefits of using MBSE as a collaboration means between internal and external engineering teams.
Impact Analysis using Graph DB
Slides from presentation at GraphConnect London 19/11/2013 about performing an impact analysis using Neo4J graph database in the domain of web service integration.
WSO2Con USA 2015: Pattern Driven Enterprise Architecture
Patterns are the universal language of architects to communicate, refer, implement and improve. Architecture patterns from traditional SOA (service-oriented architecture) to ROA (resource-oriented architecture) and today to MSA (microservice architecture) drive most enterprise architectures today. Subpatterns such as EDA (event driven architecture) and WOA (web oriented architecture) also has a lot of traction today. These high-level concepts provide many best practices for enterprise architects that are looking to evolve their existing enterprise architecture or for those creating newer enterprise architecture strategies.
However, where should do we draw the line? Is SOA still the way to go or should we focus on MSA? During this session, Asanka will critically analyze the good, the bad and the ugly (if any) of the various architecture patterns, and jointly figure out where they should fit in.
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...
The new space economy asks for an overall improvement of systems engineering practices due to aggressive development time and complex systems design, implementation and operation by a number of players who grow with mission complexity. The talk proposes a critical analysis of a Model-Based Systems Engineering approach using ARCADIA and the Capella tool, applied to real CubeSat mission, with the aim of showing potentials and lacks.
Firstly, the way requirements are managed and traced using the Requirements Viewpoint is presented, highlighting the necessity of having a dedicated diagram for the trees generation; a solution to that is proposed in order to easily trace backwards requirements whenever needed. Following the ARCADIA method, the approach begins with the high-level objectives definition through the Operational Analysis, moving to a first internal functional analysis exploiting the second level of Capella, the System Analysis. The Logical Architecture is then developed introducing the concept of subsystem, leading to big decisions which will drive the successive Physical Architecture. The latter opens the road to all CubeSat components modeling using the concept of Node Physical Component, together with physical interfaces definition. Great use of all Capella concepts is done, such as Functional Chains, Control Functions, Replicas, Basic Mass and Price Viewpoints etc.
As the approach has been applied to a real space project, Phases and Modes have also been modeled exploiting respectively Scenario Diagrams, also used to define mission Concept of Operations, and State Machine Diagrams. Some thoughts oriented toward an improvement of the Modes management will be discussed. Lastly, ARCADIA and Capella do not provide a proper way of dealing with Assembly, Integration, Verification and Testing activities within the same architectural model, therefore an innovative approach is proposed and discussed to include such aspects in the model.
What's hot (20)
The state of Sirius, where we are and where we are going
The state of Sirius, where we are and where we are going
[ Capella Day 2019 ] Model-based safety analysis on Capella using Component F...
[ Capella Day 2019 ] Model-based safety analysis on Capella using Component F...
Keynote: A Roadmap for Domain-Specific Low-Code Platforms
Keynote: A Roadmap for Domain-Specific Low-Code Platforms
[Capella Days 2020] Innovating with MBSE – Medical Device Example
[Capella Days 2020] Innovating with MBSE – Medical Device Example
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
[SiriusCon 2020] Pushing Limits in Automotive Model Visualization at BOSCH - ...
[SiriusCon 2020] Pushing Limits in Automotive Model Visualization at BOSCH - ...
EclipseConEU 2019 - Your cloud-based modeling workbench in 15 minutes with Ec...
EclipseConEU 2019 - Your cloud-based modeling workbench in 15 minutes with Ec...
To the Single Source of Truth with Publication for Capella & Cloud for Capella
To the Single Source of Truth with Publication for Capella & Cloud for Capella
[SiriusCon 2018] Eclipse Sirius applied to a RAD Tool in Japan
[SiriusCon 2018] Eclipse Sirius applied to a RAD Tool in Japan
SiriusCon 2017 - 5 years of modelisation, from a prototype to an industrial g...
SiriusCon 2017 - 5 years of modelisation, from a prototype to an industrial g...
[SriusCon 2020] Sirius to the Web with Obeo Cloud Platform
[SriusCon 2020] Sirius to the Web with Obeo Cloud Platform
Adoption of a Graph Database in the Insurance Sector - Jan-Frederik Wilhelm &...
Adoption of a Graph Database in the Insurance Sector - Jan-Frederik Wilhelm &...
Simultaneously edit Capella models with Team for Capella
Simultaneously edit Capella models with Team for Capella
Experiences with Collaborative System Architecture Development within a Joint...
Experiences with Collaborative System Architecture Development within a Joint...
WSO2Con USA 2015: Pattern Driven Enterprise Architecture
WSO2Con USA 2015: Pattern Driven Enterprise Architecture
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...
Similar to Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius Diagram Features
Get into MBSE-MBSA process with a dedicated toolchain
E/E systems and cyber-physical systems are carrying out more and more advanced and safety critical features in many domains such as transport, energy, industry, farming, medical, etc. Therefore, during last few years, to manage the development of those complex systems, companies have moved from a document-based approach to a model-based approach associated with very specific tools.
However, system and safety engineering, and some other related engineering domains like cybersecurity for instance, are still too often conducted independently, whereas safety and system attributes are largely interdependent. There is a need to foster greater collaboration between these disciplines to avoid errors and also to maintain time-to-market.
That's why since several years, ALL4TEC, with its safety analysis tool Safety Architect, has been working to connect its tool with system solutions to couple MBSE and MBSA. The goal is to better ensure consistency between system design and safety analysis.
During this talk, ALL4TEC will present its Capella add-on that allows annotation of Capella models with basic safety information, smart export and dynamic connection to share data between Capella and Safety Architect to support MBSE-MBSA.
Cav Taguchi autosec china slides
This document describes a threat analysis tool called cp/TARA that was originally developed under a Japanese government research project on automotive cybersecurity. cp/TARA provides a common platform to integrate various threat analysis methods and risk assessment criteria using models. It supports threat analysis and risk assessment based on attack trees. cp/TARA models security features using extended SysML diagrams and can identify assets, attack surfaces, threats and derive security requirements to analyze threats in an automotive system.
[2015/2016] Software systems engineering PRINCIPLES
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
Leveraging Artificial Intelligence Processing on Edge Devices
The introduction of low-cost, high-performance embedded processors coupled with improvements in Neural Network model optimization lay the foundation for AI and Computer Vision at the edge. Moving intelligence from the cloud to the edge offers many advantages including the reduction of network traffic, predicable ML inference times, and data security to name a few. Challenges exist as many development teams do not have data scientist or AI development engineers. What is needed are practical AI solutions including ML development tools, optimized inference engines and reference platforms that will abstract out the development complexities to stream line prototyping and development.
In this joint webinar with Au-Zone Technologies we will discuss:
- Development challenges and solutions which can be use to enable AI/ML at the edge to implement object detection, classification and tracking for medical and industrial use-cases
- Visualization techniques for activity monitoring and object detection
Digital Security by Design: Imperas’ Interests - Simon Davidmann, Imperas Sof...
KTN ran a collaborators' workshop on 26 September 2019 in London to explain more about the Digital Security by Design Challenge announced by the government.
The Digital Security by Design challenge has been recently announced by the Department for Business, Energy & Industrial Strategy (BEIS). This challenge, amounting to £70 million of government funding over 5 years, was delivered by UK Research and Innovation (UKRI) through the Industrial Strategy Challenge Fund (ISCF).
This Collaborators' Workshop provides an opportunity to hear more details of the challenge and forthcoming competitions.
A Scoping Workshop for this challenge was held on 30th May: http://ow.ly/oz6230pHlGl
Find out more about the Defence and Security Interest Group at https://ktn-uk.co.uk/interests/defence-security
Join the Defence and Security Interest Group at https://www.linkedin.com/groups/8584397 or Follow KTN_UK Defence group on Twitter https://twitter.com/KTNUK_Defence
Visualizing BI technical cyber risks. Enterprise Risk and Security
Method for business impact analysis of technical risks is explained, which combines the disciplines of technical risk analysis and Enterprise Architecture. Our method is supported by software tooling to (semi-)automatically import results of a penetration test into an Enterprise Architecture model, and to analyze and visualize the business impact of these technical risks. This both enhances the value of penetration testing and increases the return-on-investment of the Enterprise Architecture effort.
The ABCs of Source-Assisted Web Application Penetration Testing With OWASP ZA...
This document discusses using source code to assist with web application penetration testing. It introduces Hybrid Analysis Mapping (HAM), which correlates results from static and dynamic application security testing. HAM standardizes vulnerability types, matches dynamic and static test locations, and improves parsing of parameters from source code. This allows merging results from static and dynamic analysis scans to provide a unified view of vulnerabilities. The talk describes how HAM can generate a database of an application's attack surface and map dynamic test results to specific lines of code. This enables pre-seeding scanners with the attack surface and precisely locating vulnerabilities found through dynamic testing.
Lecture 1-intro-to-software-development
The document provides an introduction to a course on software development. It outlines the grading breakdown for the course including assignments, exams, projects and participation. It then lists the topics that will be covered in the course, including project management, requirements engineering, software design, quality assurance and more. It also defines what software is, the different types of software, and discusses some common problems in software development projects.
Module 1.pdf
This document provides an introduction to the Object Oriented Software Engineering course. It discusses key topics that will be covered, including software engineering processes, software attributes, challenges in the field, and different types of software. The assessment pattern for the course is also outlined, involving assignments, tutorials, quizzes, and final assessment.
Software Architecture: introduction to the abstraction
The document provides an introduction to software architecture concepts including:
- Software architecture is defined as a set of components and connectors communicating through interfaces along with architecture design decisions.
- Multiple views are used to describe architectures including logical, process, deployment, and more.
- Architectural styles like pipe-and-filter and layered styles guide architecture design.
- Careful architecture design is important as it impacts system properties like performance, scalability, and testability.
[SiriusCon 2020] Realization of Model-Based Safety Analysis and Integration w...
The importance of mission or safety-critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model-based system engineering (MBSE) is currently one of the key approaches to cope with increasing system complexity.
With Component Fault Trees (CFTs) there is a model- and component-based methodology for safety analysis, which extends the advantages of model-based development to safety & reliability engineering. In this talk, we demonstrate how to ease the development of safety-critical systems by implementing a graphical modeling tool for Component Fault Trees using Sirius and integrate safety analysis capabilities in a model-based system engineering workflow in Capella.
Speaker :
Mark Zeller, Siemens CT
Marc Zeller works as a Senior Key Expert for model-based safety and reliability engineering at Siemens Corporate Technology. His research interests are focused on the efficient and effective development of dependability-relevant Cyber-physical Systems using model-based engineering techniques. Marc Zeller received a diploma in Computer Science from the Karlsruhe Institute of Technology (KIT) in 2007 and obtained a PhD in Computer Science from the University of Augsburg in 2013. With over 10-years' experience in different industrial domains, such as automotive, railway, avionics, or industry automations, he has been involved in various projects establishing model-based engineering techniques and is author of many publications in this area.
security_assessment_slides
This document summarizes key information from a presentation on security architecture in the IoT age. It discusses the risks of vulnerabilities being exploited in embedded devices, as seen with Stuxnet. It recommends resources for credible cybersecurity information, including the Information Assurance Support Environment site. The document also summarizes guidance on the Risk Management Framework and Security Technical Implementation Guides.
Developing IIOT System Using Microservices and Its Architectural Evaluation U...
My Speech at Saturn 2019. This presentation is about
the SEI Architecture Tradeoff Analysis Method (ATAM) based architectural analysis of a IIOT system that collects data from thousands of end devices for recording, analysis and display,
and its risks, sensitivity points, and tradeoffs identified during scenario-based analysis.
CV_almurdh A
Abdulrahman Abdulaziz Al-Murdhi is seeking a position in information security management, design, implementation, or projects management. He has over 12 years of experience in information security and IT project management. He has expertise in enterprise security management, project handling, and security product installation and management. He has managed several security and IT projects and has educational and professional qualifications in information security, project management, and quality management.
SiriusCon 2017 - 5 years of modeling - Safety Architect
Slides used during the SiriusCon 2017 in Paris to present how ALL4TEC has used Sirius and Obeo Designer to build its project Safety Architect, and the future perspective including a full Capella integration.
Dr. Bernd GRAHLMANN and NXP automating testing with Telelogic DOORS @ NXP pre...
Automating Testing with Telelogic DOORS @ NXP - Automatisation de test avec Telelogic DOORS chez NXP Semiconductors (Presentation Telelogic UGC 2008 France)
MODEL-DRIVEN ENGINEERING (MDE) in Practice
The document discusses model-driven engineering (MDE) and its advantages. It describes a case study where two development teams, one using traditional development and one using model-driven development (MDA), built a simple e-commerce system. The MDA team achieved a 35% increase in productivity compared to the traditional team. Overall, using MDE approaches can yield an average of 26% savings in development time and costs. MDE promotes higher levels of abstraction, automation, and standards-compliance to help manage increasing demands on modern software.
COMMitMDE'18: Eclipse Hawk: model repository querying as a service
Eclipse Hawk provides scalable querying of models by indexing them into graph databases. It addresses challenges of collaborative modeling on large systems by distributed teams. The Hawk API is designed for flexibility, performance, and scalability through features like multiple communication styles, efficient encodings, and paged results.
Cncf checkov and bridgecrew
This document discusses a webinar about integrating infrastructure as code (IaC) security into the development lifecycle using Checkov. It notes that nearly half of open source Terraform and CloudFormation templates contain security issues. Checkov is introduced as an open source IaC scanning tool that supports multiple frameworks and cloud providers. The benefits of Checkov include lower remediation times, reduced security incidents, and simplifying compliance. Integrations with DevOps tools and the Cloud Native Application Platform Approach (CNAPP) are also discussed. A demo of Checkov is then shown including using it with VS Code and Azure DevOps.
AMIT PATIL- Embedded OS Professional
Amit Vijay Patil is an embedded OS professional with 8 years of experience in automotive embedded systems. He is currently a senior software design engineer working on head-up display projects. His experience includes working on ISO 26262 standards, diverse microcontroller architectures, functional requirement implementations, driver development, memory management, OS scheduling, communication protocols, and signal processing algorithms. He holds an MS in advanced embedded systems and aims to take on more ambitious embedded projects that utilize his skills in embedded OS and signal processing design.
Similar to Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius Diagram Features (20)
Get into MBSE-MBSA process with a dedicated toolchain
Get into MBSE-MBSA process with a dedicated toolchain
[2015/2016] Software systems engineering PRINCIPLES
[2015/2016] Software systems engineering PRINCIPLES
Leveraging Artificial Intelligence Processing on Edge Devices
Leveraging Artificial Intelligence Processing on Edge Devices
Digital Security by Design: Imperas’ Interests - Simon Davidmann, Imperas Sof...
Digital Security by Design: Imperas’ Interests - Simon Davidmann, Imperas Sof...
Visualizing BI technical cyber risks. Enterprise Risk and Security
Visualizing BI technical cyber risks. Enterprise Risk and Security
The ABCs of Source-Assisted Web Application Penetration Testing With OWASP ZA...
The ABCs of Source-Assisted Web Application Penetration Testing With OWASP ZA...
Software Architecture: introduction to the abstraction
Software Architecture: introduction to the abstraction
[SiriusCon 2020] Realization of Model-Based Safety Analysis and Integration w...
[SiriusCon 2020] Realization of Model-Based Safety Analysis and Integration w...
Developing IIOT System Using Microservices and Its Architectural Evaluation U...
Developing IIOT System Using Microservices and Its Architectural Evaluation U...
SiriusCon 2017 - 5 years of modeling - Safety Architect
SiriusCon 2017 - 5 years of modeling - Safety Architect
Dr. Bernd GRAHLMANN and NXP automating testing with Telelogic DOORS @ NXP pre...
Dr. Bernd GRAHLMANN and NXP automating testing with Telelogic DOORS @ NXP pre...
COMMitMDE'18: Eclipse Hawk: model repository querying as a service
COMMitMDE'18: Eclipse Hawk: model repository querying as a service
More from Obeo
Digitally assisted design for safety analysis
This document introduces ATICA4Capella, a model-based safety analysis framework and toolset for the aerospace industry. It uses the Capella modeling environment for systems engineering. The toolset allows defining functional requirements, performing a functional hazard analysis, and generating safety documentation. It also supports semi-automated fault tree analysis and is aligned with aerospace safety standards like ARP4761. A case study of applying the tools to an eVTOL vehicle design is presented. The document outlines ongoing work to further integrate requirements management and automated analysis capabilities.
INCOSE IS 2023 | You deserve more than the best in class MBSE tool
As Model-Based Systems Engineering (MBSE) becomes more widely adopted in industry, projects involving collaborating teams require efficient collaboration and coordination. This talk will explore the challenges of industrializing MBSE projects and present solutions using the Capella modeling tool. We will discuss how the Cloud for Capella, Publication for Capella and Team for Capella extensions can support effective collaboration and communication among stakeholders working on MBSE projects. These extensions enable all project participants to remain aligned and up-to-date with project progress, ensuring that the project runs smoothly and efficiently. By the end of the talk, attendees will have a better understanding of how to industrialize MBSE projects and the role Capella can play in supporting these efforts.
Biography: Stephane Lacrampe
Stephane Lacrampe co-founded Obeo in 2005 in France and acted as the company's CEO until 2018. Obeo is an independent software vendor with a global reach, leading in open-source modeling software for system and software engineers, enterprise architects, and domain modeling experts. He is now the director of Obeo Canada. He is a very active member of the Capella community and is in charge of developing the Capella ecosystem in North and South America. He is a regular MBSE speaker who speaks at conferences in America and beyond. Stephane LACRAMPE is co-chair of the INCOSE Systems Engineering Tools Database Working Group and the INCOSE Canada chapter webmaster.
Tailoring Arcadia Framework in Thales UK
Architecture frameworks provide an approach to describing systems and the presentation of these elements and relationships to deliver the stakeholder needs. Essentially, frameworks provide templates for our engineering artefacts.
The design of a framework must accommodate a level of freedom in its usage; specific enough to answer the majority of stakeholder concerns whilst generic enough to allow for differences between projects. This balancing act often results in framework design being more generic to allow for a wider audience. Having an untailored framework, which is more ‘open’, can lead to creating inconsistent viewpoints.
Arcadia is one such framework as implemented through the Capella tool. The framework provides 4 perspectives/levels for product definition:
- The Operational Analysis, where the user needs are considered. Note: no concept of the System at this level.
- The System Analysis, where we define the contribution and scope of the System as a ‘black box’, identifying external interfaces, and top-level system functions.
- The Logical Architecture, where we break the System down into logical ‘blocks’ and decompose the functionality.
- The Physical Architecture, in which we define a (candidate) physical architecture, further decompose the functions, and deploy this functionality to the physical sub-systems, hardware, software and/or firmware.
In this talk, we acknowledge the strengths of the Arcadia framework, and the benefits it brings, whilst considering the need to tailor the generic viewpoints. We will provide examples of how we have adopted the generic Arcadia framework and further specified some of the viewpoints to meet the needs of our stakeholders. We will discuss future work looking at how we can translate these specialisations across other areas of the model. Finally, we will provide some suggestions and advice on tailoring views to meet your own needs and ensuring stakeholder engagement with the model.
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
Generation of Interface Control Documents (ICDs) using a model-based method has a number of advantages over text-based approaches. This paper describes the Python-based software that was written to automatically generate different versions of an ICD from a structure model in Capella. One use case for this approach is checking parts changes captured in the Engineering Bill of Materials (EBOM) using a PLM tool. We demonstrate an automated workflow that links changes in the EBOM to a request to vet the change against the ICD. This presentation will discuss our rationale, approach, results, and lessons learned.
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...
Systems engineering is an iterative approach traditionally applied one-way, from the definition of the user needs to the implementation of a solution that satisfies certain requirements and is constrained by cost and schedule. This presentation instead aims at exploring the educational benefits of applying the opposite practice, thus retrieving system and subsystem level requirements based on a solution already implemented and taking advantage of the MBSE possibilities to realize a model of the system according to the ARCADIA method and systems engineering approach, using the Capella MBSE Tool. This reverse-engineering process has been applied to a renowned Space mission, the ESA Mars Express satellite, whose goal is to investigate all aspects of the martian environment, including the subsurface, surface and atmosphere of the planet, in order to search for evidence of extinct or extant life. The uppermost goal of this project is to demonstrate the benefits for university students at a Master's level keen on systems engineering in implementing the Capella tool to retrieve the system architecture and the operational processes in a "reversed" strategy. In this work, students have been compelled to apply systems engineering processes to justify the design choices and exploit the already well-known missions and capabilities to build the architecture and functional chains as a starting point for the reverse engineering of the identified subsystems. The results prove it is possible, and also recommendable time-wise, to teach Space engineering and Systems engineering students by using this inverse approach, rather than the canonic one in which students have to design a whole mission from scratch.
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...
Closing the gap between traditional engineering and digital-native model-based driven engineering requires helping engineers to embrace new techniques. Naval Group decided to tackle the following issues: lack of interoperability with other systems, lack of bridge between functional definitions in PID schemas and MBSE physical layers, lack of documenting cross-layers relationships for a specific object's type.
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps
1) The document discusses strategies for starting to implement model-based systems engineering (MBSE) and using the Capella modeling tool at Thales Avionics. It recommends strengthening fundamentals like vocabulary, demystifying MBSE and Capella, and promoting quick wins.
2) Examples of quick wins include using Capella to generate documentation from models and creating Python scripts to automatically extract content from models into tables.
3) The document emphasizes that every small step counts towards improving engineering practices through pragmatic adoption of MBSE and continuous improvement.
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...
COMAC is one of the leading suppliers of civil aircraft in the world. We will introduce how we use Capella in COMAC for collaborative design, including how to collaborate between overall design group and ATA design groups, and how to collaborate between different ATA design groups. We have done a series of extension development based on the System to Subsystem Transition add-on, to support the business process. These extensions include the integration from subsystem models to system model, the refinement of functional exchanges, the synchronization of newly added functional exchanges, and so on.
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
This document discusses CILAS's use of the Arcadia methodology and Capella tool. It provides an overview of CILAS, its activities and products in optics and lasers. It then details how CILAS uses various Arcadia artifacts and Capella throughout its projects, covering operational analysis, functional needs, logical and physical architectures. Benefits of the approach include improved knowledge management and communication, while hurdles include resistance to change and resource demands of Capella. The document concludes that Arcadia implementation has been beneficial so far but continues tailoring and metrics are needed to support further adoption.
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...
Development of high-tech systems is a complex task done by diverse specialists distributed across the globe. Reference architectures including a clear functional breakdowns can support them and support their decisions. This presentation proposes an approach to improve the development of advanced electron microscopes by using Capella as an authoritative source of information. To support design decisions, a Capella AddOn has been developed to obtain quantitative information, such as throughput numbers, for a particular workflow. First, we will illustrate how functional and system decompositions can be captured and serve as company-wide architecting assets to inform design decisions. Next, we will outline how simulating Capella models can bring valuable insights to modelers. During a demo, we’ll simulate Capella’s Functional chains using the open-source simulation tool POOSL (https://github.com/eclipse/poosl) , and visualize results using the freely available TRACE4CPS tool (https://www.eclipse.org/trace4cps/). Re-using functions from the reference architecture allows us reason about design aspects such as the relation between throughput and design choices about function allocation and parallelism.
***
The open-source code of the solution is available at https://github.com/TNO/capella-workflow-dse
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...
Project Challenges
functional and non-functional requirements
big team, multi-business units, and multi-geographical sites
MBSE skills development
...
Project engineering process based on MBSE
multi-level MBSE approach (SSS, SSDD, transition to sub-systems, ...)
incremental engineering and AGILE development
engineering artefacts used and how they're linked (ARCADIA, conventional and AGILE artefacts)
Feed Forward
Our successes and pains
What we expect from Capella for the coming years
CapellaDays2022 | SIEMENS | Expand MBSE into Model-based Production Engineeri...
Mind Game: You want to build a LEGO Mindstorms Factory for Toy Cars and you are Head of Factory Planning. You identify that your manufacturing planning team and your product design team don’t collaborate with each other, because they work in silos and speak different languages. Their progress is too slow and the results are not synchronized.
Imagine: You succeed in merging your experts into one interdisciplinary team where everyone is collaboratively working together – already in the early stages of the engineering cycle. And imagine they start to speak the same language. Doubtless, you would speed up your engineering process. Furthermore, you would also reach a synchronized global solution for your manufacturing system and to be produced toy cars, building bridges inside your organization.
But how? This has been introduced by Dr.-Ing. C. Sinnwell in February 2020 in her PhD-thesis. There, she published the latest version of a methodology referred to as “MBPE – Model-Based Production Engineering”. The MBPE-methodology is a new approach for the conceptual design of manufacturing systems based on early product information supported by MBSE using UML.
The presentation will spotlight the MBPE-methodology, explaining how to use MBSE in the context of interdisciplinary factory and manufacturing planning. Also, it will be shown, how the methodology could be adapted to be realized with Eclipse Capella instead of any UML-modeling tool, illustrated by an example on how to conceptualize and model a LEGO Mindstorms production line for Toy Cars.
Gestion applicative des données, un REX du Ministère de l'Éducation Nationale
Gestion applicative des données, un REX du Ministère de l'Éducation Nationale
Slides du webinaire IS Designer du Jeudi 10 Novembre 2022.
Une approche de modélisation et de
génération automatique avec IS Designer.
Le pôle de Versailles du Ministère de l'Éducation Nationale a utilisé l'outil open-source Information System Designer sur plusieurs projets à portée nationale pour modéliser les bases de données et les couches applicatives d'accès aux données (DAO).
Ce retour d'expérience sera présenté en détail lors de ce webinaire :
✔ la démarche mise en place,
✔ comment l'outil a été utilisé,
✔ les bénéfices constatés.
"Pour la dizaine de développeurs impliqués sur ces projets, la production automatique des Tests Unitaires a aussi permis de s'approprier plus facilement le socle technique, grâce à une approche par l'exemple, mais également d’avoir une assurance de non régression sur les fonctionnalités produites."
Simulation with Python and MATLAB® in Capella
A common need in system architecture design is to verify that if the architect is correct and can satisfy its requirements.
Execution of system architect model means to interact with state machines to test system’s control logic. It can verify if the logical sequences of functions and interfaces in different scenarios are desired.
However, only sequence itself is not enough to verify its consequence or output. So we need each function to do what it is supposed to do during model execution to verify its output, and that is what we called “simulation”.
This presentation introduced how to embed Python or MATLAB® codes inside functions to do “simulation” within Capella.
From Model-based to Model and Simulation-based Systems Architectures
Achieving quality engineering through descriptive and analytical models
Systems architecture design is a key activity that affect the
overall systems engineering cost. It is hence fundamental
to ensure that the system architecture reaches a proper quality.
In this paper, we leverage on MBSE approaches and complement them
with simulation techniques, as a prom-ising way to improve the quality of the system architecture definition, and to come up with inno-vative solutions while securing the systems engineering process.
Connecting Textual Requirements with Capella Models
This document provides information about a webinar hosted by The REUSE Company in 2022. It introduces the two presenters, José Fuentes and Jose Pereira, and provides details about their backgrounds and qualifications. It also outlines the contents of the webinar, which will include an introduction to The REUSE Company, a demonstration of using textual requirements with Capella, and a question and answer session.
Sirius Web Advanced : Customize and Extend the Platform
Beyond the no code approach, Sirius Web is an open and extensible platform that you can customize in order to support your needs. Discover how to develop specific features in Sirius Web and integrate your modeler with other web applications.
Stéphane Bégaudeau, Obeo
Stéphane Bégaudeau graduated from the Nantes University of Sciences and Technology and is currently working as an Eclipse Modeling consultant at Obeo in France.
Sirius Web 101 : Create a Modeler With No Code
Sirius Web 101 provides a no-code modeler that allows defining domains and views without writing code. The document demonstrates creating a company domain with teams, employees, sites using no code definitions. It then shows two diagrams - one for teams and one for sites - generated from the same data. The summary concludes that the no-code results can address simple cases and that new no-code features are in development.
Sirius Project, Now and In the Future
What's new in Sirius Web ? Discover the current version and what will come in the next releases.
Mélanie Bats, Obeo
Mélanie Bats works as CTO at Obeo. In my daily work, I am mainly focused on managing the R&D team, creating products based on our own open source technologies. I am used to work in the development of modeling tools with Sirius like UML Designer. I am committer for the EEF and the Sirius projects. I am also involved in the Eclipse community as being the Eclipse Planning Council chair. I am also a free software activist who has organized and participated in free software events in the Toulouse area.
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Sirius
Advancing digitalization affects almost all aspects of our modern world. A prominent example is that of modern automobiles. From primarily mechanical machines, cars have evolved into driving complex cyber-physical systems over the last decades. Optimizing such systems consisting of vast networks of sensors, actuators, control units, and communication systems is a huge challenge for today's automotive industry and requires standardized and integrated toolchains fit for purpose. Together with a prestigious automotive industry partner, the Technical University of Ilmenau developed an application together with an integrated toolchain for evaluating and optimizing automotive architecture models. This application is based on the Obeo Sirius project as well as the Eclipse Modeling Framework. Based on Sirius, we created a model editor which is used for visualizing, editing, but also analyzing and optimizing automotive models across the boundaries of different architectural layers.
Maximilian Hammer, Technical University of Ilmenau
Maximilian Hammer is a Research Assistant at Technical University of Ilmenau
More from Obeo (20)
INCOSE IS 2023 | You deserve more than the best in class MBSE tool
INCOSE IS 2023 | You deserve more than the best in class MBSE tool
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...
CapellaDays2022 | SIEMENS | Expand MBSE into Model-based Production Engineeri...
CapellaDays2022 | SIEMENS | Expand MBSE into Model-based Production Engineeri...
Gestion applicative des données, un REX du Ministère de l'Éducation Nationale
Gestion applicative des données, un REX du Ministère de l'Éducation Nationale
From Model-based to Model and Simulation-based Systems Architectures
From Model-based to Model and Simulation-based Systems Architectures
Connecting Textual Requirements with Capella Models
Connecting Textual Requirements with Capella Models
Sirius Web Advanced : Customize and Extend the Platform
Sirius Web Advanced : Customize and Extend the Platform
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...
Recently uploaded
Top Benefits of Using Salesforce Healthcare CRM for Patient Management.pdf
Salesforce Healthcare CRM, implemented by VALiNTRY360, revolutionizes patient management by enhancing patient engagement, streamlining administrative processes, and improving care coordination. Its advanced analytics, robust security, and seamless integration with telehealth services ensure that healthcare providers can deliver personalized, efficient, and secure patient care. By automating routine tasks and providing actionable insights, Salesforce Healthcare CRM enables healthcare providers to focus on delivering high-quality care, leading to better patient outcomes and higher satisfaction. VALiNTRY360's expertise ensures a tailored solution that meets the unique needs of any healthcare practice, from small clinics to large hospital systems.
For more info visit us https://valintry360.com/solutions/health-life-sciences
LORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOM
Zoom is a comprehensive platform designed to connect individuals and teams efficiently. With its user-friendly interface and powerful features, Zoom has become a go-to solution for virtual communication and collaboration. It offers a range of tools, including virtual meetings, team chat, VoIP phone systems, online whiteboards, and AI companions, to streamline workflows and enhance productivity.
Transform Your Communication with Cloud-Based IVR Solutions
Discover the power of Cloud-Based IVR Solutions to streamline communication processes. Embrace scalability and cost-efficiency while enhancing customer experiences with features like automated call routing and voice recognition. Accessible from anywhere, these solutions integrate seamlessly with existing systems, providing real-time analytics for continuous improvement. Revolutionize your communication strategy today with Cloud-Based IVR Solutions. Learn more at: https://thesmspoint.com/channel/cloud-telephony
GreenCode-A-VSCode-Plugin--Dario-Jurisic
Presentation about a VSCode plugin from Dario Jurisic at the GSD Community Stage meetup
Graspan: A Big Data System for Big Code Analysis
We built a disk-based parallel graph system, Graspan, that uses a novel edge-pair centric computation model to compute dynamic transitive closures on very large program graphs.
We implement context-sensitive pointer/alias and dataflow analyses on Graspan. An evaluation of these analyses on large codebases such as Linux shows that their Graspan implementations scale to millions of lines of code and are much simpler than their original implementations.
These analyses were used to augment the existing checkers; these augmented checkers found 132 new NULL pointer bugs and 1308 unnecessary NULL tests in Linux 4.4.0-rc5, PostgreSQL 8.3.9, and Apache httpd 2.2.18.
- Accepted in ASPLOS ‘17, Xi’an, China.
- Featured in the tutorial, Systemized Program Analyses: A Big Data Perspective on Static Analysis Scalability, ASPLOS ‘17.
- Invited for presentation at SoCal PLS ‘16.
- Invited for poster presentation at PLDI SRC ‘16.
SMS API Integration in Saudi Arabia| Best SMS API Service
Discover the benefits and implementation of SMS API integration in the UAE and Middle East. This comprehensive guide covers the importance of SMS messaging APIs, the advantages of bulk SMS APIs, and real-world case studies. Learn how CEQUENS, a leader in communication solutions, can help your business enhance customer engagement and streamline operations with innovative CPaaS, reliable SMS APIs, and omnichannel solutions, including WhatsApp Business. Perfect for businesses seeking to optimize their communication strategies in the digital age.
Everything You Need to Know About X-Sign: The eSign Functionality of XfilesPr...
Wondering how X-Sign gained popularity in a quick time span? This eSign functionality of XfilesPro DocuPrime has many advancements to offer for Salesforce users. Explore them now!
ALGIT - Assembly Line for Green IT - Numbers, Data, Facts
Presentation from Ghazal Aakel and Eric Jochum at the GSD Community Stage Meetup on June 6th, 2024
Requirement Traceability in Xen Functional Safety
Using OpenFastTrace to trace requirements in Xen functional safety
Webinar On-Demand: Using Flutter for Embedded
Flutter is a popular open source, cross-platform framework developed by Google. In this webinar we'll explore Flutter and its architecture, delve into the Flutter Embedder and Flutter’s Dart language, discover how to leverage Flutter for embedded device development, learn about Automotive Grade Linux (AGL) and its consortium and understand the rationale behind AGL's choice of Flutter for next-gen IVI systems. Don’t miss this opportunity to discover whether Flutter is right for your project.
Oracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers. This video you can watch from my youtube channel at https://youtu.be/m-F-mZA3MkU
Hand Rolled Applicative User Validation Code Kata
Could you use a simple piece of Scala validation code (granted, a very simplistic one too!) that you can rewrite, now and again, to refresh your basic understanding of Applicative operators <*>, <*, *>?
The goal is not to write perfect code showcasing validation, but rather, to provide a small, rough-and ready exercise to reinforce your muscle-memory.
Despite its grandiose-sounding title, this deck consists of just three slides showing the Scala 3 code to be rewritten whenever the details of the operators begin to fade away.
The code is my rough and ready translation of a Haskell user-validation program found in a book called Finding Success (and Failure) in Haskell - Fall in love with applicative functors.
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
Crescat is industry-trusted event management software, built by event professionals for event professionals. Founded in 2017, we have three key products tailored for the live event industry.
Crescat Event for concert promoters and event agencies. Crescat Venue for music venues, conference centers, wedding venues, concert halls and more. And Crescat Festival for festivals, conferences and complex events.
With a wide range of popular features such as event scheduling, shift management, volunteer and crew coordination, artist booking and much more, Crescat is designed for customisation and ease-of-use.
Over 125,000 events have been planned in Crescat and with hundreds of customers of all shapes and sizes, from boutique event agencies through to international concert promoters, Crescat is rigged for success. What's more, we highly value feedback from our users and we are constantly improving our software with updates, new features and improvements.
If you plan events, run a venue or produce festivals and you're looking for ways to make your life easier, then we have a solution for you. Try our software for free or schedule a no-obligation demo with one of our product specialists today at crescat.io
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
The UI5 tooling is the development and build tooling of UI5. It is built in a modular and extensible way so that it can be easily extended by your needs. This session will showcase various tooling extensions which can boost your development experience by far so that you can really work offline, transpile your code in your project to use even newer versions of EcmaScript (than 2022 which is supported right now by the UI5 tooling), consume any npm package of your choice in your project, using different kind of proxies, and even stitching UI5 projects during development together to mimic your target environment.
Odoo ERP Vs. Traditional ERP Systems – A Comparative Analysis
When it is all about ERP solutions, companies typically meet their needs with common ERP solutions like SAP, Oracle, and Microsoft Dynamics. These big players have demonstrated that ERP systems can be either simple or highly comprehensive. This remains true today, but there are new factors to consider, including a promising new contender in the market that’s Odoo. This blog compares Odoo ERP with traditional ERP systems and explains why many companies now see Odoo ERP as the best choice.
What are ERP Systems?
An ERP, or Enterprise Resource Planning, system provides your company with valuable information to help you make better decisions and boost your ROI. You should choose an ERP system based on your company’s specific needs. For instance, if you run a manufacturing or retail business, you will need an ERP system that efficiently manages inventory. A consulting firm, on the other hand, would benefit from an ERP system that enhances daily operations. Similarly, eCommerce stores would select an ERP system tailored to their needs.
Because different businesses have different requirements, ERP system functionalities can vary. Among the various ERP systems available, Odoo ERP is considered one of the best in the ERp market with more than 12 million global users today.
Odoo is an open-source ERP system initially designed for small to medium-sized businesses but now suitable for a wide range of companies. Odoo offers a scalable and configurable point-of-sale management solution and allows you to create customised modules for specific industries. Odoo is gaining more popularity because it is built in a way that allows easy customisation, has a user-friendly interface, and is affordable. Here, you will cover the main differences and get to know why Odoo is gaining attention despite the many other ERP systems available in the market.
Unveiling the Advantages of Agile Software Development.pdf
Learn about Agile Software Development's advantages. Simplify your workflow to spur quicker innovation. Jump right in! We have also discussed the advantages.
A Study of Variable-Role-based Feature Enrichment in Neural Models of Code
Understanding variable roles in code has been found to be helpful by students
in learning programming -- could variable roles help deep neural models in
performing coding tasks? We do an exploratory study.
- These are slides of the talk given at InteNSE'23: The 1st International Workshop on Interpretability and Robustness in Neural Software Engineering, co-located with the 45th International Conference on Software Engineering, ICSE 2023, Melbourne Australia
Mobile App Development Company In Noida | Drona Infotech
Drona Infotech is a premier mobile app development company in Noida, providing cutting-edge solutions for businesses.
Visit Us For : https://www.dronainfotech.com/mobile-application-development/
Artificia Intellicence and XPath Extension Functions
The purpose of this presentation is to provide an overview of how you can use AI from XSLT, XQuery, Schematron, or XML Refactoring operations, the potential benefits of using AI, and some of the challenges we face.
E-commerce Development Services- Hornet Dynamics
For any business hoping to succeed in the digital age, having a strong online presence is crucial. We offer Ecommerce Development Services that are customized according to your business requirements and client preferences, enabling you to create a dynamic, safe, and user-friendly online store.
Recently uploaded (20)
Top Benefits of Using Salesforce Healthcare CRM for Patient Management.pdf
Top Benefits of Using Salesforce Healthcare CRM for Patient Management.pdf
Transform Your Communication with Cloud-Based IVR Solutions
Transform Your Communication with Cloud-Based IVR Solutions
SMS API Integration in Saudi Arabia| Best SMS API Service
SMS API Integration in Saudi Arabia| Best SMS API Service
Everything You Need to Know About X-Sign: The eSign Functionality of XfilesPr...
Everything You Need to Know About X-Sign: The eSign Functionality of XfilesPr...
ALGIT - Assembly Line for Green IT - Numbers, Data, Facts
ALGIT - Assembly Line for Green IT - Numbers, Data, Facts
Oracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptx
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
Odoo ERP Vs. Traditional ERP Systems – A Comparative Analysis
Odoo ERP Vs. Traditional ERP Systems – A Comparative Analysis
Unveiling the Advantages of Agile Software Development.pdf
Unveiling the Advantages of Agile Software Development.pdf
A Study of Variable-Role-based Feature Enrichment in Neural Models of Code
A Study of Variable-Role-based Feature Enrichment in Neural Models of Code
Mobile App Development Company In Noida | Drona Infotech
Mobile App Development Company In Noida | Drona Infotech
Artificia Intellicence and XPath Extension Functions
Artificia Intellicence and XPath Extension Functions
Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius Diagram Features
- 1. 1 A Model-Based Safety Analysis Tool Benefiting from Sirius Diagram Features Jean Godot R&D engineer (PhD) Jonathan Dumont Technical lead
- 2. Content • ALL4TEC (A4T) ‐ Company presentation ‐ Our software tools ‐ Sirius & Our software tools • Safety Architect (SA) ‐ Software tool presentation ‐ Sirius-based features › Fault Tree › Risk report › Safety-Security combined analysis › Bridge with Capella › Automatic layout with ELK • Conclusion 2
- 3. A4T – Company presentation • French software company for more than 20 years • Expert in Model-Driven Engineering • Developed software tools address: Complex systems testing, Safety and Cybersecurity fields • Significant presence in French defense (DGA and related electronic companies) • 20 engineers and researchers developing and maintaining software tools • R&D projects (European and French) 3
- 4. A4T – Our software tools Safety and Cybersecurity risk analysis for Safe & Secure systems Agile Risk Manager Cybersecurity risk analysis based on EBIOS Risk Manager Safety Architect Model-Based Safety Analysis (MBSA) Cyber Architect Cybersecurity risk analysis based on EBIOS 2010 MaTeLo Model-Based Testing (MBT) Test & Validation 4
- 5. A4T - Sirius & Our software tools Cyber Architect • Attack trees Agile Risk Manager • Strategic and Operational scenarios • Connection with CDO for multi-users mode Safety Architect • System architecture • Local safety analysis • Fault trees • Risk report • And more… 5
- 6. SA - Software tool presentation 6 • Main goals 1. To provide a dedicated tool for safety engineers FTA FMEA / FMECA FHA, HARA Global Analysis
- 7. SA - Software tool presentation 7 • Main goals 2. To ensure consistency between system design and safety analysis: MBSA → MBSE – MBSA Modelling Local Analysis FTA FMEA / FMECA FHA, HARA Global Analysis
- 8. • Main goals 3. To interface with other engineering tools SA - Software tool presentation 8 System models IBM Rhapsody System Modelling Workbench Security data Fault trees Reports MBSE - MBSA Safety – Security co-engineering TeamCenter PLM Requirements
- 9. SA – Sirius-based features 9 • Many different diagram representations to assist safety engineers ‐ System architecture ‐ Local safety analysis ‐ Fault trees ‐ Risk report ‐ Safety-Security combined analysis • Implementation of ELK (Eclipse Layout Kernel → automatic layout for diagrams) to ease diagram design • Bridge and connection between Capella and Safety Architect to support MBSE-MBSA Let’s see in demo !
- 10. Conclusion 10 Pros: ‐ Native implementation and connection with the EMF metamodel ‐ Style customization ‐ Many features are managed by default (layers, undo/redo…) ‐ Quick prototyping Cons: ‐ Specific behaviour are difficult to implement (border nodes management, custom action on drag and drop) ‐ Some ergonomic tips which need to be improved (alignment between non-siblings elements, default layout of links) ‐ Menu language only in English Perspective ‐ Investigation with Sirius Web for our future tool based on web interface
- 11. Q & A 11 Visit our website ! www.all4tec.com Jean Godot R&D engineer (PhD) jean.godot@all4tec.net Jonathan Dumont Technical lead jonathan.dumont @all4tec.net