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

, , Comments Off on Certifiable Software Applications 1. Main Processes by Jean-Louis Boulanger

By Jean-Louis Boulanger

Certifiable software program functions 1: major Processes is devoted to the institution of caliber coverage and safeguard coverage. It establishes the context for attaining a certifiable software program software. In it, the writer covers contemporary advancements reminiscent of the module, part and product line strategy. appropriate criteria are provided and safety ideas are defined and mentioned. eventually, the necessities for getting to know caliber and configuration are defined. during this booklet the reader will locate the basic practices from the sphere and an advent to the concept that of software program application.

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

Show description

Read or Download Certifiable Software Applications 1. Main Processes PDF

Best software books

Software and Network Engineering

The sequence "Studies in Computational Intelligence" (SCI) publishes new advancements and advances within the quite a few components of computational intelligence – fast and with a top quality. The reason is to hide the speculation, functions, and layout equipment of computational intelligence, as embedded within the fields of engineering, computing device technology, physics and existence technological know-how, in addition to the methodologies in the back of them.

Software Services for e-Business and e-Society: 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings

This booklet constitutes the refereed court cases of the ninth IFIP WG 6. 1 convention on e-Business, e-Services and e-Society, held in Nancy, France, in September 2009. The 31 revised papers have been chosen from a variety of submissions. They disguise a large and demanding number of matters in e-business, e-services and e-society, together with protection, belief, and privateness, moral and societal concerns, company association, provision of prone as software program and software program as providers.

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

This Festschrift quantity, released in honor of Egon Börger, includes 14 papers from a Dagstuhl Seminar, which used to be geared up as a "Festkolloquium" at the get together of his sixtieth birthday in may possibly 2006. concentrating on utilized formal equipment, the quantity covers a variety of utilized study, spanning from theoretical and methodological foundations to sensible functions of summary kingdom Machines, B, and past, emphasizing common equipment and instruments that, despite their applicational orientation, are nonetheless devoted to the correct of mathematical rigor.

Logic programming: proceedings 4th international conference, vol.2

The forty five contributions during this booklet contemplate all points of good judgment programming, together with thought and foundations; architectures and implementations; programming languages and technique; databases; wisdom illustration, reasoning, and specialist platforms; and relatives to different computation versions, programming languages, and programming methodologies.

Extra info for Certifiable Software Applications 1. Main Processes

Sample text

1 shows that a system can be in different states. The important thing is to ensure that the system cannot reach a state of incorrect and dangerous functioning. We must, therefore, identify quickly a typology of systems states. 1 represents external states (correct, incorrect) of a system and the possible transitions between these states. The system states can be classified into three families: – correct states: there is no dangerous situation; – safe incorrect states: a failure is detected and the system is in a safe condition; – incorrect states: it is an uncontrolled hazardous situation: there could be potential accidents.

Random failure occurs in an unpredictable manner and is found to be the result of a set of degradations affecting the hardware aspects of the system. ). Systematic failure is deterministically linked to a cause. The cause of the failure can only be removed through recovery of development process (design, manufacturing, documentation) or recovery of procedures. Given the nature, systematic failure is not quantifiable. 2. Evolution of the internal state of a system Failure is an externally observable manifestation of a fault (the standard IEC 61508 [IEC 08a] refers to it as anomaly).

Module and component It is important that we see a software application as a set of elements that interact to process a set of information. At this point, we speak of elements, as we have Software Application 33 moved on from the concept of monolithic software toward the concept of a structured software seen as a set of elements. – A module is a part of the software, known to be indivisible during development. It achieves a sufficiently explicit processing for it can be a direct transcription in a programming language.

Download PDF sample

Rated 4.21 of 5 – based on 23 votes