Process modelling at BaneDanmark
•
1 like•1,471 views
Seminar on Cyber-Physical Security of Critical Processes for Crucial Functions in Society, 2 May 2016
Report
Share
Report
Share
Download to read offline
Recommended
Værktøjer udviklet på AAU til analyse af SCJ programmer
Oplæg på InfinIT-seminar den 30.3.2016 -
Udviklingsplatform og programmeringssprog til indlejrede systemer
How fpgas work when they don't
The document discusses how FPGAs can fail due to timing violations even when programmed correctly. It introduces Richard Feynman's "File Clerk Model" (FCM) as an intuitive way to understand these failures. Using the FCM analogy, the presentation explains how timing violations can cause errors by sensitizing logic and generating transient "maybe" states. It also discusses specific error cases like clock domain crossing and radiation-induced aging. The overall message is that timing constraints are crucial for reliable FPGA operation, and the FCM provides system-level insights into how timing errors can occur.
SOC Verification using SystemVerilog
Introduction to SOC Verification Fundamentals and System Verilog language coding. Explains concepts on Functional Verification methodologies used in industry like OVM, UVM
Defect Prediction Over Software Life Cycle in Automotive Domain
Defect Prediction Over Software Life Cycle in Automotive Domain
Presented at:
9th International Joint Conference on Software Technologies (ICSOFT-EA), Vienna, Austria
Get full text of publication at:
http://rakeshrana.website/index.php/work/publications/
TMPA-2017: Live testing distributed system fault tolerance with fault injecti...
TMPA-2017: Tools and Methods of Program Analysis
3-4 March, 2017, Hotel Holiday Inn Moscow Vinogradovo, Moscow
Live testing distributed system fault tolerance with fault injection techniques
Alexey Vasyukov (Inventa), Vadim Zherder (MOEX)
For video follow the link: https://youtu.be/mGLRH2gqZwc
Would like to know more?
Visit our website:
www.tmpaconf.org
www.exactprosystems.com/events/tmpa
Follow us:
https://www.linkedin.com/company/exactpro-systems-llc?trk=biz-companies-cym
https://twitter.com/exactpro
Verification Engineer - Opportunities and Career Path
What are the different opportunities for a VLSI Front end Verification engineer? What career path exists and how to build a career path in Verification of VLSI chip designs?
Sharing my experiences and Career journey as Verification Engineer
Sonar Metrics
Using Sonar efficiently means perfectly understanding the definition and calculation algorithm of each one of the metrics.
Advances in Verification - Workshop at BMS College of Engineering
Day 1 of workshop at BMS college of Engineering
Covers SystemVerilog language fundamentals - Language constructs, building blocks, Arrays, Process, Classes
Recommended
Værktøjer udviklet på AAU til analyse af SCJ programmer
Oplæg på InfinIT-seminar den 30.3.2016 -
Udviklingsplatform og programmeringssprog til indlejrede systemer
How fpgas work when they don't
The document discusses how FPGAs can fail due to timing violations even when programmed correctly. It introduces Richard Feynman's "File Clerk Model" (FCM) as an intuitive way to understand these failures. Using the FCM analogy, the presentation explains how timing violations can cause errors by sensitizing logic and generating transient "maybe" states. It also discusses specific error cases like clock domain crossing and radiation-induced aging. The overall message is that timing constraints are crucial for reliable FPGA operation, and the FCM provides system-level insights into how timing errors can occur.
SOC Verification using SystemVerilog
Introduction to SOC Verification Fundamentals and System Verilog language coding. Explains concepts on Functional Verification methodologies used in industry like OVM, UVM
Defect Prediction Over Software Life Cycle in Automotive Domain
Defect Prediction Over Software Life Cycle in Automotive Domain
Presented at:
9th International Joint Conference on Software Technologies (ICSOFT-EA), Vienna, Austria
Get full text of publication at:
http://rakeshrana.website/index.php/work/publications/
TMPA-2017: Live testing distributed system fault tolerance with fault injecti...
TMPA-2017: Tools and Methods of Program Analysis
3-4 March, 2017, Hotel Holiday Inn Moscow Vinogradovo, Moscow
Live testing distributed system fault tolerance with fault injection techniques
Alexey Vasyukov (Inventa), Vadim Zherder (MOEX)
For video follow the link: https://youtu.be/mGLRH2gqZwc
Would like to know more?
Visit our website:
www.tmpaconf.org
www.exactprosystems.com/events/tmpa
Follow us:
https://www.linkedin.com/company/exactpro-systems-llc?trk=biz-companies-cym
https://twitter.com/exactpro
Verification Engineer - Opportunities and Career Path
What are the different opportunities for a VLSI Front end Verification engineer? What career path exists and how to build a career path in Verification of VLSI chip designs?
Sharing my experiences and Career journey as Verification Engineer
Sonar Metrics
Using Sonar efficiently means perfectly understanding the definition and calculation algorithm of each one of the metrics.
Advances in Verification - Workshop at BMS College of Engineering
Day 1 of workshop at BMS college of Engineering
Covers SystemVerilog language fundamentals - Language constructs, building blocks, Arrays, Process, Classes
Spyglass dft
This document provides an overview of SpyglassDFT, a tool for comprehensive RTL design analysis. It discusses key SpyglassDFT features such as lint checking, test coverage estimation, and an integrated debug environment. Important input files for SpyglassDFT like the project file and waiver file are also outlined. The document concludes with an example flow for using SpyglassDFT to analyze clocks and resets, identify violations, and prepare the design for manufacturing test.
Survey on Software Defect Prediction
This document provides an overview of software defect prediction approaches from the 1970s to the present. It discusses early approaches using simple metrics like lines of code and complexity metrics. It then covers the development of prediction models using machine learning techniques like regression and classification. More recent topics discussed include just-in-time prediction models, practical applications in industry, using historical metrics from software repositories, addressing noise in data, and the feasibility of cross-project prediction. The document outlines challenges and opportunities for future work in the field of software defect prediction.
Survey on Software Defect Prediction (PhD Qualifying Examination Presentation)
This document provides an outline and overview of approaches to software defect prediction. It discusses early approaches using lines of code and complexity metrics from the 1970s-1980s and the development of prediction models using regression and classification in the 1990s-2000s. More recent focus areas discussed include just-in-time prediction models, practical applications of prediction, using history metrics from software repositories, and assessing cross-project prediction feasibility. The document aims to survey the field of software defect prediction.
Survey on Software Defect Prediction
This document provides an outline and overview of approaches to software defect prediction. It discusses early approaches using simple metrics like lines of code in the 1970s and complexity metrics/fitting models in the 1980s. Prediction models using regression and classification emerged in the 1990s. Just-in-time prediction models and practical applications in industry are discussed for the 2000s. The use of history metrics from software repositories and challenges of cross-project prediction are also summarized.
Documented Requirements are not Useless After All!
The document discusses challenges related to requirements in agile software development projects, including dealing with natural language requirements, domain knowledge, frequent changes, and configuring requirements for product families. It outlines research conducted to address these challenges through natural language processing techniques like analyzing compliance with boilerplate templates, extracting domain models from requirements, and analyzing change impact when requirements change. The talk aims to discuss when documented requirements are important in practice and how they can be supported to effectively handle common challenges.
Jonas Skjoldan - Automatic GUI test with Ruby and Watir
EuroSTAR Software Testing Conference 2009 presentation on Automatic GUI test with Ruby and Watir by Jonas Skjoldan . See more at conferences.eurostarsoftwaretesting.com/past-presentations/
Testing the Untestable: Model Testing of Complex Software-Intensive Systems
This document discusses model testing as an approach to testing complex, software-intensive systems that are difficult or impossible to fully automate. It presents model testing as shifting the focus of testing from implemented systems to executable models that capture relevant system behavior and properties. Model testing aims to find and execute high-risk test scenarios in large input spaces and help guide targeted testing of implemented systems. Challenges include defining testable models that include dynamic and uncertain behavior, performing effective test selection, and detecting failures under uncertainty.
Testing Dynamic Behavior in Executable Software Models - Making Cyber-physica...
This document discusses testing dynamic behavior in executable software models for cyber-physical systems. It presents challenges for model-in-the-loop (MiL) testing due to large input spaces, expensive simulations, and lack of simple oracles. The document proposes using search-based testing to generate critical test cases by formulating it as a multi-objective optimization problem. It demonstrates the approach on an advanced driver assistance system and discusses improving performance with surrogate modeling.
Basics of Functional Verification - Arrow Devices
Are you new to functional verification? Or do you need a refresher? This presentation takes you through the basics of functional verification - overall scope and process with examples. Also included are some tips on do's and don'ts!
Applying Product Line Use Case Modeling ! in an Industrial Automotive Embedde...
1. The document describes a refined approach to product line use case modeling called PUM that was applied in an automotive embedded system project at IEE.
2. PUM models variability in use case diagrams, specifications, and domain models using extensions to existing modeling artifacts like use case diagrams and restricted use case modeling.
3. The approach aims to support change management and impact analysis in product lines while limiting additional modeling overhead.
system verilog
The document describes a SystemVerilog verification methodology that includes assertion-based verification, coverage-driven verification, constrained random verification, and use of scoreboards and checkers. It outlines the verification flow from design specifications through testbench development, integration and simulation, and discusses techniques like self-checking test cases, top-level and block-level environments, and maintaining bug reports.
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
20 years of MBT research: a short survey
10 years of MBT at Microsoft: successful adoption?
Lessons learnt
System verilog verification building blocks
SystemVerilog introduces key concepts like program blocks, interfaces, and clocking blocks to help with verification. Program blocks separate the testbench code from the design code to avoid race conditions. Interfaces encapsulate communication between blocks and help prevent errors from manual port connections. Clocking blocks synchronize signal drivers and allow specifying timing for sampled signals. Together these features help manage complexity when verifying designs.
Automated Test Suite Generation for Time-Continuous Simulink Models
This document summarizes an approach for automated test suite generation for Simulink models with time-continuous behaviors. It discusses two main challenges with existing Simulink testing techniques: incompatibility with the underlying SAT/SMT-based techniques which cannot handle features like time-continuous blocks, and low fault revealing ability when test oracles are manual. The proposed approach uses search-based test generation driven by output diversity and failure patterns to generate test cases that are more likely to reveal faults. An evaluation compares the fault detection capability of the approach to Simulink Design Verifier and finds that the proposed output diversity technique outperforms it. The approach is implemented in a tool called SimCoTest.
Logic Simulation, Modeling, and Testing
The document discusses simulation, modeling, and testing in VLSI design. It covers various topics including logic simulation, fault simulation, and VLSI testing. Logic simulation verifies design correctness using simulation. Fault simulation measures test effectiveness by simulating faults. VLSI testing verifies manufactured chips using test generation and application. The document compares different simulation and testing techniques.
Model Based Software Testing
This document discusses model-based testing (MBT), including what it is, the MBT process, tools that can be used, and benefits/limitations. MBT involves creating a model of the system under test and using that model to automatically generate test cases. The MBT process includes modelling the system, selecting test requirements, generating abstract test cases from the model, concretizing the tests into executable scripts, and executing the tests against the system. MBT can find faults, reduce costs and time, and improve test quality compared to manual testing. However, it requires skilled modelers and some testing experience to apply effectively.
Testival meetup 60_leveraging_the_power_of_your_testing_with_xray_20210112_v2
This document provides an overview of how to leverage the Xray test management application for Jira. Some key points covered include:
1. Xray allows for both scripted and exploratory testing approaches to be combined and consolidated.
2. Core concepts of Xray include organizing tests, planning test execution, and providing test coverage visibility and traceability.
3. Xray leverages existing Jira features for permissions, workflows, custom fields and screens to manage the entire testing process.
Interface-Implementation Contract Checking
This document discusses interface-implementation contract checking of NASA's OSAL software. It presents static equivalence analysis and static contract checking techniques to find inconsistencies between different OSAL implementations and between code and documentation. Static equivalence analysis identified differences in return codes and other behaviors between POSIX, RTEMS and vxWorks implementations. Static contract checking without formal contracts extracted return codes from code and comments to find mismatches, identifying issues now addressed. The techniques provided lightweight but effective methods to detect errors and inconsistencies in the critical NASA OSAL software.
Design Verification
The document discusses the design verification process in VLSI chip design. It explains that verification ensures the design meets specifications before silicon fabrication, while testing occurs after to also check specifications. Verification is critical and involves automated tools to test all possible input combinations as designs become too complex to manually verify. The design flow includes specification, RTL design, simulation, synthesis, floorplanning, placement and routing. Verification happens at various stages through simulation and timing analysis to check for errors before moving to the next stage of physical design.
Model-Based Testing: Concepts, Tools, and Techniques
For decades, software development tools and methods have evolved with an emphasis on modeling. Standards like UML and SysML are now used to develop some of the most complex systems in the world. However, test design remains a largely manual, intuitive process. Now, a significant opportunity exists for testing organizations to realize the benefits of modeling. Adam Richards describes how to leverage model-based testing to dramatically improve both test coverage and efficiency—and lower the overall cost of quality. Adam provides an overview of the basic concepts and process implications of model-based testing, including its role in agile. A survey of model types and techniques shows different model-based solutions for different kinds of testing problems. Explore tool integrations and weigh the pros and cons of model-based test development against a variety of system and project-level factors. Gain a working knowledge of the concepts, tools, and techniques needed to introduce model-based testing to your organization.
Fleksibel procesdigitalisering
The document discusses flexible process digitization. It provides background on the speaker, Thomas Hildebrandt, including his educational background and research experience in business process management (BPM) and digitization of workflows. The presentation covers the history of efforts to digitize processes going back to the 1970s, standards that have been developed, and challenges with traditional flow chart representations of processes. It introduces process-oriented architecture and notes the need for improved support for process diagnosis, design, and flexibility.
Overview of the ProSec project
Seminar on Cyber-Physical Security of Critical Processes for Crucial Functions in Society, 2 May 2016
More Related Content
What's hot
Spyglass dft
This document provides an overview of SpyglassDFT, a tool for comprehensive RTL design analysis. It discusses key SpyglassDFT features such as lint checking, test coverage estimation, and an integrated debug environment. Important input files for SpyglassDFT like the project file and waiver file are also outlined. The document concludes with an example flow for using SpyglassDFT to analyze clocks and resets, identify violations, and prepare the design for manufacturing test.
Survey on Software Defect Prediction
This document provides an overview of software defect prediction approaches from the 1970s to the present. It discusses early approaches using simple metrics like lines of code and complexity metrics. It then covers the development of prediction models using machine learning techniques like regression and classification. More recent topics discussed include just-in-time prediction models, practical applications in industry, using historical metrics from software repositories, addressing noise in data, and the feasibility of cross-project prediction. The document outlines challenges and opportunities for future work in the field of software defect prediction.
Survey on Software Defect Prediction (PhD Qualifying Examination Presentation)
This document provides an outline and overview of approaches to software defect prediction. It discusses early approaches using lines of code and complexity metrics from the 1970s-1980s and the development of prediction models using regression and classification in the 1990s-2000s. More recent focus areas discussed include just-in-time prediction models, practical applications of prediction, using history metrics from software repositories, and assessing cross-project prediction feasibility. The document aims to survey the field of software defect prediction.
Survey on Software Defect Prediction
This document provides an outline and overview of approaches to software defect prediction. It discusses early approaches using simple metrics like lines of code in the 1970s and complexity metrics/fitting models in the 1980s. Prediction models using regression and classification emerged in the 1990s. Just-in-time prediction models and practical applications in industry are discussed for the 2000s. The use of history metrics from software repositories and challenges of cross-project prediction are also summarized.
Documented Requirements are not Useless After All!
The document discusses challenges related to requirements in agile software development projects, including dealing with natural language requirements, domain knowledge, frequent changes, and configuring requirements for product families. It outlines research conducted to address these challenges through natural language processing techniques like analyzing compliance with boilerplate templates, extracting domain models from requirements, and analyzing change impact when requirements change. The talk aims to discuss when documented requirements are important in practice and how they can be supported to effectively handle common challenges.
Jonas Skjoldan - Automatic GUI test with Ruby and Watir
EuroSTAR Software Testing Conference 2009 presentation on Automatic GUI test with Ruby and Watir by Jonas Skjoldan . See more at conferences.eurostarsoftwaretesting.com/past-presentations/
Testing the Untestable: Model Testing of Complex Software-Intensive Systems
This document discusses model testing as an approach to testing complex, software-intensive systems that are difficult or impossible to fully automate. It presents model testing as shifting the focus of testing from implemented systems to executable models that capture relevant system behavior and properties. Model testing aims to find and execute high-risk test scenarios in large input spaces and help guide targeted testing of implemented systems. Challenges include defining testable models that include dynamic and uncertain behavior, performing effective test selection, and detecting failures under uncertainty.
Testing Dynamic Behavior in Executable Software Models - Making Cyber-physica...
This document discusses testing dynamic behavior in executable software models for cyber-physical systems. It presents challenges for model-in-the-loop (MiL) testing due to large input spaces, expensive simulations, and lack of simple oracles. The document proposes using search-based testing to generate critical test cases by formulating it as a multi-objective optimization problem. It demonstrates the approach on an advanced driver assistance system and discusses improving performance with surrogate modeling.
Basics of Functional Verification - Arrow Devices
Are you new to functional verification? Or do you need a refresher? This presentation takes you through the basics of functional verification - overall scope and process with examples. Also included are some tips on do's and don'ts!
Applying Product Line Use Case Modeling ! in an Industrial Automotive Embedde...
1. The document describes a refined approach to product line use case modeling called PUM that was applied in an automotive embedded system project at IEE.
2. PUM models variability in use case diagrams, specifications, and domain models using extensions to existing modeling artifacts like use case diagrams and restricted use case modeling.
3. The approach aims to support change management and impact analysis in product lines while limiting additional modeling overhead.
system verilog
The document describes a SystemVerilog verification methodology that includes assertion-based verification, coverage-driven verification, constrained random verification, and use of scoreboards and checkers. It outlines the verification flow from design specifications through testbench development, integration and simulation, and discusses techniques like self-checking test cases, top-level and block-level environments, and maintaining bug reports.
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
20 years of MBT research: a short survey
10 years of MBT at Microsoft: successful adoption?
Lessons learnt
System verilog verification building blocks
SystemVerilog introduces key concepts like program blocks, interfaces, and clocking blocks to help with verification. Program blocks separate the testbench code from the design code to avoid race conditions. Interfaces encapsulate communication between blocks and help prevent errors from manual port connections. Clocking blocks synchronize signal drivers and allow specifying timing for sampled signals. Together these features help manage complexity when verifying designs.
Automated Test Suite Generation for Time-Continuous Simulink Models
This document summarizes an approach for automated test suite generation for Simulink models with time-continuous behaviors. It discusses two main challenges with existing Simulink testing techniques: incompatibility with the underlying SAT/SMT-based techniques which cannot handle features like time-continuous blocks, and low fault revealing ability when test oracles are manual. The proposed approach uses search-based test generation driven by output diversity and failure patterns to generate test cases that are more likely to reveal faults. An evaluation compares the fault detection capability of the approach to Simulink Design Verifier and finds that the proposed output diversity technique outperforms it. The approach is implemented in a tool called SimCoTest.
Logic Simulation, Modeling, and Testing
The document discusses simulation, modeling, and testing in VLSI design. It covers various topics including logic simulation, fault simulation, and VLSI testing. Logic simulation verifies design correctness using simulation. Fault simulation measures test effectiveness by simulating faults. VLSI testing verifies manufactured chips using test generation and application. The document compares different simulation and testing techniques.
Model Based Software Testing
This document discusses model-based testing (MBT), including what it is, the MBT process, tools that can be used, and benefits/limitations. MBT involves creating a model of the system under test and using that model to automatically generate test cases. The MBT process includes modelling the system, selecting test requirements, generating abstract test cases from the model, concretizing the tests into executable scripts, and executing the tests against the system. MBT can find faults, reduce costs and time, and improve test quality compared to manual testing. However, it requires skilled modelers and some testing experience to apply effectively.
Testival meetup 60_leveraging_the_power_of_your_testing_with_xray_20210112_v2
This document provides an overview of how to leverage the Xray test management application for Jira. Some key points covered include:
1. Xray allows for both scripted and exploratory testing approaches to be combined and consolidated.
2. Core concepts of Xray include organizing tests, planning test execution, and providing test coverage visibility and traceability.
3. Xray leverages existing Jira features for permissions, workflows, custom fields and screens to manage the entire testing process.
Interface-Implementation Contract Checking
This document discusses interface-implementation contract checking of NASA's OSAL software. It presents static equivalence analysis and static contract checking techniques to find inconsistencies between different OSAL implementations and between code and documentation. Static equivalence analysis identified differences in return codes and other behaviors between POSIX, RTEMS and vxWorks implementations. Static contract checking without formal contracts extracted return codes from code and comments to find mismatches, identifying issues now addressed. The techniques provided lightweight but effective methods to detect errors and inconsistencies in the critical NASA OSAL software.
Design Verification
The document discusses the design verification process in VLSI chip design. It explains that verification ensures the design meets specifications before silicon fabrication, while testing occurs after to also check specifications. Verification is critical and involves automated tools to test all possible input combinations as designs become too complex to manually verify. The design flow includes specification, RTL design, simulation, synthesis, floorplanning, placement and routing. Verification happens at various stages through simulation and timing analysis to check for errors before moving to the next stage of physical design.
Model-Based Testing: Concepts, Tools, and Techniques
For decades, software development tools and methods have evolved with an emphasis on modeling. Standards like UML and SysML are now used to develop some of the most complex systems in the world. However, test design remains a largely manual, intuitive process. Now, a significant opportunity exists for testing organizations to realize the benefits of modeling. Adam Richards describes how to leverage model-based testing to dramatically improve both test coverage and efficiency—and lower the overall cost of quality. Adam provides an overview of the basic concepts and process implications of model-based testing, including its role in agile. A survey of model types and techniques shows different model-based solutions for different kinds of testing problems. Explore tool integrations and weigh the pros and cons of model-based test development against a variety of system and project-level factors. Gain a working knowledge of the concepts, tools, and techniques needed to introduce model-based testing to your organization.
What's hot (20)
Survey on Software Defect Prediction (PhD Qualifying Examination Presentation)
Survey on Software Defect Prediction (PhD Qualifying Examination Presentation)
Documented Requirements are not Useless After All!
Documented Requirements are not Useless After All!
Jonas Skjoldan - Automatic GUI test with Ruby and Watir
Jonas Skjoldan - Automatic GUI test with Ruby and Watir
Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Testing Dynamic Behavior in Executable Software Models - Making Cyber-physica...
Testing Dynamic Behavior in Executable Software Models - Making Cyber-physica...
Applying Product Line Use Case Modeling ! in an Industrial Automotive Embedde...
Applying Product Line Use Case Modeling ! in an Industrial Automotive Embedde...
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
Automated Test Suite Generation for Time-Continuous Simulink Models
Automated Test Suite Generation for Time-Continuous Simulink Models
Testival meetup 60_leveraging_the_power_of_your_testing_with_xray_20210112_v2
Testival meetup 60_leveraging_the_power_of_your_testing_with_xray_20210112_v2
Model-Based Testing: Concepts, Tools, and Techniques
Model-Based Testing: Concepts, Tools, and Techniques
Viewers also liked
Fleksibel procesdigitalisering
The document discusses flexible process digitization. It provides background on the speaker, Thomas Hildebrandt, including his educational background and research experience in business process management (BPM) and digitization of workflows. The presentation covers the history of efforts to digitize processes going back to the 1970s, standards that have been developed, and challenges with traditional flow chart representations of processes. It introduces process-oriented architecture and notes the need for improved support for process diagnosis, design, and flexibility.
Overview of the ProSec project
Seminar on Cyber-Physical Security of Critical Processes for Crucial Functions in Society, 2 May 2016
Introduktion til udviklingsprocesser og agile processer
The document discusses software engineering and development approaches at AAU, including:
1. Several bachelor's and master's programs are mentioned, including computer science, software engineering, and interaction design.
2. The curriculum for the bachelor's and master's programs in computer science and software engineering is outlined, including required courses and projects in various topics.
3. An overview is given of agile and plan-driven software development approaches, along with readings and method comparisons. Key differences between the approaches are discussed.
Agilitet i hurtigt voksende softwarevirksomheder
Fra seminar om Agilitet. projektledelse og softwareinnovation den 20.9.2016
Projektledelse og softwareinnovation
The document discusses a project to develop a software system called Psyche to help improve the quality of life for people with acute depression. The system would use data from a user's digital diary, questionnaire responses and sensors to try to anticipate depressive periods and alleviate symptoms. An initial configuration table is presented outlining the project vision, key elements, components, scenarios and features. Reviews find that while anticipation works, detection and alleviation measures are inadequate and need improvement to better fit the user's individual context.
Procesarbejdet i Nykredit, John Nielsen, Nykredit
The document discusses processes at Nykredit, a Danish bank. It notes that processes have become more complex over time as the bank has expanded. Historically, process work focused on internal optimization but now there is increased focus on customers. The bank is working to improve digitization of processes to reduce costs and create more self-service options for customers. There is a shift towards considering processes from an "outside-in" perspective that understands customers' contexts rather than just optimizing internally. Developing the right competencies is important, such as using methods like customer journeys to design processes around customer experiences instead of just internal mapping.
Modelling and Simulation of the response process for an emergency at the Grea...
Modelling and Simulation of the response process for an emergency at the Grea...InfinIT - Innovationsnetværket for it
The document summarizes an experience report on modelling and simulating railway emergency response plans. It discusses using declarative process models and collaborative simulation to study how emergency plans may be impacted by combined physical and cyber attacks. Key steps involved collaboratively mapping out emergency response procedures with experts, and then simulating scenarios using the process model to explore vulnerabilities and make recommendations. The approach was tested on a case study of the Great Belt Bridge incident, and conclusions were that collaborative mapping and simulation is a viable way to study cyber-physical vulnerabilities in critical infrastructure.Systematisk brug af pair programming
Fra seminar om softwareudvikling og softwareteams den 25. november 2014
http://www.infinit.dk/dk/arrangementer/tidligere_arrangementer/seminar_om_softwareudvikling_of_softwareteams.htm
Udforskning af problem gennem forslag til dets løsning
The document discusses different approaches to representing ideas and problems when developing software systems, including icons, prototypes, metaphors, and propositions. It uses the example of developing a wearable technology system called "Psyche" to monitor the mental health of patients. The team developing Psyche considers representing the problem using each of the four approaches to help define key objects, events, and qualities to address. They choose to use an icon representation focused on timely response to emerging conditions and problem identification for citizens.
Proactive prevention of obligation violations
Seminar on Cyber-Physical Security of Critical Processes for Crucial Functions in Society, 2 May 2016
Gamification workshop Thomas Hildebrandt
The document discusses using gamification to support digitalization and process orientation. It describes a workshop to discuss how gamification could be used when processes must be described and maintained, and tasks completed by people. Examples are provided of using gamification in business process management. The document also summarizes a case from Switzerland on using a combined approach of user-centered design and gamification for an e-government process sharing portal. It concludes that virtual rewards in gamification must be meaningful, and the needs and goals of different users must be understood.
Process-oriented Security Risk Analysis and Requirements Engineering
Process-oriented Security Risk Analysis and Requirements EngineeringInfinIT - Innovationsnetværket for it
Seminar on Cyber-Physical Security of Critical Processes for Crucial Functions in Society, 2 May 2016Produktudvikling hos Grundfos igennem underleverandør
This document discusses development processes when using external providers and addresses several questions:
1. It provides an overview of development processes based on ISO 15504 and shows how external providers in different locations are managed and coordinated on a daily basis.
2. It includes a checklist of important aspects to consider in relationships with external providers such as management setup, requirements, documentation, development frameworks, and meeting frequency.
3. It discusses ensuring the competence and maturity levels of external providers through assessments, process reviews, and comparing their processes to standards like ISO 15504 and CMMI.
Værdiskabelse i projekter
(1) Intrapreneurship refers to entrepreneurial behavior within existing organizations that leads to innovations such as new products, services, and ventures. It involves stretching organizational boundaries.
(2) The document defines intrapreneurship and differentiates it from related concepts like diversification, capabilities, organizational learning, and innovation.
(3) Intrapreneurship is described as a multidimensional concept involving eight dimensions: new ventures, new businesses, product/service innovativeness, process innovativeness, self-renewal, risk taking, proactiveness, and competitive aggressiveness.
Value Creation in SaaS Development
Slides fra InfinIT seminar den 7. maj 2015 om Softwareteams og SaaS Development
Viewers also liked (20)
Introduktion til udviklingsprocesser og agile processer
Introduktion til udviklingsprocesser og agile processer
Modelling and Simulation of the response process for an emergency at the Grea...
Modelling and Simulation of the response process for an emergency at the Grea...
Udforskning af problem gennem forslag til dets løsning
Udforskning af problem gennem forslag til dets løsning
Process-oriented Security Risk Analysis and Requirements Engineering
Process-oriented Security Risk Analysis and Requirements Engineering
Produktudvikling hos Grundfos igennem underleverandør
Produktudvikling hos Grundfos igennem underleverandør
Proof of Concept af en fleksibel løsning til små online møder
Proof of Concept af en fleksibel løsning til små online møder
Similar to Process modelling at BaneDanmark
UDP Report
This document summarizes the development of a distributed simulation toolbox for MATLAB/Simulink. The toolbox allows for real-time communication between systems using UDP. It was developed in two phases: first, test applications in C++, then S-functions for MATLAB. The C++ applications demonstrated singlecast, multicast, and broadcast transmissions of data arrays. The S-functions translate this functionality into Simulink blocks for UDP send and receive with parameters for port, IP, and data type.
Guidelhhghghine document final
This document provides guidelines for capturing and formatting test content for popular applications to be used on the Mu Dynamics test platform. It describes how to capture packet capture (PCAP) files using Wireshark for non-HTTP applications, and HTTP Archive (HAR) files using Firebug for HTTP-based applications. The steps include installing the necessary software, capturing representative application traffic, filtering the captures, generating scenarios in the Mu platform, and validating the scenarios. Standards are also defined for naming, formatting and describing the scenario files, JSON metadata files and PCAP/HAR captures to ensure consistency.
FINAL PROJECT REPORT.PDF
This document is a project report for developing an online assessment tool for Sainsbury's Supermarket Ltd. It outlines the inception phase of the project, which included proposing the topic, researching online assessment and learning management systems, and planning initial tasks. The objectives are to create a convenient way for employees to complete required assessments online after training and for managers to manage user content. The report discusses technologies for online applications and reviews similar existing tools. It presents initial requirements gathering, use case modeling, risk assessment, and outlines plans for the elaboration, construction, transition and implementation phases of the project using the RUP methodology.
MCS2SIM - Method Allowing Application of PSA Results in Simulators
This presentation provides an introduction to the basic idea of MCS2SIM method (Minimum Cut Set Usage in Simulators), prerequisites needed to apply this method to nuclear power plant safety studies, examples of MCS2SIM application and conclusions drawn from the pilot test. For more information, go to www.gses.com or email info@gses.com. You can also follow GSE on Twitter @GSESystems and Facebook.com/GSESystems. Thanks for viewing!
Software Process Models
This document discusses various software process models, including:
- Waterfall model - A linear sequential model that emphasizes documentation and rigid phases.
- Prototyping model - Allows requirements to change by building prototypes to understand needs.
- RAD (Rapid Application Development) model - Emphasizes short development cycles using reusable components.
- Incremental model - Applies phases in a staggered way, allowing extensions at each step.
- Spiral model - Organizes activities as a spiral with risk reduction and prototype evaluations.
- Component-based model - Focuses on reusing pre-existing software components.
Bn1011 demo ppt sap qm
Visit Us: http://www.conlinetraining.com/
Facebook : https://www.facebook.com/conlinetraining/
Google+ : https://plus.google.com/u/0/collections?arp=1&cfem=111
Twitter : https://twitter.com/conlinetrainin9
Drop your Response :http://www.conlinetraining.com/educationwp/
Timing verification of real-time automotive Ethernet networks: what can we ex...
Timing verification of real-time automotive Ethernet networks: what can we ex...RealTime-at-Work (RTaW)
Switched Ethernet is a technology that is profoundly reshaping automotive communication architectures as it did in other application domains such as avionics with the use of AFDX backbones. Early stage timing verification of critical embedded networks typically relies on simulation and worst-case schedulability analysis. When the modeling power of schedulability analysis is not sufficient, there are typically two options: either make pessimistic assumptions or ignore what cannot be modeled. Both options are unsatisfactory because they are either inefficient in terms of resource usage or potentially unsafe. To overcome those issues, we believe it is a good practice to use simulation models, which can be more realistic, along with schedulability analysis. The two basic questions that we aim to study here is what can we expect from simulation, and how to use it properly? This empirical study explores these questions on realistic case-studies and provides methodological guidelines for the use of simulation in the design of switched Ethernet networks. A broader objective of the study is to compare the outcomes of schedulability analyses and simulation, and conclude about the scope of usability of simulation in the desi gn of critical Ethernet networksMicroservices @ Work - A Practice Report of Developing Microservices
Cloud Native Night October 2016, Mainz: Talk by Simon Bäumler (Technical Chief Designer at QAware).
Join our Meetup: www.meetup.com/cloud-native-night
Abstract: This talk takes a practice oriented approach to examine microservice oriented architecture. It will show two real systems, one build from scratch in a microservice architecture, the other migrated from a monolithic system to a microservice architecture.
With the example of these two systems the pittfalls, advantages and lessons learned using microservice oriented architectures will be discussed.
While both systems use the java stack, including spring boot and spring cloud many topics will be kept general and will be of interest for all developers.
bakalarska_praca
The document summarizes a bachelor thesis that tested the performance of the Apache Storm real-time data processing framework. It describes Apache Storm and Kafka, which were used to implement aggregate functions like filtering and counting. Testing of Storm's performance was done by processing different volumes of data through the aggregate functions. The results showed that Storm can meet the performance needs of the CSIRT-MU computer security team to enable fast, real-time processing of network data.
Master Teset Specification SRCP
The document provides a master test specification for testing the Simple Railroad Command Protocol (SRCP). It outlines the test plan including using black box and white box testing techniques. The test plan defines the test levels, environment, tools, and schedule. Key test areas are identified as network communication, SRCP connection modes, and general valid/invalid requirements. Requirements for testing are specified, including general requirements related to SRCP servers, commands, replies, and the handshake process.
FInal_CV_08_4_2016
Pankaj Pal provides a summary of his experience and qualifications for a middle management role in automation and instrumentation. He has over 5 years of experience in project engineering, design, software development, commissioning, and technical support of automation systems. He is proficient in PLC programming, SCADA application development, loop testing, commissioning, and network configuration. He has worked on numerous automation projects in industries such as oil and gas extraction, water treatment, power generation, and grain storage.
Risk Based Design & SCE
Risk-based design aims to reduce risks of major accidents during a project's lifecycle. It identifies safety critical elements and sets performance standards for managing them. ADEPP is a tool that facilitates this process. It uses risk analysis to identify safety critical systems. Performance standards are set online and critical tasks are assigned and tracked for managing safety critical elements throughout the different project phases. The ADEPP monitor provides secure online monitoring and communication between stakeholders.
ADEPP Monitor & Risk Based Design
Risk-based design aims to reduce risks of major accidents during a project's lifecycle. It identifies safety critical elements and sets performance standards for managing them. The ADEPP method uses tools like hazard analysis, consequence modeling, and an online monitoring system to systematically identify safety critical systems, determine appropriate performance standards, and track actions over a project's lifecycle to maintain risk reduction.
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
Network Analyzer and Report Generation Tool for NS-2 using TCL Script
This document describes a tool called the ARGT (Analyzer and Report Generation Tool) for NS-2 that allows users to generate TCL script files to model network scenarios in a flexible way. The tool provides a graphical user interface where users can create wired or wireless network topologies by adding nodes and links. It allows configuration of network protocols and applications. The tool then generates a TCL script that can be run directly in NS-2 to simulate the network and produce output files. The document evaluates the tool's ability to analyze simulation results for metrics like throughput, delay, and jitter. It finds that the ARGT is an improvement over previous tools as it integrates TCL script generation, simulation, and performance analysis into a single
Resume-Vispute_Prashant
This résumé is for Prashant R. Vispute, an Industrial Automation - System Analyst with over 11 years of experience. He is currently employed as an Assistant Manager - Projects at Fox Solutions in Nashik, India. The résumé outlines his technical expertise in areas like PLC, SCADA, DCS programming and various automation products. It also provides details of his role and responsibilities, key projects, education qualifications and personal details.
How to Productionize Your Machine Learning Models Using Apache Spark MLlib 2....
Richard Garris presented on ways to productionize machine learning models built with Apache Spark MLlib. He discussed serializing models using MLlib 2.X to save models for production use without reimplementation. This allows data scientists to build models in Python/R and deploy them directly for scoring. He also reviewed model scoring architectures and highlighted Databricks' private beta solution for deploying serialized Spark MLlib models for low latency scoring outside of Spark.
Who cares about Software Process Modelling? A First Investigation about the P...
Paper presentation given at the International Conference on Product-Focused Software Process Improvement, 2012
"Architecture assessment from classics to details", Dmytro Ovcharenko
We will talk about architecture assessment and SEI ATAM methodology in detail. We also review Quality Attribute Workshop on a high level and find differences between quantitative and qualitative analysis. The assessment process can be represented as a set of activities roughly split into assessment preparation, collection of the important data and stakeholders' inputs, architecture analysis, and, finally, presentation of findings and recommendations. Finally, we will review the assessment document and some examples.
ADEPP & Other Software
This document discusses ADEPP, a tool for configuration management in health, safety, and environmental (HSE) management systems. It describes how ADEPP can be used to engineer requirements, define performance standards, plan activities and assign tasks, and track progress through an online system. The document also discusses how ADEPP can interface with various simulation and modeling software to assess risks and safety measures over the lifecycle of oil and gas projects.
Similar to Process modelling at BaneDanmark (20)
MCS2SIM - Method Allowing Application of PSA Results in Simulators
MCS2SIM - Method Allowing Application of PSA Results in Simulators
Timing verification of real-time automotive Ethernet networks: what can we ex...
Timing verification of real-time automotive Ethernet networks: what can we ex...
Microservices @ Work - A Practice Report of Developing Microservices
Microservices @ Work - A Practice Report of Developing Microservices
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...
Network Analyzer and Report Generation Tool for NS-2 using TCL Script
Network Analyzer and Report Generation Tool for NS-2 using TCL Script
How to Productionize Your Machine Learning Models Using Apache Spark MLlib 2....
How to Productionize Your Machine Learning Models Using Apache Spark MLlib 2....
Who cares about Software Process Modelling? A First Investigation about the P...
Who cares about Software Process Modelling? A First Investigation about the P...
"Architecture assessment from classics to details", Dmytro Ovcharenko
"Architecture assessment from classics to details", Dmytro Ovcharenko
More from InfinIT - Innovationsnetværket for it
Object orientering, test driven development og c
This document discusses challenges with hardware-near programming and proposes solutions like object-oriented design, test-driven development, and mocking hardware for testing in C. It provides examples of encapsulating hardware registers in C and writing tests that check register values and function outputs without the physical hardware. The document concludes that while setting up the tools is an initial investment, TDD is possible and helps create safe, maintainable low-level software.
Embedded softwaredevelopment hcs
This document summarizes an embedded software project that used object-oriented modeling and design with UML, along with Safety-Critical Java and C programming. A team of students created a model car that could be remotely controlled via an app. The project followed an object-oriented development process, including use case modeling, component diagrams, and testing of components using mock objects. The design included a layered architecture with hardware abstraction and platform abstraction layers. Missions in Safety-Critical Java were used to model different car modes like Park and Drive. Unit testing of components and testing on the execution platform helped evaluate memory usage and schedulability. The document concludes that this approach helped manage complexity in the embedded system.
C og c++-jens lund jensen
The document summarizes a company's conversion of its embedded controller software from C to C++ over a two month period. It involved converting 8 projects with 30% shared code across 18 developers. Challenges included converting callbacks and dealing with scripting errors. Opportunities included improving code quality, team building, and evaluating new static analysis tools. The conversion was successful with minimal performance impacts and many bugs were found and fixed during the process. Future plans include C++ training and refactoring code to fully utilize C++ features.
201811xx foredrag c_cpp
This document discusses embedded Linux development from a manager's perspective. It provides the speaker's background working with C and C++ on embedded systems. Key expectations of programming languages for embedded systems are outlined, including flexibility, low cost, and real-time performance. The document discusses why C is commonly used for embedded development and outlines best practices like code reviews when using C to avoid issues. It also discusses moving to C++ and using Linux for embedded projects.
C som-programmeringssprog-bt
The document discusses the C programming language. It provides some key facts about C:
- C was developed in the late 1960s and early 1970s by Dennis Ritchie at Bell Labs.
- C became popular due to its use in developing the UNIX operating system.
- The IT world widely uses C, as evidenced by its use in operating systems like Linux, Windows, and iOS.
- The C language has undergone standardization with standards published in 1989 (C89), 1999 (C99), 2011 (C11), and 2018 (C18).
- C influenced many other popular programming languages and remains one of the most widely used languages today.
Infinit seminar 060918
The document discusses the evolution of industrial revolutions and key elements of Industry 4.0, including intelligent automation and production facilities, smart products, virtual production, and more. It also examines the increasing need for systems engineering as products and production become more complex. Finally, it outlines six key fields that must be mastered for successful digital transformation: usage, data, technology, process, role, and culture.
DCR solutions
Fra seminar Effective, co-created and compliant adaptive case management for knowledge workers
Not your grandfathers BPM
Emergent synthetic processes (ESP) is a new paradigm for implementing process changes without needing agreement from all participants. It works by having organizational members define service descriptions stating what tasks they are willing to do and under what conditions. Processes are then synthesized in real-time from these service descriptions for each specific case, finding the optimal route through the organization. This allows service descriptions and partially completed processes to be updated at any time without requiring agreement. ESP enables a more flexible and distributed approach to processes and workflow.
Kmd workzone - an evolutionary approach to revolution
This document discusses the integration of DCR (Dynamic Case Resolution) with the KMD Workzone case management platform to enable more automated and adaptive case resolution. It envisions using technologies like machine learning, artificial intelligence, and automation to handle more routine case activities while still allowing for human judgment and deviations from standard workflows. The approach is described as evolutionary rather than revolutionary, breaking large changes into smaller, configurable steps and getting users involved to identify automatable activities and ensure the system meets their needs. Demostrations are provided of Workzone's flexible configuration capabilities and how DCR could be integrated to iteratively introduce more automated case resolution over time.
EcoKnow - oplæg
Oplæg til seminar: Effective, co-created and compliant adaptive case management for knowledge workers.
Martin Wickins Chatbots i fronten
Fra InfinIT-konference om kunstig intelligens til fremtidens kundeservice den 29. august 2018
Marie Fenger ai kundeservice
Fra InfinIT-konference om kunstig intelligens til fremtidens kundeservice den 29. august 2018
Mads Kaysen SupWiz
SupWiz is a spin-off from world-leading AI experts that develops omni-channel AI software to disrupt customer service and support. Their platform makes different customer service channels intelligent and links them together using techniques like intelligent virtual agents, knowledge management, and analytics. The platform integrates with infrastructure components and has been proven valuable at several customers, accurately answering questions and reducing response times. SupWiz aims to improve the customer experience throughout the entire journey with AI-powered solutions.
Leif Howalt NNIT Service Support Center
The document discusses NNIT's vision for its Service Support Center to improve user productivity through reducing demand for support. Key points include:
- Integrating all user interaction data across systems to create a single source of truth data warehouse for metrics and reporting.
- Implementing configuration management policies, SLA policies, and integrating different levels of knowledge and problem management to reduce support demand and minimize downtime.
- The goal is machine-learning enabled intelligent automation that is flexible, consistent and cost-efficient to provide support across channels like phone, chat, and with multi-language translation available 24/7 globally.
- Statistics are presented on ticket routing optimization using AI to reduce unnecessary ticket jumps between support agents.
Jan Neerbek NLP og Chatbots
Fra InfinIT-konference om kunstig intelligens til fremtidens kundeservice den 29. august 2018
Anders Soegaard NLP for Customer Support
This document discusses how natural language processing (NLP) can be used for customer support. It outlines several NLP applications for customer support like search, fraud detection, and translation. It also discusses how NLP can help answer previously unasked questions by generating questions from knowledge bases and documents. Finally, it proposes a "customer support Turing test" to evaluate NLP systems for their ability to fool classifiers that distinguish customer support agents from customers.
Stephen Alstrup infinit august 2018
This document provides information about an AI conference on the future of customer service. The conference will feature presentations from leaders in various AI and data organizations, as well as a panel debate. Statistics are presented showing the growing importance and impact of AI and chatbots on customer service interactions and cost savings over the coming years. The AMAOS project from the University of Copenhagen is also introduced, which focuses on advanced machine learning for automated omni-channel customer support.
Innovation og værdiskabelse i it-projekter
The document discusses a project aimed at improving quality of life for citizens with affective disorders like depression. It outlines a vision called "Psyche" that aims to anticipate and alleviate acute depression through a digital platform. A configuration table presents the rationale, strategy, and tactics for a prospect to realize this vision, including leveraging the user's digital diary and questionnaire responses to detect emerging depressive episodes and provide alleviation measures. The table identifies challenges like ineffective intervention and underused platform potential, noting that anticipation works but could be improved and alleviation measures are sometimes weak or misplaced.
Rokoko infin it presentation
Fra co-creationworkshop: Skab nye it-sundhedsløsninger til børn den 28. juni 2018
More from InfinIT - Innovationsnetværket for it (20)
Kmd workzone - an evolutionary approach to revolution
Kmd workzone - an evolutionary approach to revolution
Recently uploaded
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
Sidekick Solutions uses Bonterra Impact Management (fka Social Solutions Apricot) and automation solutions to integrate data for business workflows.
We believe integration and automation are essential to user experience and the promise of efficient work through technology. Automation is the critical ingredient to realizing that full vision. We develop integration products and services for Bonterra Case Management software to support the deployment of automations for a variety of use cases.
This video focuses on integration of Salesforce with Bonterra Impact Management.
Interested in deploying an integration with Salesforce for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
Building Production Ready Search Pipelines with Spark and Milvus
Spark is the widely used ETL tool for processing, indexing and ingesting data to serving stack for search. Milvus is the production-ready open-source vector database. In this talk we will show how to use Spark to process unstructured data to extract vector representations, and push the vectors to Milvus vector database for search serving.
Fueling AI with Great Data with Airbyte Webinar
This talk will focus on how to collect data from a variety of sources, leveraging this data for RAG and other GenAI use cases, and finally charting your course to productionalization.
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Discover the seamless integration of RPA (Robotic Process Automation), COMPOSER, and APM with AWS IDP enhanced with Slack notifications. Explore how these technologies converge to streamline workflows, optimize performance, and ensure secure access, all while leveraging the power of AWS IDP and real-time communication via Slack notifications.
dbms calicut university B. sc Cs 4th sem.pdf
Its a seminar ppt on database management system using sql
Best 20 SEO Techniques To Improve Website Visibility In SERP
Boost your website's visibility with proven SEO techniques! Our latest blog dives into essential strategies to enhance your online presence, increase traffic, and rank higher on search engines. From keyword optimization to quality content creation, learn how to make your site stand out in the crowded digital landscape. Discover actionable tips and expert insights to elevate your SEO game.
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
A Mix Chart displays historical data of numbers in a graphical or tabular form. The Kalyan Rajdhani Mix Chart specifically shows the results of a sequence of numbers over different periods.
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
5th LF Energy Power Grid Model Meet-up Slides
5th Power Grid Model Meet-up
It is with great pleasure that we extend to you an invitation to the 5th Power Grid Model Meet-up, scheduled for 6th June 2024. This event will adopt a hybrid format, allowing participants to join us either through an online Mircosoft Teams session or in person at TU/e located at Den Dolech 2, Eindhoven, Netherlands. The meet-up will be hosted by Eindhoven University of Technology (TU/e), a research university specializing in engineering science & technology.
Power Grid Model
The global energy transition is placing new and unprecedented demands on Distribution System Operators (DSOs). Alongside upgrades to grid capacity, processes such as digitization, capacity optimization, and congestion management are becoming vital for delivering reliable services.
Power Grid Model is an open source project from Linux Foundation Energy and provides a calculation engine that is increasingly essential for DSOs. It offers a standards-based foundation enabling real-time power systems analysis, simulations of electrical power grids, and sophisticated what-if analysis. In addition, it enables in-depth studies and analysis of the electrical power grid’s behavior and performance. This comprehensive model incorporates essential factors such as power generation capacity, electrical losses, voltage levels, power flows, and system stability.
Power Grid Model is currently being applied in a wide variety of use cases, including grid planning, expansion, reliability, and congestion studies. It can also help in analyzing the impact of renewable energy integration, assessing the effects of disturbances or faults, and developing strategies for grid control and optimization.
What to expect
For the upcoming meetup we are organizing, we have an exciting lineup of activities planned:
-Insightful presentations covering two practical applications of the Power Grid Model.
-An update on the latest advancements in Power Grid -Model technology during the first and second quarters of 2024.
-An interactive brainstorming session to discuss and propose new feature requests.
-An opportunity to connect with fellow Power Grid Model enthusiasts and users.
Main news related to the CCS TSI 2023 (2023/1695)
An English 🇬🇧 translation of a presentation to the speech I gave about the main changes brought by CCS TSI 2023 at the biggest Czech conference on Communications and signalling systems on Railways, which was held in Clarion Hotel Olomouc from 7th to 9th November 2023 (konferenceszt.cz). Attended by around 500 participants and 200 on-line followers.
The original Czech 🇨🇿 version of the presentation can be found here: https://www.slideshare.net/slideshow/hlavni-novinky-souvisejici-s-ccs-tsi-2023-2023-1695/269688092 .
The videorecording (in Czech) from the presentation is available here: https://youtu.be/WzjJWm4IyPk?si=SImb06tuXGb30BEH .
leewayhertz.com-AI in predictive maintenance Use cases technologies benefits ...
Predictive maintenance is a proactive approach that anticipates equipment failures before they happen. At the forefront of this innovative strategy is Artificial Intelligence (AI), which brings unprecedented precision and efficiency. AI in predictive maintenance is transforming industries by reducing downtime, minimizing costs, and enhancing productivity.
June Patch Tuesday
Ivanti’s Patch Tuesday breakdown goes beyond patching your applications and brings you the intelligence and guidance needed to prioritize where to focus your attention first. Catch early analysis on our Ivanti blog, then join industry expert Chris Goettl for the Patch Tuesday Webinar Event. There we’ll do a deep dive into each of the bulletins and give guidance on the risks associated with the newly-identified vulnerabilities.
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Are you ready to revolutionize how you handle data? Join us for a webinar where we’ll bring you up to speed with the latest advancements in Generative AI technology and discover how leveraging FME with tools from giants like Google Gemini, Amazon, and Microsoft OpenAI can supercharge your workflow efficiency.
During the hour, we’ll take you through:
Guest Speaker Segment with Hannah Barrington: Dive into the world of dynamic real estate marketing with Hannah, the Marketing Manager at Workspace Group. Hear firsthand how their team generates engaging descriptions for thousands of office units by integrating diverse data sources—from PDF floorplans to web pages—using FME transformers, like OpenAIVisionConnector and AnthropicVisionConnector. This use case will show you how GenAI can streamline content creation for marketing across the board.
Ollama Use Case: Learn how Scenario Specialist Dmitri Bagh has utilized Ollama within FME to input data, create custom models, and enhance security protocols. This segment will include demos to illustrate the full capabilities of FME in AI-driven processes.
Custom AI Models: Discover how to leverage FME to build personalized AI models using your data. Whether it’s populating a model with local data for added security or integrating public AI tools, find out how FME facilitates a versatile and secure approach to AI.
We’ll wrap up with a live Q&A session where you can engage with our experts on your specific use cases, and learn more about optimizing your data workflows with AI.
This webinar is ideal for professionals seeking to harness the power of AI within their data management systems while ensuring high levels of customization and security. Whether you're a novice or an expert, gain actionable insights and strategies to elevate your data processes. Join us to see how FME and AI can revolutionize how you work with data!
HCL Notes and Domino License Cost Reduction in the World of DLAU
Webinar Recording: https://www.panagenda.com/webinars/hcl-notes-and-domino-license-cost-reduction-in-the-world-of-dlau/
The introduction of DLAU and the CCB & CCX licensing model caused quite a stir in the HCL community. As a Notes and Domino customer, you may have faced challenges with unexpected user counts and license costs. You probably have questions on how this new licensing approach works and how to benefit from it. Most importantly, you likely have budget constraints and want to save money where possible. Don’t worry, we can help with all of this!
We’ll show you how to fix common misconfigurations that cause higher-than-expected user counts, and how to identify accounts which you can deactivate to save money. There are also frequent patterns that can cause unnecessary cost, like using a person document instead of a mail-in for shared mailboxes. We’ll provide examples and solutions for those as well. And naturally we’ll explain the new licensing model.
Join HCL Ambassador Marc Thomas in this webinar with a special guest appearance from Franz Walder. It will give you the tools and know-how to stay on top of what is going on with Domino licensing. You will be able lower your cost through an optimized configuration and keep it low going forward.
These topics will be covered
- Reducing license cost by finding and fixing misconfigurations and superfluous accounts
- How do CCB and CCX licenses really work?
- Understanding the DLAU tool and how to best utilize it
- Tips for common problem areas, like team mailboxes, functional/test users, etc
- Practical examples and best practices to implement right away
Generating privacy-protected synthetic data using Secludy and Milvus
During this demo, the founders of Secludy will demonstrate how their system utilizes Milvus to store and manipulate embeddings for generating privacy-protected synthetic data. Their approach not only maintains the confidentiality of the original data but also enhances the utility and scalability of LLMs under privacy constraints. Attendees, including machine learning engineers, data scientists, and data managers, will witness first-hand how Secludy's integration with Milvus empowers organizations to harness the power of LLMs securely and efficiently.
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Discover how MongoDB Atlas and vector search technology can revolutionize your application's search capabilities. This comprehensive presentation covers:
* What is Vector Search?
* Importance and benefits of vector search
* Practical use cases across various industries
* Step-by-step implementation guide
* Live demos with code snippets
* Enhancing LLM capabilities with vector search
* Best practices and optimization strategies
Perfect for developers, AI enthusiasts, and tech leaders. Learn how to leverage MongoDB Atlas to deliver highly relevant, context-aware search results, transforming your data retrieval process. Stay ahead in tech innovation and maximize the potential of your applications.
#MongoDB #VectorSearch #AI #SemanticSearch #TechInnovation #DataScience #LLM #MachineLearning #SearchTechnology
Columbus Data & Analytics Wednesdays - June 2024
Columbus Data & Analytics Wednesdays, June 2024 with Maria Copot 20
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Simplify your search for a reliable Python development partner! This list presents the top 10 trusted US providers offering comprehensive Python development services, ensuring your project's success from conception to completion.
Recently uploaded (20)
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
Building Production Ready Search Pipelines with Spark and Milvus
Building Production Ready Search Pipelines with Spark and Milvus
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Best 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERP
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
leewayhertz.com-AI in predictive maintenance Use cases technologies benefits ...
leewayhertz.com-AI in predictive maintenance Use cases technologies benefits ...
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success Story
HCL Notes and Domino License Cost Reduction in the World of DLAU
HCL Notes and Domino License Cost Reduction in the World of DLAU
Deep Dive: Getting Funded with Jason Jason Lemkin Founder & CEO @ SaaStr
Deep Dive: Getting Funded with Jason Jason Lemkin Founder & CEO @ SaaStr
Generating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and Milvus
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Process modelling at BaneDanmark
- 1. 1 Process Modelling at Banedanmark 02.05.2016 ProSec , ITU
- 2. 2 Proces Modelling at Banedanmark
- 3. 3 Process Modelling at Banedanmark
- 4. 4 Process Modelling at Banedanmark Preparedness and emergency management. Opens up a network Subnetworks Info colum: - owner of the proces - Qualiware functions - purpose of the proces - main input and output - criteria for the proces - measurements points - references - and more
- 5. 5 Process Modelling at Banedanmark Hazard- and vulnerability assessment. - swim lanes with the responsible for the function - activity boxes with short description of the task Input: Requirements for hazard and vulnerability assessment Output: Hazard and vulnerability assessment reviewed and implemented
- 6. 6 Process Modelling at Banedanmark Preparedness and response exercises
- 7. 7 Process Modelling at Banedanmark Risk management Rail safety in the event of changes in current infrastructure or construction of new railway Risk management and associated processes are different for each phase of construction - network with related and not related processes.
- 8. 8 Process Modelling at Banedanmark CSM Risk assesment
- 9. 9 Process Modelling at Banedanmark Example of a network diagram containing a group of Banedanmarks core processes: Maintenance - Infrastructure - Materiel - Buildings
- 10. 10 Process Modelling at Banedanmark Maintenance
- 11. 11 Process Modelling at Banedanmark Infrastructure projects
- 12. 12 Process Modelling at Banedanmark Turnkey projects
- 13. 13 Process Modelling at Banedanmark Infrastructure design phase
- 14. 1414 Process Modelling at Banedanmark