SlideShare a Scribd company logo
1 of 25
Download to read offline
MetaEdit+ EAST-ADL tooling
Supporting automotive system
and software development
EAST-ADL in a nutshell
 A domain-specific modeling language
 Targets specification and analysis of automotive embedded
systems
 Developed by industry
 Compatible with AUTOSAR, ISO 26262
The following slides introduce EAST-ADL through an example of a
power window system
Development process
(according to V-model)
1 Requirements
2 Features
3 Analysis
4 Design
5 Implementation
Requirements trace
Safety analysis
(ISO 26262)
Error analysis
V&V:
System/Integration/Unit
Case: PowerWindow system
 This system is used as an example in the slides
1. Requirements
PowerWindow: requirements
PWC_Req1 User shall be able to open and close the window by requesting
basicUp or basicDown
PWC_Req2 The window shall stop when it reaches fully opened or fully closed position
PWC_Req3 User shall be able to fully open or fully close the window by requesting
expressUp or expressDown
PWC_Req4 At any time, the driver request has a higher priority than the passenger
request
 Development starts with customer needs
– Specified as requirements
– Requirements are refined during development
PowerWindow related requirements:
in Excel in EAST-ADL model
1. Requirements specification
 Specified in some document (Excel, Word, etc.), requirement
management tool or directly in EAST-ADL
PowerWindow:
1. Requirements specification
 Tool supports requirement management and refinements
– New, updated, removed requirements
 Requirements can be automatically transformed from external
sources to EAST-ADL models
1. Requirements specification
 The modeled requirements are refined and linked
 Trace reports provide requirements analysis
 Documentation and metrics generated from models
2. Features
PowerWindow: features
Basic up and down
Express up and down (optional feature)
Pinch protection
Power windows for driver
Optional power windows for passengers
Driver control for all windows (if passengers have power windows)
 A system can contain a number of (possibly alternative)
independent features that satisfy customer needs
– Specified as features that realize the requirements
– Features include both customer-visible and internal features
PowerWindow: features
2. Feature specification
 Specify feature trees in EAST-ADL
– Mandatory feature, optional feature, alternative features
– Cardinalities, dependencies
PowerWindow:
2. Feature specification
 Features specified, refined and linked with requirements
 Trace report produces summary of Features satisfying and
realizing requirements
 Documentation, metrics and checking generated from models
3. Analysis
PowerWindow: analysis functions
Position sensor provides data on window position
Each window has its own motor controlling the movement of the window
Two kinds of detector: EndStop and Pinch
Main window controller is responsible for sending commands to each window motor
Functions handling the window position data send information to detectors
Each window (driver and passenger) has its own switches
 System functionality is divided into a component structure
– Hierarchical structure
– Flow, power and service connections between the components
PowerWindow: analysis functions
3. System analysis
 EAST-ADL defines analysis architecture as functions
– Functional devices and analysis functions
– Flow, power and client/server based connections
PowerWindow:
3. System analysis
 MetaEdit+ supports function specification and linking with
requirements and features
 Reports provide tracing of features and requirements, model
checking, type declaration listings and usage of types
4. Design
PowerWindow: hardware elements
DriverSwitch <Sensor> controls the driver’s requests for the power window.
Requests include normal and express commands for Up and Down
MainPower <ElectricalComponent> is the main power source of the system
DDM <Node> Driver Door Module (DDM) controls window behavior of the door
WindowMotor <Actuator> WindowMotor actuator executes the commands for that window
 The functional system architecture is defined alongside the
hardware architecture
– Alternative allocations of logical functionality to hardware can
be specified
PowerWindow: functions, hardware, allocations
4. System design
 Design architecture specifies functions and connections
 Hardware architecture specifies HW elements and connections
 Allocation Matrix shows allocation of functions to hardware
4. System design
 MetaEdit+ supports linking designs with requirements and
features for traceability
 Design models can be used to generate implementation
– Simulink, ARXML, EAXML, etc.
4. System design
 MetaEdit+ supports integrating architecture models:
– Importing existing models, data type definitions etc.
– Checking consistency between models in other tools
– Generating Simulink models, UPPAAL, etc.
PowerWindow: integration example
4. System design
 MetaEdit+ supports importing other data to EAST-ADL models
 Function models can be transformed into dependability and error
models for safety design
 Model checking, reporting, traceability support
- Simulink
- Data type
definitions
- Code
- EAST-ADL
analysis
architecture
Safety analysis
PowerWindow: safety analysis items
Occupant Injury hazard (severity 1):
Satisfied with pinch protection moving the window down (ASIL=B)
Motor Stall hazard (severity 0):
Safe state satisfied when move max 10 sec and has endStop detection (ASIL=A)
Undesired exposure hazard (severity 0):
Prevent movement if request is not issued
 The safety of the system is analyzed according to standards
