Agile Methods for Safety-Critical Systems

Agile Methods for Safety-Critical Systems
Author :
Publisher : Createspace Independent Publishing Platform
Total Pages : 130
Release :
ISBN-10 : 1717543146
ISBN-13 : 9781717543141
Rating : 4/5 (46 Downloads)

Synopsis Agile Methods for Safety-Critical Systems by : Nancy Van Schooenderwoert

This book, packed with real-world insights and direct experiences, is for managers who want the benefits of Agile but also must address regulatory compliance, integration of software with other disciplines, and product safety. In it, we combine our understanding of Agile development, hardware/software integration, and regulatory requirements. We know that Agile is simple but not easy; leadership is crucial to make this change spread. We aim to show how you can navigate the transition.

Requirements Engineering for Safety-Critical Systems

Requirements Engineering for Safety-Critical Systems
Author :
Publisher : CRC Press
Total Pages : 229
Release :
ISBN-10 : 9781000793192
ISBN-13 : 1000793192
Rating : 4/5 (92 Downloads)

Synopsis Requirements Engineering for Safety-Critical Systems by : Luiz Eduardo G. Martins

Safety-Critical Systems (SCS) are increasingly present in people's daily activities. In the means of transport, in medical treatments, in industrial processes, in the control of air, land, maritime traffic, and many other situations, we use and depend on SCS. The requirements engineering of any system is crucial for the proper development of the same, and it becomes even more relevant for the development of SCS. Requirements Engineering is a discipline that focuses on the development of techniques, methods, processes, and tools that assist in the design of software and systems, covering the activities of elicitation, analysis, modeling and specification, validation, and management of requirements. The complete specification of system requirements establishes the basis for its architectural design. It offers a description of the functional and quality aspects that should guide the implementation and system evolution. In this book, we discuss essential elements of requirements engineering applied to SCS, such as the relationship between safety/hazard analysis and requirements specification, a balance between conservative and agile methodologies during SCS development, the role of requirements engineering in safety cases, and requirements engineering maturity model for SCS. This book provides relevant insights for professionals, students, and researchers interested in improving the quality of the SCS development process, making system requirements a solid foundation for improving the safety and security of future systems.

Agile Methods

Agile Methods
Author :
Publisher : Springer
Total Pages : 156
Release :
ISBN-10 : 9783319559070
ISBN-13 : 3319559079
Rating : 4/5 (70 Downloads)

Synopsis Agile Methods by : Tiago Silva da Silva

This book constitutes revised selected papers from the 7th Brazilian Workshop on Agil Methods, WBMA 2016, held in Curitiba, Brazil, in November 2016. The 10 full and 4 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers present empirical results and literature reviews on agile implementation in government and distributed environments, design thinking and projects inception, testing and technical debt, motivation and gamification, training, modeling and project management, maturity models and quality assurance.

Agile Processes, in Software Engineering, and Extreme Programming

Agile Processes, in Software Engineering, and Extreme Programming
Author :
Publisher : Springer
Total Pages : 343
Release :
ISBN-10 : 9783319335155
ISBN-13 : 3319335154
Rating : 4/5 (55 Downloads)

Synopsis Agile Processes, in Software Engineering, and Extreme Programming by : Helen Sharp

This book contains the refereed proceedings of the 17th International Conference on Agile Software Development, XP 2016, held in Edinburgh, UK, in May 2016. While agile development has already become mainstream in industry, this field is still constantly evolving and continues to spur an enormous interest both in industry and academia. To this end, the XP conference attracts a large number of software practitioners and researchers, providing a rare opportunity for interaction between the two communities. The 14 full papers accepted for XP 2016 were selected from 42 submissions. Additionally, 11 experience reports (from 25 submissions) 5 empirical studies (out of 12 submitted) and 5 doctoral papers (from 6 papers submitted) were selected, and in each case the authors were shepherded by an experienced researcher. Generally, all of the submitted papers went through a rigorous peer-review process.

Agile Software Requirements

