Certifiable Software Applications 1

Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable standards are presented and security principles are described and discussed. Finally, the requirements for mastering quality and configuration are explained. In this book the reader will find the fundamental practices from the field and an introduction to the concept of software application. Presents the fundamental practices from the field Emphasizes the development of quality assurance and safety assurance Introduces the concept of software application Covers recent developments such as module, component, and the product line approach

Produk Detail:

  • Author : Jean-Louis Boulanger
  • Publisher : Elsevier
  • Pages : 308 pages
  • ISBN : 0081011652
  • Rating : 4/5 from 21 reviews
CLICK HERE TO GET THIS BOOKCertifiable Software Applications 1

Certifiable Software Applications 1

Certifiable Software Applications 1
  • Author : Jean-Louis Boulanger
  • Publisher : Elsevier
  • Release : 15 July 2016
GET THIS BOOKCertifiable Software Applications 1

Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable standards are presented and security principles are described and discussed. Finally, the requirements for mastering quality and configuration are explained. In this book the reader will find the fundamental practices from the field and an introduction to

Certifiable Software Applications 3

Certifiable Software Applications 3
  • Author : Jean-Louis Boulanger
  • Publisher : Elsevier
  • Release : 03 September 2018
GET THIS BOOKCertifiable Software Applications 3

Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming languages and their impact on certifiability is included. Describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding Presents valuable programming examples

Certifiable Software Applications 2

Certifiable Software Applications 2
  • Author : Jean-Louis Boulanger
  • Publisher : Elsevier
  • Release : 29 November 2016
GET THIS BOOKCertifiable Software Applications 2

Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of the use of COTS and pre-existing software on certifiable software is presented. Finally, the last support process concerns the management of commercial tools, the creation of a specific tools, and therefore the qualification of tools, which is based on their impact on the final

Formal Methods

Formal Methods
  • Author : Jean-Louis Boulanger
  • Publisher : John Wiley & Sons
  • Release : 10 May 2013
GET THIS BOOKFormal Methods

Although formal analysis programming techniques may be quiteold, the introduction of formal methods only dates from the 1980s.These techniques enable us to analyze the behavior of a softwareapplication, described in a programming language. It took until theend of the 1990s before formal methods or the B method could beimplemented in industrial applications or be usable in anindustrial setting. Current literature only gives students and researchers very generaloverviews of formal methods. The purpose of this book is to presentfeedback from

Scientific Engineering of Distributed Java Applications.

Scientific Engineering of Distributed Java Applications.
  • Author : Nicoals Guelfi,Egidio Astesiano,Gianna Reggio
  • Publisher : Springer
  • Release : 09 March 2004
GET THIS BOOKScientific Engineering of Distributed Java Applications.

FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on “Java-related” technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 14 papers, amongst 29 submitted, two tutorials, and one keynote talk. FIDJI2003aimedatpromotingascienti?capproachtosoftwareengineering.

Industrial Use of Formal Methods

Industrial Use of Formal Methods
  • Author : Jean-Louis Boulanger
  • Publisher : John Wiley & Sons
  • Release : 10 May 2013
GET THIS BOOKIndustrial Use of Formal Methods

At present the literature gives students and researchers of thevery general books on the formal technics. The purpose of this bookis to present in a single book, a return of experience on the usedof the “formal technics” (such proof andmodel-checking) on industrial examples for the transportationdomain. This book is based on the experience of people which arecompletely involved in the realization and the evaluation of safetycritical system software based. The implication of the industrialists allows to raise theproblems of confidentiality

SafeScrum® – Agile Development of Safety-Critical Software

SafeScrum® – Agile Development of Safety-Critical Software
  • Author : Geir Kjetil Hanssen,Tor Stålhane,Thor Myklebust
  • Publisher : Springer
  • Release : 23 November 2018
GET THIS BOOKSafeScrum® – Agile Development of Safety-Critical Software

This book addresses the development of safety-critical software and to this end proposes the SafeScrum® methodology. SafeScrum® was inspired by the agile method Scrum, which is extensively used in many areas of the software industry. Scrum is, however, not intended or designed for use with safety-critical systems; hence the authors propose guidelines and additions to make it both practically useful and compliant with the additional requirements found in safety standards. The book provides an overview of agile software development and

The Agile Safety Case

The Agile Safety Case
  • Author : Thor Myklebust,Tor Stålhane
  • Publisher : Springer
  • Release : 29 January 2018
GET THIS BOOKThe Agile Safety Case

The safety case (SC) is one of the railway industry’s most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50129:2003. Experience has shown that preparing and understanding an SC is difficult and time consuming, and as such the book provides insights that enhance the training for writing an SC. The book discusses both "regular" safety cases and agile safety cases, which avoid too much

Crosstalk: The Journal of Defense Software Engineering. Volume 18, Number 1

Crosstalk: The Journal of Defense Software Engineering. Volume 18, Number 1
  • Author : Anonim
  • Publisher : Unknown Publisher
  • Release : 23 July 2021
GET THIS BOOKCrosstalk: The Journal of Defense Software Engineering. Volume 18, Number 1

"Open Source Software: Opportunities and Challenges," by David Tuma -- Wondering if open source software is right for your project? This well-rounded article discusses the origins of open source, its strengths and security issues, and some ways open source can be utilized in projects. "Open Source Opens Opportunities for Army's Simulation System," by Douglas J. Parsons and Dr. Robert L. Wittman, Jr. -- This article describes the factors that led the Army to use open source development for its next-generation

CENELEC 50128 and IEC 62279 Standards

CENELEC 50128 and IEC 62279 Standards
  • Author : Jean-Louis Boulanger
  • Publisher : John Wiley & Sons
  • Release : 13 April 2015
GET THIS BOOKCENELEC 50128 and IEC 62279 Standards

CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.

Avionics

Avionics
  • Author : Cary R. Spitzer
  • Publisher : CRC Press
  • Release : 03 October 2018
GET THIS BOOKAvionics

Renamed to reflect the increased role of digital electronics in modern flight control systems, Cary Spitzer's industry-standard Digital Avionics Handbook, Second Edition is available in two comprehensive volumes designed to provide focused coverage for specialists working in different areas of avionics development. The first installment, Avionics: Elements, Software, and Functions covers the building blocks and enabling technologies behind modern avionics systems. It discusses data buses, displays, human factors, standards, and flight systems in detail and includes new chapters on the