like ISO 26262
– Analysis is traced to original requirements
Safety analysis
PowerWindow hazard: expressUp occupant injury
 EAST-ADL directly supports the safety concepts of ISO 26262
as modeling constructs
– Items, hazard, hazard event, safety goals, ASIL
– Safety analysis is traced to original system requirements
PowerWindow: Dependability model and error model
Safety analysis
 Tool support enables tracing to requirements and features
 Safety analysis can be extended with error models to support
automated failure analysis
 Initial error models can be generated from system design
PowerWindow: automated FMEA analysis
Safety analysis
 Dependability analysis and optimization using error models
 Models can be traced and annotated on error propagation
 Analysis tools like HIPHOPS automatically perform Failure
Models and Effects Analyses (FMEA)
MetaEdit+ for EAST-ADL:
 Modeling editors for EAST-ADL
 Model checking and reporting
 Generators for software, failure analysis, requirements
traceability, safety analysis, documentation, metrics
 Collaborative modeling support, no merge needed
 Scales to large models (up to 4 billion model elements)
 Modeling languages and generators can be customized
 Integration interfaces with API (SOAP/Web Services/.NET),
XML format and command line support
 IDE integration with Visual Studio, Eclipse and others
For examples, articles, tutorial:
www.metacase.com/solution/east-adl.html
www.metacase.com
info@metacase.com

More Related Content

What's hot

UML Architecture and Views
UML Architecture and ViewsUML Architecture and Views
UML Architecture and ViewsKumar
 
Use Case Diagram
Use Case DiagramUse Case Diagram
Use Case DiagramAshesh R
 
INTRODUCTION TO UML DIAGRAMS
INTRODUCTION TO UML DIAGRAMSINTRODUCTION TO UML DIAGRAMS
INTRODUCTION TO UML DIAGRAMSAshita Agrawal
 
UML diagrams and symbols
UML diagrams and symbolsUML diagrams and symbols
UML diagrams and symbolsKumar
 
Introduction to design patterns
Introduction to design patternsIntroduction to design patterns
Introduction to design patternsAmit Kabra
 
OOAD UNIT I UML DIAGRAMS
OOAD UNIT I UML DIAGRAMSOOAD UNIT I UML DIAGRAMS
OOAD UNIT I UML DIAGRAMSMikel Raj
 
Model driven architecture
Model driven architectureModel driven architecture
Model driven architectureBiruk Mamo
 
Object oriented modeling and design
Object oriented modeling and designObject oriented modeling and design
Object oriented modeling and designjayashri kolekar
 
Design Pattern For C# Part 1
Design Pattern For C# Part 1Design Pattern For C# Part 1
Design Pattern For C# Part 1Shahzad
 
System testing ppt
System testing pptSystem testing ppt
System testing pptL ESHWAR
 
Software Architecture and Design - An Overview
Software Architecture and Design - An OverviewSoftware Architecture and Design - An Overview
Software Architecture and Design - An OverviewOliver Stadie
 
Uml Presentation
Uml PresentationUml Presentation
Uml Presentationmewaseem
 

What's hot (20)

UML Architecture and Views
UML Architecture and ViewsUML Architecture and Views
UML Architecture and Views
 
Use Case Diagram
Use Case DiagramUse Case Diagram
Use Case Diagram
 
INTRODUCTION TO UML DIAGRAMS
INTRODUCTION TO UML DIAGRAMSINTRODUCTION TO UML DIAGRAMS
INTRODUCTION TO UML DIAGRAMS
 
UML diagrams and symbols
UML diagrams and symbolsUML diagrams and symbols
UML diagrams and symbols
 
Object oriented analysis and design unit- i
Object oriented analysis and design unit- iObject oriented analysis and design unit- i
Object oriented analysis and design unit- i
 
Introduction to design patterns
Introduction to design patternsIntroduction to design patterns
Introduction to design patterns
 
Functional modeling
Functional modelingFunctional modeling
Functional modeling
 
OOAD UNIT I UML DIAGRAMS
OOAD UNIT I UML DIAGRAMSOOAD UNIT I UML DIAGRAMS
OOAD UNIT I UML DIAGRAMS
 
Model driven architecture
Model driven architectureModel driven architecture
Model driven architecture
 
Uml lecture
Uml lectureUml lecture
Uml lecture
 
Object oriented modeling and design
Object oriented modeling and designObject oriented modeling and design
Object oriented modeling and design
 
Design Pattern For C# Part 1
Design Pattern For C# Part 1Design Pattern For C# Part 1
Design Pattern For C# Part 1
 
Design patterns
Design patternsDesign patterns
Design patterns
 
Incremental Model
Incremental ModelIncremental Model
Incremental Model
 
System testing ppt
System testing pptSystem testing ppt
System testing ppt
 
Uml
UmlUml
Uml
 
