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

By Jean-Louis Boulanger

Certifiable software program purposes 1: major Processes is devoted to the institution of caliber insurance and protection insurance. It establishes the context for attaining a certifiable software program software. In it, the writer covers fresh advancements comparable to the module, part and product line process. acceptable criteria are awarded and safety ideas are defined and mentioned. eventually, the necessities for studying caliber and configuration are defined. during this e-book the reader will locate the basic practices from the sector and an advent to the concept that of software program application.

  • Presents the basic practices from the field
  • Emphasizes the advance of caliber insurance and defense assurance
  • Introduces the idea that of software program application
  • Covers fresh advancements corresponding to module, part, and the product line approach

Show description

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

Best software books

Software Engineering Education: SEI Conference 1990 Pittsburgh, Pennsylvania, USA, April 2–3, 1990 Proceedings

This quantity represents a advisor to software program engineering schooling.

Functional Programming for Loosely-Coupled Multiprocessors (Research Monographs in Parallel and Distributed Computing)

Contemporary development in VLSI offers tremendous parallelism yet basic objective parallel desktops stay elusive because of constrained communications functionality. This publication proposes a brand new excessive point method of programming that addresses the pragmatic factor of the way a computation is shipped throughout a computing device.

Empirical Foundations of Information and Software Science

The aim of the second one Symposium on Empirical Foundations of Informa­ tion and software program technology (EFISS) was once, in essence, almost like that of the 1st Symposium during this sequence, i. e. to discover topics and techniques of sci­ entific inquiry that are of primary and customary curiosity to info and software program sciences, and to map instructions of analysis that may enjoy the mutual interplay of those fields.

Internetware: A New Software Paradigm for Internet Computing

This publication offers a finished creation to Internetware, protecting elements starting from the basic ideas and engineering methodologies to operational systems, caliber measurements and insurance and destiny instructions. it is also instructions and diverse consultant real-world case stories that function a useful reference source for software program engineers desirous about the improvement of Internetware purposes.

Extra info for Certifiable Software Applications 1. Main Processes

Sample text

Etc. Furthermore, the standard applications are difficult to reuse and maintain as they are heavily dependent on hardware and software. Hence, several projects propose developing a software application independent of these materials. These architectures are called modular architectures. 3. 2 and [EVE 06]) and AUTOSAR5 (Automotive Open System Architecture (see [BOU 11] – Chapter 3 and [AUT 14]). Both architectures are designed to introduce a clear separation between the performance software and hardware.

After the introduction of the concept of error, fault and failure, and their application to software applications, we shall discuss the techniques that help to protect a software application and their implementation in this chapter. 1 The term bug was introduced by Grace Hopper, who is the founder of the first computer compiler and COBOL [SAM 78]. She could have named the programming errors after an insect that probably had caused failure on one of the machines used by her. 2. 1. Basic concepts We will start first and foremost with dependability.

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.

Download PDF sample

Rated 4.75 of 5 – based on 19 votes