Titlebook: Reliability, Quality and Safety of Software-Intensive Systems; IFIP TC5 WG5.4 3rd I Dimitris Gritzalis Book 1997 IFIP International Federat

使混合

Specification composition for the verification of message passing program compositionle applications are built by composing reusable executable program components designed with scalable communication interfaces. We define reusable specifications of program components, using coloured Petri nets, which are then composed to obtain the specification of the application. The composition i

CAND

Prescriptive specification checking for hazard prevention in computer-controlled safety-critical sysms. Based on this analysis, a set of prescriptive specifications are derived to guard the consistency between the computer controller and the physical system to be controlled. The feasibility and effectiveness of this approach is demonstrated by a comprehensive case study.

Costume

Object-oriented Safety Monitor Synthesisumed that the valid object model of an application extended with relevant safety aspects is available. The method comprises four steps: identification, reduction, implantation and tuning of a safety monitor. The identification step selects this part of the object model which constitutes a preliminar

gusher

Modification of Safety Critical Systems: An Assessment of three Approachesption of the system under consideration, the paper naturally falls into two parts. The first one is a description of two modifications, how they were implemented and how they were analysed for safety. The second one contains a discussion of the three methods used — FTA, FMECA and Code analysis. We h

Coeval

Security of World Wide Web Search Engines available information. This has made the World Wide Web one of the key fields for companies advertisement. On the other hand, advertisement on the web depends crucially on its ., i.e. on the possibility to be noticed by as many users as possible. The backbone of information management in the WWW is

periodontitis

過時

978-1-4757-6399-7IFIP International Federation for Information Processing 1997

過分

Reliability, Quality and Safety of Software-Intensive Systems978-0-387-35097-4Series ISSN 1868-4238 Series E-ISSN 1868-422X

浪蕩子

Emasculate

https://doi.org/10.1007/978-0-387-35097-4Area; DEX; design; development; distributed systems; form; modeling; quality assurance; safety-critical syst