RAD Model
RAD ModelRAD Model
RAD Model
 
Software Architecture and Design - An Overview
Software Architecture and Design - An OverviewSoftware Architecture and Design - An Overview
Software Architecture and Design - An Overview
 
Case Study Uml
Case Study UmlCase Study Uml
Case Study Uml
 
Uml Presentation
Uml PresentationUml Presentation
Uml Presentation
 

Similar to Automotive architecture examples with EAST-ADL models

A 7 e module decomposition structure
A 7 e module decomposition structureA 7 e module decomposition structure
A 7 e module decomposition structureahsan riaz
 
Software Development : Jeremy Gleason Iscope Digital
Software Development : Jeremy Gleason Iscope DigitalSoftware Development : Jeremy Gleason Iscope Digital
Software Development : Jeremy Gleason Iscope DigitalIscope Digital
 
agile with scrum methodology
agile with scrum methodology agile with scrum methodology
agile with scrum methodology rahul reddy
 
Mechatronics design team project v2
Mechatronics design team project v2Mechatronics design team project v2
Mechatronics design team project v2Waleed El-Badry
 
Access policy consolidation for event processing systems
Access policy consolidation for event processing systemsAccess policy consolidation for event processing systems
Access policy consolidation for event processing systemssumit kumar
 
Model-Based Risk Assessment in Multi-Disciplinary Systems Engineering
Model-Based Risk Assessment in Multi-Disciplinary Systems EngineeringModel-Based Risk Assessment in Multi-Disciplinary Systems Engineering
Model-Based Risk Assessment in Multi-Disciplinary Systems EngineeringEmanuel Mätzler
 
A CASE Lab Report - Project File on "ATM - Banking System"
A CASE Lab Report - Project File on  "ATM - Banking System"A CASE Lab Report - Project File on  "ATM - Banking System"
A CASE Lab Report - Project File on "ATM - Banking System"joyousbharat
 
[2015/2016] AADL (Architecture Analysis and Design Language)
[2015/2016] AADL (Architecture Analysis and Design Language)[2015/2016] AADL (Architecture Analysis and Design Language)
[2015/2016] AADL (Architecture Analysis and Design Language)Ivano Malavolta
 
Modeling and Testing Dovetail in MagicDraw
Modeling and Testing Dovetail in MagicDrawModeling and Testing Dovetail in MagicDraw
Modeling and Testing Dovetail in MagicDrawGregory Solovey
 
Design and simulation of remote monitoring of the intelligent automatic contr...
Design and simulation of remote monitoring of the intelligent automatic contr...Design and simulation of remote monitoring of the intelligent automatic contr...
Design and simulation of remote monitoring of the intelligent automatic contr...IAESIJAI
 
Modelon Modelica executable requirements Ansys Conference 2016
Modelon Modelica executable requirements Ansys Conference 2016Modelon Modelica executable requirements Ansys Conference 2016
Modelon Modelica executable requirements Ansys Conference 2016Modelon
 
SE2018_Lec 16_ Architectural Design
SE2018_Lec 16_ Architectural DesignSE2018_Lec 16_ Architectural Design
SE2018_Lec 16_ Architectural DesignAmr E. Mohamed
 

Similar to Automotive architecture examples with EAST-ADL models (20)

What is SCADA system? SCADA Solutions for IoT
What is SCADA system? SCADA Solutions for IoTWhat is SCADA system? SCADA Solutions for IoT
What is SCADA system? SCADA Solutions for IoT
 
A 7 e module decomposition structure
A 7 e module decomposition structureA 7 e module decomposition structure
A 7 e module decomposition structure
 
AUToSAR introduction
AUToSAR introductionAUToSAR introduction
AUToSAR introduction
 
ё-ENGINEERING
ё-ENGINEERINGё-ENGINEERING
ё-ENGINEERING
 
Chap 03.pdf
Chap 03.pdfChap 03.pdf
Chap 03.pdf
 
ATS @Station
ATS @StationATS @Station
ATS @Station
 
Software Development : Jeremy Gleason Iscope Digital
Software Development : Jeremy Gleason Iscope DigitalSoftware Development : Jeremy Gleason Iscope Digital
Software Development : Jeremy Gleason Iscope Digital
 
agile with scrum methodology
agile with scrum methodology agile with scrum methodology
agile with scrum methodology
 
Mechatronics design team project v2
Mechatronics design team project v2Mechatronics design team project v2
Mechatronics design team project v2
 
Automative basics v3
Automative basics v3Automative basics v3
Automative basics v3
 
Access policy consolidation for event processing systems
Access policy consolidation for event processing systemsAccess policy consolidation for event processing systems
Access policy consolidation for event processing systems
 
