Download e-book for kindle: Certifiable Software Applications 1. Main Processes by Jean-Louis Boulanger

By Jean-Louis Boulanger

ISBN-10: 0081011652

ISBN-13: 9780081011652

ISBN-10: 1785481177

ISBN-13: 9781785481178

Certifiable software program functions 1: major Processes is devoted to the institution of caliber insurance and protection insurance. It establishes the context for reaching a certifiable software program software. In it, the writer covers fresh advancements reminiscent of the module, part and product line procedure. appropriate criteria are awarded and defense rules are defined and mentioned. eventually, the necessities for studying caliber and configuration are defined. during this e-book the reader will locate the elemental practices from the sphere and an creation to the concept that of software program application.

  • Presents the basic practices from the field
  • Emphasizes the improvement of caliber coverage and protection assurance
  • Introduces the concept that of software program application
  • Covers contemporary advancements equivalent to module, part, and the product line approach

Show description

Read Online or Download Certifiable Software Applications 1. Main Processes PDF

Similar software books

Get Fundamental Approaches to Software Engineering: 12th PDF

This publication constitutes the refereed lawsuits of the twelfth foreign convention on primary methods to software program Engineering, FASE 2009, held in York, united kingdom, in March 2009, as a part of ETAPS 2009, the eu Joint meetings on thought and perform of software program. The 30 revised complete papers offered including 2 software demonstrations have been rigorously reviewed and chosen from 123 regluar and nine software paper submissions.

New PDF release: Foundations of Software Science and Computation Structures:

ETAPS 2002 is the ? fth example of the ecu Joint meetings on thought and perform of software program. ETAPS is an annual federated convention that used to be confirmed in 1998by combining a few latest and new meetings. This 12 months it includes ? ve meetings (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite tv for pc workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS and VISS), 8 invited lectures (not together with those who are speci?

Get Aspiration Based Decision Support Systems: Theory, Software PDF

It isn't effortless to summarize -even in a quantity -the result of a systematic research con­ ducted by means of circa 30 researchers, in 4 assorted learn associations, notwithstanding cooperating among them and together with the overseas Institute for utilized platforms research, yet operating part-time, subsidized not just through IIASA's nationwide forex money, but additionally via a number of different study can provide in Poland.

New PDF release: Intelligent Web Data Management: Software Architectures and

This e-book offers a few of the rising suggestions and applied sciences used to address internet info administration. Authors current novel software program architectures and rising applied sciences after which validate utilizing experimental info and actual international functions. The contents of this publication are all in favour of 4 renowned thematic different types of clever internet facts administration: cloud computing, social networking, tracking and literature administration.

Extra resources for Certifiable Software Applications 1. Main Processes

Example text

Ch. org. 1. Introduction Development of a software application is currently an activity accessible to everyone. The provision of development environment (Case Tool and/or IDE), offering modeling, verification and automatic code generation, has greatly simplified the development of a software application. But the main feature of software is the presence of errors (BUG1). These errors can be automatically executed. The presence of these errors is due to the artisanal nature of the development of a software application.

3. Tolerance to faults Tolerance to faults aims at inhibiting the defects of the software application. For this purpose, we must implement a fault tolerant programming that tries to recover the situation when an error is detected. The error detection implies acceptance of the presence of fault and identification of errors can be detected and corrected. Correcting or inhibiting an error involves: – knowing a safe state (hold state); 62 Certifiable Software Applications 1 – knowing that a correction action is set in place for each detectable error; – knowing previous correct states and existence of alternatives to circumvent the error.

However, reuse is also required for operating systems, or it is not possible to redevelop a complete new version and/or after a long period of operation (over 10 years) the need to add new functionality is addressed by interfacing existing software with new features, therefore, the component approach is required. 7. Product line Developing a software application is one thing, but achieving a maintainable software application that is easily changeable and adaptable is another. Therefore, it may be worthwhile to develop not a product but a product line.

Download PDF sample

Certifiable Software Applications 1. Main Processes by Jean-Louis Boulanger

by Donald

Rated 4.72 of 5 – based on 35 votes