Agile Software Requirements
Author :
Publisher : Addison-Wesley Professional
Total Pages : 977
Release :
ISBN-10 : 9780321685407
ISBN-13 : 0321685407
Rating : 4/5 (07 Downloads)

Synopsis Agile Software Requirements by : Dean Leffingwell

“We need better approaches to understanding and managing software requirements, and Dean provides them in this book. He draws ideas from three very useful intellectual pools: classical management practices, Agile methods, and lean product development. By combining the strengths of these three approaches, he has produced something that works better than any one in isolation.” –From the Foreword by Don Reinertsen, President of Reinertsen & Associates; author of Managing the Design Factory; and leading expert on rapid product development Effective requirements discovery and analysis is a critical best practice for serious application development. Until now, however, requirements and Agile methods have rarely coexisted peacefully. For many enterprises considering Agile approaches, the absence of effective and scalable Agile requirements processes has been a showstopper for Agile adoption. In Agile Software Requirements, Dean Leffingwell shows exactly how to create effective requirements in Agile environments. Part I presents the “big picture” of Agile requirements in the enterprise, and describes an overall process model for Agile requirements at the project team, program, and portfolio levels Part II describes a simple and lightweight, yet comprehensive model that Agile project teams can use to manage requirements Part III shows how to develop Agile requirements for complex systems that require the cooperation of multiple teams Part IV guides enterprises in developing Agile requirements for ever-larger “systems of systems,” application suites, and product portfolios This book will help you leverage the benefits of Agile without sacrificing the value of effective requirements discovery and analysis. You’ll find proven solutions you can apply right now–whether you’re a software developer or tester, executive, project/program manager, architect, or team leader.

Agile Systems Engineering

Agile Systems Engineering
Author :
Publisher : Morgan Kaufmann
Total Pages : 453
Release :
ISBN-10 : 9780128023495
ISBN-13 : 012802349X
Rating : 4/5 (95 Downloads)

Synopsis Agile Systems Engineering by : Bruce Powel Douglass

Agile Systems Engineering presents a vision of systems engineering where precise specification of requirements, structure, and behavior meet larger concerns as such as safety, security, reliability, and performance in an agile engineering context. World-renown author and speaker Dr. Bruce Powel Douglass incorporates agile methods and model-based systems engineering (MBSE) to define the properties of entire systems while avoiding errors that can occur when using traditional textual specifications. Dr. Douglass covers the lifecycle of systems development, including requirements, analysis, design, and the handoff to specific engineering disciplines. Throughout, Dr. Douglass couples agile methods with SysML and MBSE to arm system engineers with the conceptual and methodological tools they need to avoid specification defects and improve system quality while simultaneously reducing the effort and cost of systems engineering. - Identifies how the concepts and techniques of agile methods can be effectively applied in systems engineering context - Shows how to perform model-based functional analysis and tie these analyses back to system requirements and stakeholder needs, and forward to system architecture and interface definition - Provides a means by which the quality and correctness of systems engineering data can be assured (before the entire system is built!) - Explains agile system architectural specification and allocation of functionality to system components - Details how to transition engineering specification data to downstream engineers with no loss of fidelity - Includes detailed examples from across industries taken through their stages, including the "Waldo" industrial exoskeleton as a complex system

Test Driven Development for Embedded C

Test Driven Development for Embedded C
Author :
Publisher : Pragmatic Bookshelf
Total Pages : 486
Release :
ISBN-10 : 9781680504880
ISBN-13 : 1680504886
Rating : 4/5 (80 Downloads)

Synopsis Test Driven Development for Embedded C by : James W. Grenning