Model-Based Risk Assessment in Multi-Disciplinary Systems Engineering
Model-Based Risk Assessment in Multi-Disciplinary Systems EngineeringModel-Based Risk Assessment in Multi-Disciplinary Systems Engineering
Model-Based Risk Assessment in Multi-Disciplinary Systems Engineering
 
A CASE Lab Report - Project File on "ATM - Banking System"
A CASE Lab Report - Project File on  "ATM - Banking System"A CASE Lab Report - Project File on  "ATM - Banking System"
A CASE Lab Report - Project File on "ATM - Banking System"
 
ES-Basics.pdf
ES-Basics.pdfES-Basics.pdf
ES-Basics.pdf
 
[2015/2016] AADL (Architecture Analysis and Design Language)
[2015/2016] AADL (Architecture Analysis and Design Language)[2015/2016] AADL (Architecture Analysis and Design Language)
[2015/2016] AADL (Architecture Analysis and Design Language)
 
Modeling and Testing Dovetail in MagicDraw
Modeling and Testing Dovetail in MagicDrawModeling and Testing Dovetail in MagicDraw
Modeling and Testing Dovetail in MagicDraw
 
tech_requirements
tech_requirementstech_requirements
tech_requirements
 
Design and simulation of remote monitoring of the intelligent automatic contr...
Design and simulation of remote monitoring of the intelligent automatic contr...Design and simulation of remote monitoring of the intelligent automatic contr...
Design and simulation of remote monitoring of the intelligent automatic contr...
 
Modelon Modelica executable requirements Ansys Conference 2016
Modelon Modelica executable requirements Ansys Conference 2016Modelon Modelica executable requirements Ansys Conference 2016
Modelon Modelica executable requirements Ansys Conference 2016
 
SE2018_Lec 16_ Architectural Design
SE2018_Lec 16_ Architectural DesignSE2018_Lec 16_ Architectural Design
SE2018_Lec 16_ Architectural Design
 

More from Juha-Pekka Tolvanen

How to formalize a ubiquitous language into a domain-specific language.pdf
How to formalize a ubiquitous language into a domain-specific language.pdfHow to formalize a ubiquitous language into a domain-specific language.pdf
How to formalize a ubiquitous language into a domain-specific language.pdfJuha-Pekka Tolvanen
 
Measuring Productivity from Model-Based Development
Measuring Productivity from Model-Based DevelopmentMeasuring Productivity from Model-Based Development
Measuring Productivity from Model-Based DevelopmentJuha-Pekka Tolvanen
 
How domain specific modeling languages address variability: investigation of ...
How domain specific modeling languages address variability: investigation of ...How domain specific modeling languages address variability: investigation of ...
How domain specific modeling languages address variability: investigation of ...Juha-Pekka Tolvanen
 
Effort Used to Create Domain-Specific Modeling Languages
Effort Used to Create Domain-Specific Modeling LanguagesEffort Used to Create Domain-Specific Modeling Languages
Effort Used to Create Domain-Specific Modeling LanguagesJuha-Pekka Tolvanen
 
Automating safety engineering with model based techniques
Automating safety engineering with model based techniquesAutomating safety engineering with model based techniques
Automating safety engineering with model based techniquesJuha-Pekka Tolvanen
 
Collaborative language engineering and language use: demo with MetaEdit+
Collaborative language engineering and language use: demo with MetaEdit+Collaborative language engineering and language use: demo with MetaEdit+
Collaborative language engineering and language use: demo with MetaEdit+Juha-Pekka Tolvanen
 
Collaborative modeling and metamodeling
Collaborative modeling and metamodelingCollaborative modeling and metamodeling
Collaborative modeling and metamodelingJuha-Pekka Tolvanen
 
Collaborative modeling and metamodeling in MetaEdit+
Collaborative modeling and metamodeling in MetaEdit+Collaborative modeling and metamodeling in MetaEdit+
Collaborative modeling and metamodeling in MetaEdit+Juha-Pekka Tolvanen
 
20 examples on Domain-Specific Modeling Languages
20 examples on Domain-Specific Modeling Languages20 examples on Domain-Specific Modeling Languages
20 examples on Domain-Specific Modeling LanguagesJuha-Pekka Tolvanen
 
Model level debugging and profiling, Code Generation Conference 2014
Model level debugging and profiling, Code Generation Conference 2014Model level debugging and profiling, Code Generation Conference 2014
Model level debugging and profiling, Code Generation Conference 2014Juha-Pekka Tolvanen
 
Keynote at Code Generation 2014: The business cases of modeling and generators
Keynote at Code Generation 2014: The business cases of modeling and generatorsKeynote at Code Generation 2014: The business cases of modeling and generators
Keynote at Code Generation 2014: The business cases of modeling and generatorsJuha-Pekka Tolvanen
 
Industrial experiences on Domain-Specific Modeling
Industrial experiences on Domain-Specific ModelingIndustrial experiences on Domain-Specific Modeling
Industrial experiences on Domain-Specific ModelingJuha-Pekka Tolvanen
 

More from Juha-Pekka Tolvanen (12)

How to formalize a ubiquitous language into a domain-specific language.pdf
How to formalize a ubiquitous language into a domain-specific language.pdfHow to formalize a ubiquitous language into a domain-specific language.pdf
How to formalize a ubiquitous language into a domain-specific language.pdf
 
Measuring Productivity from Model-Based Development
Measuring Productivity from Model-Based DevelopmentMeasuring Productivity from Model-Based Development
Measuring Productivity from Model-Based Development
 
How domain specific modeling languages address variability: investigation of ...
How domain specific modeling languages address variability: investigation of ...How domain specific modeling languages address variability: investigation of ...
How domain specific modeling languages address variability: investigation of ...
 
Effort Used to Create Domain-Specific Modeling Languages
Effort Used to Create Domain-Specific Modeling LanguagesEffort Used to Create Domain-Specific Modeling Languages
Effort Used to Create Domain-Specific Modeling Languages
 
Automating safety engineering with model based techniques
Automating safety engineering with model based techniquesAutomating safety engineering with model based techniques
Automating safety engineering with model based techniques
 
Collaborative language engineering and language use: demo with MetaEdit+
Collaborative language engineering and language use: demo with MetaEdit+Collaborative language engineering and language use: demo with MetaEdit+
Collaborative language engineering and language use: demo with MetaEdit+
 
Collaborative modeling and metamodeling
Collaborative modeling and metamodelingCollaborative modeling and metamodeling
Collaborative modeling and metamodeling
 
Collaborative modeling and metamodeling in MetaEdit+
Collaborative modeling and metamodeling in MetaEdit+Collaborative modeling and metamodeling in MetaEdit+
Collaborative modeling and metamodeling in MetaEdit+
 
20 examples on Domain-Specific Modeling Languages
20 examples on Domain-Specific Modeling Languages20 examples on Domain-Specific Modeling Languages
20 examples on Domain-Specific Modeling Languages
 
Model level debugging and profiling, Code Generation Conference 2014
Model level debugging and profiling, Code Generation Conference 2014Model level debugging and profiling, Code Generation Conference 2014
Model level debugging and profiling, Code Generation Conference 2014
 
Keynote at Code Generation 2014: The business cases of modeling and generators
Keynote at Code Generation 2014: The business cases of modeling and generatorsKeynote at Code Generation 2014: The business cases of modeling and generators
Keynote at Code Generation 2014: The business cases of modeling and generators
 
Industrial experiences on Domain-Specific Modeling
Industrial experiences on Domain-Specific ModelingIndustrial experiences on Domain-Specific Modeling
Industrial experiences on Domain-Specific Modeling
 

Recently uploaded

Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...Angel Borroy López
 
Large Language Models for Test Case Evolution and Repair
Large Language Models for Test Case Evolution and RepairLarge Language Models for Test Case Evolution and Repair
Large Language Models for Test Case Evolution and RepairLionel Briand
 
A healthy diet for your Java application Devoxx France.pdf
A healthy diet for your Java application Devoxx France.pdfA healthy diet for your Java application Devoxx France.pdf
A healthy diet for your Java application Devoxx France.pdfMarharyta Nedzelska
 
Powering Real-Time Decisions with Continuous Data Streams
Powering Real-Time Decisions with Continuous Data StreamsPowering Real-Time Decisions with Continuous Data Streams
Powering Real-Time Decisions with Continuous Data StreamsSafe Software
 
Real-time Tracking and Monitoring with Cargo Cloud Solutions.pptx
Real-time Tracking and Monitoring with Cargo Cloud Solutions.pptxReal-time Tracking and Monitoring with Cargo Cloud Solutions.pptx
Real-time Tracking and Monitoring with Cargo Cloud Solutions.pptxRTS corp
 
Best Angular 17 Classroom & Online training - Naresh IT
Best Angular 17 Classroom & Online training - Naresh ITBest Angular 17 Classroom & Online training - Naresh IT
Best Angular 17 Classroom & Online training - Naresh ITmanoharjgpsolutions
 
JavaLand 2024 - Going serverless with Quarkus GraalVM native images and AWS L...
JavaLand 2024 - Going serverless with Quarkus GraalVM native images and AWS L...JavaLand 2024 - Going serverless with Quarkus GraalVM native images and AWS L...
JavaLand 2024 - Going serverless with Quarkus GraalVM native images and AWS L...Bert Jan Schrijver
 
Enhancing Supply Chain Visibility with Cargo Cloud Solutions.pdf
Enhancing Supply Chain Visibility with Cargo Cloud Solutions.pdfEnhancing Supply Chain Visibility with Cargo Cloud Solutions.pdf
Enhancing Supply Chain Visibility with Cargo Cloud Solutions.pdfRTS corp
 
Keeping your build tool updated in a multi repository world
Keeping your build tool updated in a multi repository worldKeeping your build tool updated in a multi repository world
Keeping your build tool updated in a multi repository worldRoberto Pérez Alcolea
 
Introduction to Firebase Workshop Slides
Introduction to Firebase Workshop SlidesIntroduction to Firebase Workshop Slides
Introduction to Firebase Workshop Slidesvaideheekore1
 
Not a Kubernetes fan? The state of PaaS in 2024
Not a Kubernetes fan? The state of PaaS in 2024Not a Kubernetes fan? The state of PaaS in 2024
Not a Kubernetes fan? The state of PaaS in 2024Anthony Dahanne
 
Ronisha Informatics Private Limited Catalogue
Ronisha Informatics Private Limited CatalogueRonisha Informatics Private Limited Catalogue
Ronisha Informatics Private Limited Catalogueitservices996
 
Simplifying Microservices & Apps - The art of effortless development - Meetup...
Simplifying Microservices & Apps - The art of effortless development - Meetup...Simplifying Microservices & Apps - The art of effortless development - Meetup...
Simplifying Microservices & Apps - The art of effortless development - Meetup...Rob Geurden
 
SpotFlow: Tracking Method Calls and States at Runtime
SpotFlow: Tracking Method Calls and States at RuntimeSpotFlow: Tracking Method Calls and States at Runtime
SpotFlow: Tracking Method Calls and States at Runtimeandrehoraa
 
Amazon Bedrock in Action - presentation of the Bedrock's capabilities
Amazon Bedrock in Action - presentation of the Bedrock's capabilitiesAmazon Bedrock in Action - presentation of the Bedrock's capabilities
Amazon Bedrock in Action - presentation of the Bedrock's capabilitiesKrzysztofKkol1
 
UI5ers live - Custom Controls wrapping 3rd-party libs.pptx
UI5ers live - Custom Controls wrapping 3rd-party libs.pptxUI5ers live - Custom Controls wrapping 3rd-party libs.pptx
UI5ers live - Custom Controls wrapping 3rd-party libs.pptxAndreas Kunz
 
VK Business Profile - provides IT solutions and Web Development
VK Business Profile - provides IT solutions and Web DevelopmentVK Business Profile - provides IT solutions and Web Development
VK Business Profile - provides IT solutions and Web Developmentvyaparkranti
 
Precise and Complete Requirements? An Elusive Goal
Precise and Complete Requirements? An Elusive GoalPrecise and Complete Requirements? An Elusive Goal
Precise and Complete Requirements? An Elusive GoalLionel Briand
 
Sending Calendar Invites on SES and Calendarsnack.pdf
Sending Calendar Invites on SES and Calendarsnack.pdfSending Calendar Invites on SES and Calendarsnack.pdf
Sending Calendar Invites on SES and Calendarsnack.pdf31events.com
 
Revolutionizing the Digital Transformation Office - Leveraging OnePlan’s AI a...
Revolutionizing the Digital Transformation Office - Leveraging OnePlan’s AI a...Revolutionizing the Digital Transformation Office - Leveraging OnePlan’s AI a...
Revolutionizing the Digital Transformation Office - Leveraging OnePlan’s AI a...OnePlan Solutions
 

Recently uploaded (20)

Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
 
Large Language Models for Test Case Evolution and Repair
Large Language Models for Test Case Evolution and RepairLarge Language Models for Test Case Evolution and Repair
Large Language Models for Test Case Evolution and Repair
 
A healthy diet for your Java application Devoxx France.pdf
A healthy diet for your Java application Devoxx France.pdfA healthy diet for your Java application Devoxx France.pdf
A healthy diet for your Java application Devoxx France.pdf
 
Powering Real-Time Decisions with Continuous Data Streams
Powering Real-Time Decisions with Continuous Data StreamsPowering Real-Time Decisions with Continuous Data Streams
Powering Real-Time Decisions with Continuous Data Streams
 
Real-time Tracking and Monitoring with Cargo Cloud Solutions.pptx
Real-time Tracking and Monitoring with Cargo Cloud Solutions.pptxReal-time Tracking and Monitoring with Cargo Cloud Solutions.pptx
Real-time Tracking and Monitoring with Cargo Cloud Solutions.pptx
 
Best Angular 17 Classroom & Online training - Naresh IT
Best Angular 17 Classroom & Online training - Naresh ITBest Angular 17 Classroom & Online training - Naresh IT
Best Angular 17 Classroom & Online training - Naresh IT
 
JavaLand 2024 - Going serverless with Quarkus GraalVM native images and AWS L...
JavaLand 2024 - Going serverless with Quarkus GraalVM native images and AWS L...JavaLand 2024 - Going serverless with Quarkus GraalVM native images and AWS L...
JavaLand 2024 - Going serverless with Quarkus GraalVM native images and AWS L...
 
