Enviar búsqueda
Cargar
AF3 Interner Tag Offene Tueren
•
Descargar como PPTX, PDF
•
0 recomendaciones
•
2,651 vistas
A
af_devel
Seguir
Tecnología
Educación
Denunciar
Compartir
Denunciar
Compartir
1 de 30
Descargar ahora
Recomendados
Sp MoD M&S Infrastructure based on SimWare
Sp MoD M&S Infrastructure based on SimWare
Simware
Concurrent systems composing
Concurrent systems composing
Eric Verhulst
Framework
Framework
Aditya Trivedi
agile architecture - two hour presentation - two worked examples
agile architecture - two hour presentation - two worked examples
Mark Collins-Cope
Use of the OMG DDS standard in Simulation. A new Way for developing Real Time...
Use of the OMG DDS standard in Simulation. A new Way for developing Real Time...
Simware
Interoperable Open Architecture through a Common Component Model
Interoperable Open Architecture through a Common Component Model
Remedy IT
AF3 and Automotive Model-Based Development
AF3 and Automotive Model-Based Development
af_devel
Analysis of Testability of a Flight Software Product Line
Analysis of Testability of a Flight Software Product Line
Dharmalingam Ganesan
Recomendados
Sp MoD M&S Infrastructure based on SimWare
Sp MoD M&S Infrastructure based on SimWare
Simware
Concurrent systems composing
Concurrent systems composing
Eric Verhulst
Framework
Framework
Aditya Trivedi
agile architecture - two hour presentation - two worked examples
agile architecture - two hour presentation - two worked examples
Mark Collins-Cope
Use of the OMG DDS standard in Simulation. A new Way for developing Real Time...
Use of the OMG DDS standard in Simulation. A new Way for developing Real Time...
Simware
Interoperable Open Architecture through a Common Component Model
Interoperable Open Architecture through a Common Component Model
Remedy IT
AF3 and Automotive Model-Based Development
AF3 and Automotive Model-Based Development
af_devel
Analysis of Testability of a Flight Software Product Line
Analysis of Testability of a Flight Software Product Line
Dharmalingam Ganesan
EMC - Accelerate Cloud Journey Webinar
EMC - Accelerate Cloud Journey Webinar
Erin Banks
Performance and memory profiling for embedded system design
Performance and memory profiling for embedded system design
Mr. Chanuwan
Breaking barriers webinar - The Data Center of Today
Breaking barriers webinar - The Data Center of Today
Renee Hamilton
SAP@Factory
SAP@Factory
James Chi
J2EE Performance And Scalability Bp
J2EE Performance And Scalability Bp
Chris Adkin
Architecture Analysis of Systems based on Publish-Subscribe Systems
Architecture Analysis of Systems based on Publish-Subscribe Systems
Dharmalingam Ganesan
IBM PureSystems
IBM PureSystems
IBM WebSphereIndia
Compose hardware resources on the fly with openstack valence
Compose hardware resources on the fly with openstack valence
Shuquan Huang
Ugif 10 2012 informix pssc-benchmark -l.revel_oct2012
Ugif 10 2012 informix pssc-benchmark -l.revel_oct2012
UGIF
Integrierte Experten Systeme_Erik-Werner Radtke_IBM Symposium 2013
Integrierte Experten Systeme_Erik-Werner Radtke_IBM Symposium 2013
IBM Switzerland
Axel uhl sap@md-day2011
Axel uhl sap@md-day2011
MDDAY11
Paremus service fabric
Paremus service fabric
pjhInovex
The Strategic Role of the Enterprise Application Framework
The Strategic Role of the Enterprise Application Framework
Jean-Marc Desvaux
Building a Hybrid Cloud The Real Deal
Building a Hybrid Cloud The Real Deal
RightScale
Verifying Architectural Design Rules of a Flight Software Product Line
Verifying Architectural Design Rules of a Flight Software Product Line
Dharmalingam Ganesan
Trends in Embedded Software Engineering
Trends in Embedded Software Engineering
Aditya Kamble
21st Century SOA
21st Century SOA
Bob Rhubart
h12525-top-reasons-scaleio-ho
h12525-top-reasons-scaleio-ho
Reece Gaumont
manu_resume
manu_resume
Manu VS
Reducing Cost and Complexity with Industrial System Consolidation
Reducing Cost and Complexity with Industrial System Consolidation
Intel IoT
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machine
Padma Pradeep
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
The Digital Insurer
Más contenido relacionado
Similar a AF3 Interner Tag Offene Tueren
EMC - Accelerate Cloud Journey Webinar
EMC - Accelerate Cloud Journey Webinar
Erin Banks
Performance and memory profiling for embedded system design
Performance and memory profiling for embedded system design
Mr. Chanuwan
Breaking barriers webinar - The Data Center of Today
Breaking barriers webinar - The Data Center of Today
Renee Hamilton
SAP@Factory
SAP@Factory
James Chi
J2EE Performance And Scalability Bp
J2EE Performance And Scalability Bp
Chris Adkin
Architecture Analysis of Systems based on Publish-Subscribe Systems
Architecture Analysis of Systems based on Publish-Subscribe Systems
Dharmalingam Ganesan
IBM PureSystems
IBM PureSystems
IBM WebSphereIndia
Compose hardware resources on the fly with openstack valence
Compose hardware resources on the fly with openstack valence
Shuquan Huang
Ugif 10 2012 informix pssc-benchmark -l.revel_oct2012
Ugif 10 2012 informix pssc-benchmark -l.revel_oct2012
UGIF
Integrierte Experten Systeme_Erik-Werner Radtke_IBM Symposium 2013
Integrierte Experten Systeme_Erik-Werner Radtke_IBM Symposium 2013
IBM Switzerland
Axel uhl sap@md-day2011
Axel uhl sap@md-day2011
MDDAY11
Paremus service fabric
Paremus service fabric
pjhInovex
The Strategic Role of the Enterprise Application Framework
The Strategic Role of the Enterprise Application Framework
Jean-Marc Desvaux
Building a Hybrid Cloud The Real Deal
Building a Hybrid Cloud The Real Deal
RightScale
Verifying Architectural Design Rules of a Flight Software Product Line
Verifying Architectural Design Rules of a Flight Software Product Line
Dharmalingam Ganesan
Trends in Embedded Software Engineering
Trends in Embedded Software Engineering
Aditya Kamble
21st Century SOA
21st Century SOA
Bob Rhubart
h12525-top-reasons-scaleio-ho
h12525-top-reasons-scaleio-ho
Reece Gaumont
manu_resume
manu_resume
Manu VS
Reducing Cost and Complexity with Industrial System Consolidation
Reducing Cost and Complexity with Industrial System Consolidation
Intel IoT
Similar a AF3 Interner Tag Offene Tueren
(20)
EMC - Accelerate Cloud Journey Webinar
EMC - Accelerate Cloud Journey Webinar
Performance and memory profiling for embedded system design
Performance and memory profiling for embedded system design
Breaking barriers webinar - The Data Center of Today
Breaking barriers webinar - The Data Center of Today
SAP@Factory
SAP@Factory
J2EE Performance And Scalability Bp
J2EE Performance And Scalability Bp
Architecture Analysis of Systems based on Publish-Subscribe Systems
Architecture Analysis of Systems based on Publish-Subscribe Systems
IBM PureSystems
IBM PureSystems
Compose hardware resources on the fly with openstack valence
Compose hardware resources on the fly with openstack valence
Ugif 10 2012 informix pssc-benchmark -l.revel_oct2012
Ugif 10 2012 informix pssc-benchmark -l.revel_oct2012
Integrierte Experten Systeme_Erik-Werner Radtke_IBM Symposium 2013
Integrierte Experten Systeme_Erik-Werner Radtke_IBM Symposium 2013
Axel uhl sap@md-day2011
Axel uhl sap@md-day2011
Paremus service fabric
Paremus service fabric
The Strategic Role of the Enterprise Application Framework
The Strategic Role of the Enterprise Application Framework
Building a Hybrid Cloud The Real Deal
Building a Hybrid Cloud The Real Deal
Verifying Architectural Design Rules of a Flight Software Product Line
Verifying Architectural Design Rules of a Flight Software Product Line
Trends in Embedded Software Engineering
Trends in Embedded Software Engineering
21st Century SOA
21st Century SOA
h12525-top-reasons-scaleio-ho
h12525-top-reasons-scaleio-ho
manu_resume
manu_resume
Reducing Cost and Complexity with Industrial System Consolidation
Reducing Cost and Complexity with Industrial System Consolidation
Último
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machine
Padma Pradeep
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
The Digital Insurer
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project Setup
Florian Wilhelm
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding Club
Kalema Edgar
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
Mark Billinghurst
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
BookNet Canada
Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?
Mattias Andersson
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQL
ScyllaDB
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!
Manik S Magar
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan
Fwdays
Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365
2toLead Limited
DMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special Edition
Dubai Multi Commodity Centre
Story boards and shot lists for my a level piece
Story boards and shot lists for my a level piece
charlottematthew16
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
Fwdays
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
Ridwan Fadjar
Unraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdf
Alex Barbosa Coqueiro
Artificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptx
hariprasad279825
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
BookNet Canada
SAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptx
NavinnSomaal
DevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache Maven
Hervé Boutemy
Último
(20)
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machine
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project Setup
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding Club
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQL
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan
Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365
DMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special Edition
Story boards and shot lists for my a level piece
Story boards and shot lists for my a level piece
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
Unraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdf
Artificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptx
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
SAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptx
DevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache Maven
AF3 Interner Tag Offene Tueren
1.
AF3: Seamless Model
BasedDevelopment -FromTheory to Practice - FB1
2.
Seamlesswhat?
Seamless MBD isthepervasiveuse of modelsthroughoutall developmentphases HigherProductivity HigherAnalyzability HigherQuality 08.11.2011 2 © fortiss GmbH 2011
3.
AF3 at a
Glance Tool framework for seamless model-based development » http://af3.fortiss.org/ Open Source, Apache 2.0 License Specification languages Basic: components architecture, state machines, technical platform, deployment, ... Analyses Basic: simulation, on-the-fly verification of constraints Generators Basic: code generation – e.g. embedded C, Java, ...
4.
AF3 at a
Glance Tool framework for seamless model-based development » http://af3.fortiss.org/ Open Source, Apache 2.0 License Specification languages Basic: components architecture, state machines, technical platform, deployment, ... Advanced:modes, temporal logics, ... Analyses Basic: simulation, on-the-fly verification of constraints Advanced: » test cases generation (random, state/transition coverage) » model checking using verification patterns Generators Basic: code generation – e.g. embedded C, Java, ... Advanced:scheduling synthesis, FPGA code generation, ...
5.
Modular Framework Architecture
Adequate Application Hardware System Editors Requirements BehaviorSpeci Design Environment Deployment fications Metamodel GenericToolingframework Generators EMF, GEF, … 08.11.2011 © fortiss GmbH 2011
6.
Todays AF3 Topics
Model-basedIntegratedRequirements Analysis Automatic Testcase Generation Model CheckingfortheMasses PervasiveDeployment, Code Synthesis and Rollout OptimizedRealtime Schedule Generation FPGA Code Generation and Deployment 08.11.2011 6 © fortiss GmbH 2011
7.
Model-basedIntegratedRequirements Analysis
DongyueMou, Sabine Teufl
8.
Model-based RE?
Extend AF3 to support Requirements Engineering Capture informal requirements Refine requirements into formal system specifications Front-loading EarlyAnalyses CompleteTraceability https://projects.fortiss.org/redmine/public/projects/re-for-af3 08.11.2011 8 © fortiss GmbH 2011
9.
Features
Template for general requirements and use cases Generation of requirement documents Verification of completeness, correctness and consistency Visual presentation of requirement hierarchy Integration of requirements and logical architecture Support of Message Sequence Chart 08.11.2011 9 © fortiss GmbH 2011
10.
Future Works
Introduction of functional architecture Integration of testing Automatic verification of refinement Support more requirement types Non-Functional Requirements Timing Constraints … 08.11.2011 10 © fortiss GmbH 2011
11.
Automatic Testcase Generation Christian
Pfaller, DongyueMou, Bernhard Schätz
12.
Focus
Methods and toolsupportfortheautomaticgeneration of testcasesfrom (partially) executablemodels Automatic Qualilty Assurance BMBF Project IMES (BMW, Itemis, …) Technology Transfer in industrialApplications 08.11.2011 12 © fortiss GmbH 2011
13.
Ecosystem
Competencies: Constraint-LogicProgramming Cross-references: RACE 08.11.2011 13 © fortiss GmbH 2011
14.
Model CheckingfortheMasseswith AF3
Daniel Ratiu
15.
... fortheMasses?
ContinuousQuality Assurance Process Support Usabilitychallenges of doingmodelchecking » Model thesystem » Write temporal logicsspecifications » Interpret thecounterexample 08.11.2011 15 © fortiss GmbH 2011
16.
Goals
Transfer modelchecking technology to practitioners » Bring formal verificationcloser to commondevelopers Makethem „gettheidea“ in lessthan 10 minutes Wrapthetheory such thatitis „ready to use“ » Research on pragmaticaspects of formal verification (modelchecking) Integrate formal verification in a more agile process » Continuouslywrite, save and check properties Defining a verification condition shouldtakelessthanoneminute 08.11.2011 16 © fortiss GmbH 2011
17.
DeeplyintegrateCadence SMV in
AF3 Specification of verificationconditionswiththehelp of TL patterns Basic, ready to usepatterns Advancedpatterns Simulatecounterexamples in the IDE ... orpresentthem as MSCs Support forblack-boxtemporal-logicsbasedspecifications Canbecheckedagainsttheimplementationcontinuously in theprocess 08.11.2011 17 © fortiss GmbH 2011
18.
AF3 Model Checking
at a Glance 08.11.2011 18 © fortiss GmbH 2011
19.
A Pervasive Approach
to Deployment, Code Synthesis and Rollout Florian Hölzl, Andreas Wandinger, Christoph Döbber
20.
PervasiveDeployment?
Decouple Application Logic from Execution Platform Parallelization of Application and Platform Development Automatic Code Synthesis and System Integration Separation of Concerns Independent Reuse of Application and Platform Automatized System Rollout 08.11.2011 20 © fortiss GmbH 2011
21.
Deployment and Rollout
08.11.2011 21 © fortiss GmbH 2011
22.
Code Synthesis
08.11.2011 © fortiss GmbH 2011
23.
Future Work
08.11.2011 23 © fortiss GmbH 2011
24.
Multi – Criteria
Synthesis for Efficient Deployment Sebastian Voss
25.
Multi-Criteria Synthesis?
Integrate Application Logic on Execution Platform Semi-automatic Design Space Exploration Methods Multi-Criteria Trade-off Analysis (Timing, Energy-Efficiency, Memory Consumption, …) EfficientDeployment OptimizedPartitioning and Mapping 08.11.2011 25 © fortiss GmbH 2011
26.
Multi – Criteria
Synthesis for Efficient Deployment Logical Architecture Efficient Synthesis mechanisms Deployment Technical Architecture Based on AF3 component and platform architecture Design Space Exploration based on SMT-Solving Goals: Providing an efficient deployment (with respect to timing, energy- efficiency, memory consumption, …) for multi-criteria problems Calculate an (optimized) partitioning and/or mapping of systems 08.11.2011 26 © fortiss GmbH 2011
27.
Multi – Criteria
Synthesis for Efficient Deployment Logical Architecture SMT – Solver (e.g. Z3, YICES, …) Scheduling Model Synthesis Mechanisms Deployment Optimization criteria Extended DAG (e.g. E2E – latency,…) Technical Architecture Based on AF3 Component and Platform Architecture Schedule Extraction of the Component Precedence Relation Task and Message Schedule Generation for: Distributed Event-based Systems (e.g. based on CAN) Time-triggered Platform Architecture Multi-core Platform Architectures 08.11.2011 27 © fortiss GmbH 2011
28.
FPGA Code Generation
Chun Li
29.
Focus
Mode switchdiagrams – basedreconfigurable FPGA Code- Generation System design andcodegeneration » Editor and simulationsupport,VHDL code generation Deployment on FPGA Hardware(Run-Time Reconfigurable) » Tool supportfor design on run-time reconfigurable FPGAs (XilinxVirtex II Pro ) ReconfigurableComputing Partner: TUM Lehrstuhl für Integrierte Systeme Exampleproject: AutoVision (http://www.lis.ei.tum.de/index.php?id=62) 08.11.2011 29 © fortiss GmbH 2011
30.
Workflow
Modes Automaton Synthesizable VHDL Codes Standalone self-reconfiguration with embedded microprocessor Competencies: Model-based Systems Engineering SW and HW Co-Design 08.11.2011 30 © fortiss GmbH 2011
Descargar ahora