Another day without Test-Driven Development means more time wasted chasing bugs and watching your code deteriorate. You thought TDD was for someone else, but it's not! It's for you, the embedded C programmer. TDD helps you prevent defects and build software with a long useful life. This is the first book to teach the hows and whys of TDD for C programmers. TDD is a modern programming practice C developers need to know. It's a different way to program---unit tests are written in a tight feedback loop with the production code, assuring your code does what you think. You get valuable feedback every few minutes. You find mistakes before they become bugs. You get early warning of design problems. You get immediate notification of side effect defects. You get to spend more time adding valuable features to your product. James is one of the few experts in applying TDD to embedded C. With his 1.5 decades of training,coaching, and practicing TDD in C, C++, Java, and C# he will lead you from being a novice in TDD to using the techniques that few have mastered. This book is full of code written for embedded C programmers. You don't just see the end product, you see code and tests evolve. James leads you through the thought process and decisions made each step of the way. You'll learn techniques for test-driving code right nextto the hardware, and you'll learn design principles and how to apply them to C to keep your code clean and flexible. To run the examples in this book, you will need a C/C++ development environment on your machine, and the GNU GCC tool chain or Microsoft Visual Studio for C++ (some project conversion may be needed).

Product-Focused Software Process Improvement

Product-Focused Software Process Improvement
Author :
Publisher : Springer Nature
Total Pages : 774
Release :
ISBN-10 : 9783030353339
ISBN-13 : 3030353338
Rating : 4/5 (39 Downloads)

Synopsis Product-Focused Software Process Improvement by : Xavier Franch

This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019. The 24 revised full papers 4 industry papers, and 11 short papers presented were carefully reviewed and selected from 104 submissions. The papers cover a broad range of topics related to professional software development and process improvement driven by product and service quality needs. They are organized in topical sections on testing, software development, technical debt, estimations, continuous delivery, agile, project management, microservices, and continuous experimentation. This book also includes papers from the co-located events: 10 project papers, 8 workshop papers, and 4 tutorial summaries.

Disciplined Agile Delivery

Disciplined Agile Delivery
Author :
Publisher : IBM Press
Total Pages : 544
Release :
ISBN-10 : 9780132810104
ISBN-13 : 0132810107
Rating : 4/5 (04 Downloads)

Synopsis Disciplined Agile Delivery by : Scott W. Ambler

Master IBM’s Breakthrough DAD Process Framework for Succeeding with Agile in Large, Complex, Mission-Critical IT Projects It is widely recognized that moving from traditional to agile approaches to build software solutions is a critical source of competitive advantage. Mainstream agile approaches that are indeed suitable for small projects require significant tailoring for larger, complex enterprise projects. In Disciplined Agile Delivery, Scott W. Ambler and Mark Lines introduce IBM’s breakthrough Disciplined Agile Delivery (DAD) process framework, which describes how to do this tailoring. DAD applies a more disciplined approach to agile development by acknowledging and dealing with the realities and complexities of a portfolio of interdependent program initiatives. Ambler and Lines show how to extend Scrum with supplementary agile and lean strategies from Agile Modeling (AM), Extreme Programming (XP), Kanban, Unified Process (UP), and other proven methods to provide a hybrid approach that is adaptable to your organization’s unique needs. They candidly describe what practices work best, why they work, what the trade-offs are, and when to consider alternatives, all within the context of your situation. Disciplined Agile Delivery addresses agile practices across the entire lifecycle, from requirements, architecture, and development to delivery and governance. The authors show how these best-practice techniques fit together in an end-to-end process for successfully delivering large, complex systems--from project initiation through delivery. Coverage includes Scaling agile for mission-critical enterprise endeavors Avoiding mistakes that drive poorly run agile projects to chaos Effectively initiating an agile project Transitioning as an individual to agile Incrementally building consumable solutions Deploying agile solutions into complex production environments Leveraging DevOps, architecture, and other enterprise disciplines Adapting your governance strategy for agile projects Based on facts, research, and extensive experience, this book will be an indispensable resource for every enterprise software leader and practitioner--whether they’re seeking to optimize their existing agile/Scrum process or improve the agility of an iterative process.

Development of Safety-Critical Systems

Development of Safety-Critical Systems
Author :
Publisher : Springer Nature
Total Pages : 373
Release :
ISBN-10 : 9783031279010
ISBN-13 : 3031279018
Rating : 4/5 (10 Downloads)

Synopsis Development of Safety-Critical Systems by : Gopinath Karmakar

This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers. After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter. The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms.