冷漠 发表于 2025-3-26 21:25:07
http://reply.papertrans.cn/47/4641/464075/464075_31.pngArresting 发表于 2025-3-27 02:20:27
Use of Static Code Analysis to Support the Safety Certification of Airborne Software, was therefore decided to carry out a detailed third-party assessment of this software, using Static Code Analysis techniques. This paper describes the experience gained from the assessment project and summarises the benefits obtained.轮流 发表于 2025-3-27 05:47:23
http://reply.papertrans.cn/47/4641/464075/464075_33.pngCUMB 发表于 2025-3-27 10:26:00
A Methodology for Safety Case Development,nsport and the nuclear industry. Furthermore, equivalent requirements can be found in other industry standards, such as IEC 1508 (which requires a “functional safety assessment”) the EN 292 Machinery Directive (which requires a “technical file”) and DO 178B for avionics (which requires an “accomplis修饰语 发表于 2025-3-27 17:17:44
,On the Validation of Finite Element Models — an Industrial Perspective,o promote increased reliability are reviewed (including the SAFESA project). Terminology is identified as a difficulty: The meaning of terms such as verification, calibration and qualification is explored and an attempt is made to distinguish between error and uncertainty and how their consequences无法解释 发表于 2025-3-27 18:14:25
COTS in Safety-Related Systems Issues and an Illustration,port baggage handling system (BHS). For the example a methodology, loosely based on IEC 61508 was mandated and all software was categorised as Developed, Customised, or Standard and Non-Essential, Essential or Safety-Related. A standard bag of techniques was then specified for the differingSTALL 发表于 2025-3-28 01:41:17
http://reply.papertrans.cn/47/4641/464075/464075_37.png蛛丝 发表于 2025-3-28 03:02:25
sucht.Verfasst von Experten aus dem Bereich Informatik und P.Dieses Fachbuch ist eine umfassende Abhandlung zur Debatte um die negativen Auswirkungen von Computerspielen: Aggressionen, Amokläufe und Sucht...Die kontroverse Debatte zur Beziehung zwischen Computerspielen und Aggression wird hier auf G中古 发表于 2025-3-28 08:11:47
http://reply.papertrans.cn/47/4641/464075/464075_39.png多节 发表于 2025-3-28 11:24:39
http://reply.papertrans.cn/47/4641/464075/464075_40.png