Enhancing Supply Chain Visibility with Cargo Cloud Solutions.pdf
Enhancing Supply Chain Visibility with Cargo Cloud Solutions.pdfEnhancing Supply Chain Visibility with Cargo Cloud Solutions.pdf
Enhancing Supply Chain Visibility with Cargo Cloud Solutions.pdf
 
Keeping your build tool updated in a multi repository world
Keeping your build tool updated in a multi repository worldKeeping your build tool updated in a multi repository world
Keeping your build tool updated in a multi repository world
 
Introduction to Firebase Workshop Slides
Introduction to Firebase Workshop SlidesIntroduction to Firebase Workshop Slides
Introduction to Firebase Workshop Slides
 
Not a Kubernetes fan? The state of PaaS in 2024
Not a Kubernetes fan? The state of PaaS in 2024Not a Kubernetes fan? The state of PaaS in 2024
Not a Kubernetes fan? The state of PaaS in 2024
 
Ronisha Informatics Private Limited Catalogue
Ronisha Informatics Private Limited CatalogueRonisha Informatics Private Limited Catalogue
Ronisha Informatics Private Limited Catalogue
 
Simplifying Microservices & Apps - The art of effortless development - Meetup...
Simplifying Microservices & Apps - The art of effortless development - Meetup...Simplifying Microservices & Apps - The art of effortless development - Meetup...
Simplifying Microservices & Apps - The art of effortless development - Meetup...
 
SpotFlow: Tracking Method Calls and States at Runtime
SpotFlow: Tracking Method Calls and States at RuntimeSpotFlow: Tracking Method Calls and States at Runtime
SpotFlow: Tracking Method Calls and States at Runtime
 
Amazon Bedrock in Action - presentation of the Bedrock's capabilities
Amazon Bedrock in Action - presentation of the Bedrock's capabilitiesAmazon Bedrock in Action - presentation of the Bedrock's capabilities
Amazon Bedrock in Action - presentation of the Bedrock's capabilities
 
UI5ers live - Custom Controls wrapping 3rd-party libs.pptx
UI5ers live - Custom Controls wrapping 3rd-party libs.pptxUI5ers live - Custom Controls wrapping 3rd-party libs.pptx
UI5ers live - Custom Controls wrapping 3rd-party libs.pptx
 
VK Business Profile - provides IT solutions and Web Development
VK Business Profile - provides IT solutions and Web DevelopmentVK Business Profile - provides IT solutions and Web Development
VK Business Profile - provides IT solutions and Web Development
 
Precise and Complete Requirements? An Elusive Goal
Precise and Complete Requirements? An Elusive GoalPrecise and Complete Requirements? An Elusive Goal
Precise and Complete Requirements? An Elusive Goal
 
Sending Calendar Invites on SES and Calendarsnack.pdf
Sending Calendar Invites on SES and Calendarsnack.pdfSending Calendar Invites on SES and Calendarsnack.pdf
Sending Calendar Invites on SES and Calendarsnack.pdf
 
Revolutionizing the Digital Transformation Office - Leveraging OnePlan’s AI a...
Revolutionizing the Digital Transformation Office - Leveraging OnePlan’s AI a...Revolutionizing the Digital Transformation Office - Leveraging OnePlan’s AI a...
Revolutionizing the Digital Transformation Office - Leveraging OnePlan’s AI a...
 

