invited talk presented for the Distinguished Speaker Series of the Institute for Software Research (ISR) at the University of California, Irvine, 5 April 2013
Jogging While Driving, and Other Software Engineering Research Problems (invi...David Rosenblum
invited talk presented for the Distinguished Lecturer Series of the Department of Computer Science at the University of Illinois at Chicago, 10 April 2014
Assertions a Decade Later (invited talk at ICSE 2002)David Rosenblum
Invited talk upon receiving the 2002 ICSE Most Influential Paper Award for ICSE 1992, at the 24th International Conference on Software Engineering (ICSE 2002), 22 May 2002.
invited talk presented for the Distinguished Speaker Series of the Institute for Software Research (ISR) at the University of California, Irvine, 5 April 2013
Jogging While Driving, and Other Software Engineering Research Problems (invi...David Rosenblum
invited talk presented for the Distinguished Lecturer Series of the Department of Computer Science at the University of Illinois at Chicago, 10 April 2014
Assertions a Decade Later (invited talk at ICSE 2002)David Rosenblum
Invited talk upon receiving the 2002 ICSE Most Influential Paper Award for ICSE 1992, at the 24th International Conference on Software Engineering (ICSE 2002), 22 May 2002.
SIGSOFT Impact Award: Reflections and Prospects (invited talk at SIGSOFT FSE ...David Rosenblum
Invited talk with Alexander L. Wolf upon receiving the first ACM SIGSOFT Impact Paper Award, at the 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ACM SIGSOFT FSE), 13 November 2008.
Known Unknowns: Testing in the Presence of Uncertainty (talk at ACM SIGSOFT F...David Rosenblum
talk presented in the Visions & Challenges Track of the ACM SIGSOFT 22nd International Symposium on the Foundations of Software Engineering (FSE 2014), Hong Kong, 20 November 2014; the paper won 2nd Prize in the track
SIGSOFT Impact Award: Reflections and Prospects (invited talk at SIGSOFT FSE ...David Rosenblum
Invited talk with Alexander L. Wolf upon receiving the first ACM SIGSOFT Impact Paper Award, at the 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ACM SIGSOFT FSE), 13 November 2008.
Known Unknowns: Testing in the Presence of Uncertainty (talk at ACM SIGSOFT F...David Rosenblum
talk presented in the Visions & Challenges Track of the ACM SIGSOFT 22nd International Symposium on the Foundations of Software Engineering (FSE 2014), Hong Kong, 20 November 2014; the paper won 2nd Prize in the track
Incident Management in the Age of DevOps and SRE Rundeck
Presented by Damon Edwards, co-founder of Rundeck, at QCon San Francisco 2019.
See a Demo of Rundeck Enterprise :
https://www.rundeck.com/see-demo
--or--
Download Rundeck Open Source here:
https://rundeck.com/open-source
Connect:
Stack Overflow community: https://stackoverflow.com/questions/tagged/rundeck
Github: https://github.com/rundeck/rundeck/issues
Twitter: https://twitter.com/Rundeck
Facebook: https://www.facebook.com/RundeckInc/
LinkedIn: www.linkedin.com › company › rundeck-inc
State test is an idea. It's about simulating the software to have information to a correct planing of the resources and test the state of this resources to assure the software do not fail in long term use.
AWS Summit Singapore - Advanced AWS Patterns for the EnterpriseAmazon Web Services
John Painter, Managing Director – Asia, Sourced.
Arrian van Zal, Consultant, Sourced. With a transformational platform comes new principals and techniques for managing a modern enterprise application portfolio. Application updates are now measured in hours, not months, and all of this must overlay with the correct security and risk practices that apply to all regulated businesses. Looking across our global portfolio we have picked a number of patterns that seek to solve common, or sometimes very specific challenges that are present in the Enterprise landscape. This will include key patterns across Serverless computing, Continuous Delivery, and Machine Learning.
This fast-paced technical session will provide an ‘in the trenches’ view of some of the solutions we have built in the last 12 months, backed with live demonstration, and provide actionable designs to take into your organisation. Join us while we present demonstrations, tips, strategies, and cutting edge patterns from Sourced's battle-hardened consultants.
Architecture-Driven Programming for Sense/Compute/Control ApplicationsDamien Cassou
Software architectures have long been used to design the structure of a software and to impose constraints on the software implementation. Existing approaches are capable of formally verifying properties on these constraints at the design stage. However, few approaches verify that a given implementation conforms to the software architecture constraints, and even fewer use these constraints to guide developers during implementation.
In this presentation, we propose a generative approach to enforce the software architecture constraints during implementation. Toward this goal, we focus on a specific application area, Sense/Compute/Control applications, which are applications that interact with a physical or virtual environment. Our work is based on a domain-specific architectural pattern dedicated to SCC applications. The data-flow of this pattern is restricted by interaction constraints. For specifying such constraints, we propose a dedicated language of behavioral contracts, adapted to our architectural pattern. These behavioral contracts are used for automatically generating a dedicated programming framework. This framework enforces the conformance of the resulting implementation with the software architecture constraints and provides guidance to developers.
Incident Management in the Age of DevOps and SRE Rundeck
Keynote presentation at DevOps Con Munich, December 3, 2019, presented by Damon Edwards, co-founder of Rundeck.
Responding to incidents has always been the core job of Operations. With the rise of DevOps and SRE, how Operations work gets done — and who is doing the work — is changing. This talk will look at how high-performing organizations are applying DevOps and SRE practices to shorten incidents and reduce escalations.
See a Demo of Rundeck Enterprise :
https://www.rundeck.com/see-demo
--or--
Download Rundeck Open Source here:
https://rundeck.com/open-source
Connect:
Stack Overflow community: https://stackoverflow.com/questions/tagged/rundeck
Github: https://github.com/rundeck/rundeck/issues
Twitter: https://twitter.com/Rundeck
Facebook: https://www.facebook.com/RundeckInc/
LinkedIn: www.linkedin.com › company › rundeck-inc
Yazid Boutejder: AWS San Francisco Startup Day, 9/7/17
Operations: Production Readiness Review – how to stop bad things from happening - There is more to deploying code than pushing the deploy button. A good practice that many companies follow is a Production Readiness Review (PRR) which is essentially a pre-flight check list before a service launches. This helps ensure new services are properly architected, monitored, secured, and more. We’ll walk through an example PRR and discuss the value of ensuring each of these is properly taken care of before your service launches.
A Comparison of Three Bug-Finding Techniques and Their Relative EffectivenessParasoft
In this presentation, delivered at Embedded World 2015, we will discuss and compare the ability of unit testing, flow analysis, and static analysis to address software quality, safety, and security issues for embedded systems. In addition to a deep and methodical exploration of how each technology addresses these concerns, we will discuss real-world feedback from organizations that have experience using the technologies in the context of a complete development cycle. The presentation will include the application of unit testing, flow analysis, and static analysis to sample software embedded on an IAR board.
In this webinar by Jonas Bonér, creator of Akka and CTO/Co-Founder of Lightbend, we take a look at Cloudstate, an OSS tool built on Akka, gRPC, Knative, GraalVM, and Kubernetes. Cloudstate lets you model, manage, and scale stateful services while preserving responsiveness by designing for resilience and elasticity.
Similar to High-Confidence Ubiquitous Computing Systems (invited talk at ISHCS 2011) (20)
Slack (or Teams) Automation for Bonterra Impact Management (fka Social Soluti...Jeffrey Haguewood
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 the notifications, alerts, and approval requests using Slack for Bonterra Impact Management. The solutions covered in this webinar can also be deployed for Microsoft Teams.
Interested in deploying notification automations for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Ramesh Iyer
In today's fast-changing business world, Companies that adapt and embrace new ideas often need help to keep up with the competition. However, fostering a culture of innovation takes much work. It takes vision, leadership and willingness to take risks in the right proportion. Sachin Dev Duggal, co-founder of Builder.ai, has perfected the art of this balance, creating a company culture where creativity and growth are nurtured at each stage.
PHP Frameworks: I want to break free (IPC Berlin 2024)Ralf Eggert
In this presentation, we examine the challenges and limitations of relying too heavily on PHP frameworks in web development. We discuss the history of PHP and its frameworks to understand how this dependence has evolved. The focus will be on providing concrete tips and strategies to reduce reliance on these frameworks, based on real-world examples and practical considerations. The goal is to equip developers with the skills and knowledge to create more flexible and future-proof web applications. We'll explore the importance of maintaining autonomy in a rapidly changing tech landscape and how to make informed decisions in PHP development.
This talk is aimed at encouraging a more independent approach to using PHP frameworks, moving towards a more flexible and future-proof approach to PHP development.
"Impact of front-end architecture on development cost", Viktor TurskyiFwdays
I have heard many times that architecture is not important for the front-end. Also, many times I have seen how developers implement features on the front-end just following the standard rules for a framework and think that this is enough to successfully launch the project, and then the project fails. How to prevent this and what approach to choose? I have launched dozens of complex projects and during the talk we will analyze which approaches have worked for me and which have not.
Software Delivery At the Speed of AI: Inflectra Invests In AI-Powered QualityInflectra
In this insightful webinar, Inflectra explores how artificial intelligence (AI) is transforming software development and testing. Discover how AI-powered tools are revolutionizing every stage of the software development lifecycle (SDLC), from design and prototyping to testing, deployment, and monitoring.
Learn about:
• The Future of Testing: How AI is shifting testing towards verification, analysis, and higher-level skills, while reducing repetitive tasks.
• Test Automation: How AI-powered test case generation, optimization, and self-healing tests are making testing more efficient and effective.
• Visual Testing: Explore the emerging capabilities of AI in visual testing and how it's set to revolutionize UI verification.
• Inflectra's AI Solutions: See demonstrations of Inflectra's cutting-edge AI tools like the ChatGPT plugin and Azure Open AI platform, designed to streamline your testing process.
Whether you're a developer, tester, or QA professional, this webinar will give you valuable insights into how AI is shaping the future of software delivery.
2. Some Facts
Google Android Market
• The average price of the top 50 paid
applications is US$3.79 [modymi.com]
• 79.3% of paid applications have been
downloaded less than 100 times [Distimo]
• Only 0.1% of paid applications have been
downloaded 50,000 times or more [Distimo]
3. Some Facts
Google Android Market
• The average price of the top 50 paid
applications is US$3.79 [modymi.com]
• 79.3% of paid applications have been
downloaded less than 100 times [Distimo]
• Only 0.1% of paid applications have been
downloaded 50,000 times or more [Distimo]
There are many simplistic, low-quality apps!
18. Validation of CAAAs
Rules are strongly
interdependent Application
and have multiple
priorities Adaptation Rule
Middleware
Manager Engine
making reasoning
Context
difficult even for a Manager
small number of rules
Environment
32. Example Faults in
PhoneAdapter
Outdoor General
Driving
User starts driving before Bluetooth detects hands-free system
33. Example Faults in
PhoneAdapter
Jogging
Outdoor General
Driving
Activation hazard!
34. Example Faults in
PhoneAdapter
Jogging
Outdoor General
Driving
Activation hazard!
35. Faults in CAAAs
• Behavioral Faults
Nondeterminism Unreachable state
Dead rule Activation race
Dead state Activation cycle
36. Faults in CAAAs
• Behavioral Faults
Nondeterminism Unreachable state
Dead rule Activation race
Dead state Activation cycle
• Hazards
Hold hazard Priority inversion
Activation hazard hazard
37. Why Not Use
Model Checkers?
- Difficult to encode fault patterns as
temporal logic formulae
✴ Bisimilar models may fail differently
- Difficult to encode rule logic as models in
common model checkers
✴ Predicates and actions label the transitions
- Difficult to interpret counterexamples as
faults in adaptation behavior
38. Algorithms
Basic Operation
Jogging Sync Meeting
Outdoor General Office
Driving
Home Driving
Fast
For each state
Analyze rules & inputs, and search along
transitions for instances of fault patterns
39. Algorithms
Basic Operation
Jogging Sync Meeting
Outdoor General Office
Driving
Home Driving
Fast
For each state
Analyze rules & inputs, and search along
transitions for instances of fault patterns
40. Algorithms
Basic Operation
Jogging Sync Meeting
Outdoor General Office
Driving
Home Driving
Fast
For each state
Analyze rules & inputs, and search along
transitions for instances of fault patterns
41. Algorithms
Basic Operation
Jogging Sync Meeting
Outdoor General Office
Driving
Home Driving
Fast
For each state
Analyze rules & inputs, and search along
transitions for instances of fault patterns
43. PhoneAdapter Results
Hazards: Enumerative
n PhoneAdapter Table 2: Faults
aptation Races and Cycles
State Vars. Context Hazards
Nondet. Adaptation Dead Pred
signments Race Cycle Paths Assignments
Hold Activ. Faults
Prior. Assignments
3968 General 13
45 14085
7 0 12811 3182
37 128
3968 135
Outdoor 23 161
5 0 32 0 352 17
3072 Jogging 19
97 22 0 4 0 00 1
2560 Driving 13
36 316 2 8 2 04 7
3072 DrivingFast
58 19 22 0 4 0 00 2
2816 Home
76 19 104
4 8 16 0 013 9
2848 O ce
29 1 82634
7 1828 128
368 2164
1 65
2048 Meeting 1
32 10 0 2 0 00 2
1024 Sync
27 5 22 2 4 0 00 1
ned a formal model of a key Contextbehavioral char-
6.4 Detecting complex Hazards
eristic, namely adaptation, of an increasingly sequences of asynchr
This class of faults corresponds to large and
44. Conclusion
Comparison of Approaches
Enumerative Symbolic Hybrid Planner
Local Search Local Search Local Search Global Search
Less Precise Less Precise Less Precise More Precise
Concrete Symbolic Symbolic Concrete
Counterexamples Counterexamples Counterexamples Counterexamples
Handles Smaller Handles Big Handles Bigger Sequential
State Spaces State Spaces State Spaces Search
Fast Faster Fastest Slowest
45. Future Work
Verification
• Continue the work on hazards and
planners
• Quantitative reasoning about faults
• Battery level, movement timings, etc.
• Online analysis of rules and faults
46. Future Work
Design
• Alternatives to rule-based adaptation!
• Machine learning approaches to context
classification and adaptation selection
47. Future Work
Design
• Alternatives to rule-based adaptation!
• Machine learning approaches to context
classification and adaptation selection
• Felicitous Computing Institute
48. Thank You!
REFERENCES
Z. Wang, S. Elbaum and D.S. Rosenblum, Automated Generation of Context-Aware Tests, Proc. 2007 Int’l Conf. on
Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 2007, pp. 406–415.
M. Sama, D.S. Rosenblum, Z. Wang and S. Elbaum, Multi-Layer Faults in the Architectures of Mobile, Context-Aware Adaptive
Applications: A Position Paper, Short Paper, Proc. ICSE 2008 Workshop on Software Architectures
and Mobility (SAM 2008), Leipzig, Germany, May 2008, pp. 47–49.
M. Sama, F. Raimondi, D. Rosenblum and W. Emmerich, Algorithms for Efficient Symbolic Detection of Faults in Context-
Aware Applications, Proc. 1st Int’l Workshop on Automated Engineering of Autonomous and
Run-Time Evolving Systems (ARAMIS 2008), L’Aquila, Italy, Sep. 2008, pp. 1–8.
M. Sama, D.S. Rosenblum, Z. Wang and S. Elbaum, Model-Based Fault Detection in Context-Aware Adaptive Applications,
Proc. 16th ACM SIGSOFT Int’l Symposium on the Foundations of Software Engineering
(FSE 2008), Atlanta, GA, USA, Nov. 2008, pp. 261–271.
J. Cubo, F. Raimondi, M. Sama and D. Rosenblum, A Model to Design and Verify Context-Aware Adaptive Service
Composition, Proc. IEEE Int’l Conf. on Services Computing (SCC 2009), Bangalore, India, Sep. 2009,
pp. 184–191.
M. Sama, D.S. Rosenblum, Z. Wang and S. Elbaum, Multi-Layer Faults in the Architectures of Mobile, Context-Aware Adaptive
Applications, Journal of Systems and Software, invited paper for Special Issue on Software Architecture
and Mobility,Vol. 83, Issue 6, Jun. 2010, pp. 906–914.
M. Sama, S. Elbaum, F. Raimondi and D.S. Rosenblum, Context-Aware Adaptive Applications: Fault Patterns and Their
Automated Identification, IEEE Transactions on Software Engineering, invited paper for Special Issue on
the Best Papers of FSE 2008,Vol. 36, No. 5, Sep./Oct. 2010, pp. 644–661.
Editor's Notes
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
animate early\n
animate early\n
animate early\n
animate early\n
animate early\n
animate early\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
First 4 common to all rule-based systems, remaining peculiar to, and most prevalent in, CAAAs.\n