Automotive architecture examples with EAST-ADL models

  • 1. MetaEdit+ EAST-ADL tooling Supporting automotive system and software development
  • 2. EAST-ADL in a nutshell  A domain-specific modeling language  Targets specification and analysis of automotive embedded systems  Developed by industry  Compatible with AUTOSAR, ISO 26262 The following slides introduce EAST-ADL through an example of a power window system
  • 3. Development process (according to V-model) 1 Requirements 2 Features 3 Analysis 4 Design 5 Implementation Requirements trace Safety analysis (ISO 26262) Error analysis V&V: System/Integration/Unit
  • 4. Case: PowerWindow system  This system is used as an example in the slides
  • 5. 1. Requirements PowerWindow: requirements PWC_Req1 User shall be able to open and close the window by requesting basicUp or basicDown PWC_Req2 The window shall stop when it reaches fully opened or fully closed position PWC_Req3 User shall be able to fully open or fully close the window by requesting expressUp or expressDown PWC_Req4 At any time, the driver request has a higher priority than the passenger request  Development starts with customer needs – Specified as requirements – Requirements are refined during development
  • 6. PowerWindow related requirements: in Excel in EAST-ADL model 1. Requirements specification  Specified in some document (Excel, Word, etc.), requirement management tool or directly in EAST-ADL
  • 7. PowerWindow: 1. Requirements specification  Tool supports requirement management and refinements – New, updated, removed requirements  Requirements can be automatically transformed from external sources to EAST-ADL models
  • 8. 1. Requirements specification  The modeled requirements are refined and linked  Trace reports provide requirements analysis  Documentation and metrics generated from models
  • 9. 2. Features PowerWindow: features Basic up and down Express up and down (optional feature) Pinch protection Power windows for driver Optional power windows for passengers Driver control for all windows (if passengers have power windows)  A system can contain a number of (possibly alternative) independent features that satisfy customer needs – Specified as features that realize the requirements – Features include both customer-visible and internal features
  • 10. PowerWindow: features 2. Feature specification  Specify feature trees in EAST-ADL – Mandatory feature, optional feature, alternative features – Cardinalities, dependencies
  • 11. PowerWindow: 2. Feature specification  Features specified, refined and linked with requirements  Trace report produces summary of Features satisfying and realizing requirements  Documentation, metrics and checking generated from models
  • 12. 3. Analysis PowerWindow: analysis functions Position sensor provides data on window position Each window has its own motor controlling the movement of the window Two kinds of detector: EndStop and Pinch Main window controller is responsible for sending commands to each window motor Functions handling the window position data send information to detectors Each window (driver and passenger) has its own switches  System functionality is divided into a component structure – Hierarchical structure – Flow, power and service connections between the components
  • 13. PowerWindow: analysis functions 3. System analysis  EAST-ADL defines analysis architecture as functions – Functional devices and analysis functions – Flow, power and client/server based connections
  • 14. PowerWindow: 3. System analysis  MetaEdit+ supports function specification and linking with requirements and features  Reports provide tracing of features and requirements, model checking, type declaration listings and usage of types
  • 15. 4. Design PowerWindow: hardware elements DriverSwitch <Sensor> controls the driver’s requests for the power window. Requests include normal and express commands for Up and Down MainPower <ElectricalComponent> is the main power source of the system DDM <Node> Driver Door Module (DDM) controls window behavior of the door WindowMotor <Actuator> WindowMotor actuator executes the commands for that window  The functional system architecture is defined alongside the hardware architecture – Alternative allocations of logical functionality to hardware can be specified
  • 16. PowerWindow: functions, hardware, allocations 4. System design  Design architecture specifies functions and connections  Hardware architecture specifies HW elements and connections  Allocation Matrix shows allocation of functions to hardware
  • 17. 4. System design  MetaEdit+ supports linking designs with requirements and features for traceability  Design models can be used to generate implementation – Simulink, ARXML, EAXML, etc.
  • 18. 4. System design  MetaEdit+ supports integrating architecture models: – Importing existing models, data type definitions etc. – Checking consistency between models in other tools – Generating Simulink models, UPPAAL, etc.
  • 19. PowerWindow: integration example 4. System design  MetaEdit+ supports importing other data to EAST-ADL models  Function models can be transformed into dependability and error models for safety design  Model checking, reporting, traceability support - Simulink - Data type definitions - Code - EAST-ADL analysis architecture
  • 20. Safety analysis PowerWindow: safety analysis items Occupant Injury hazard (severity 1): Satisfied with pinch protection moving the window down (ASIL=B) Motor Stall hazard (severity 0): Safe state satisfied when move max 10 sec and has endStop detection (ASIL=A) Undesired exposure hazard (severity 0): Prevent movement if request is not issued  The safety of the system is analyzed according to standards like ISO 26262 – Analysis is traced to original requirements
  • 21. Safety analysis PowerWindow hazard: expressUp occupant injury  EAST-ADL directly supports the safety concepts of ISO 26262 as modeling constructs – Items, hazard, hazard event, safety goals, ASIL – Safety analysis is traced to original system requirements
  • 22. PowerWindow: Dependability model and error model Safety analysis  Tool support enables tracing to requirements and features  Safety analysis can be extended with error models to support automated failure analysis  Initial error models can be generated from system design
  • 23. PowerWindow: automated FMEA analysis Safety analysis  Dependability analysis and optimization using error models  Models can be traced and annotated on error propagation  Analysis tools like HIPHOPS automatically perform Failure Models and Effects Analyses (FMEA)
  • 24. MetaEdit+ for EAST-ADL:  Modeling editors for EAST-ADL  Model checking and reporting  Generators for software, failure analysis, requirements traceability, safety analysis, documentation, metrics  Collaborative modeling support, no merge needed  Scales to large models (up to 4 billion model elements)  Modeling languages and generators can be customized  Integration interfaces with API (SOAP/Web Services/.NET), XML format and command line support  IDE integration with Visual Studio, Eclipse and others
  • 25. For examples, articles, tutorial: www.metacase.com/solution/east-adl.html www.metacase.com info@metacase.com