標(biāo)題: Titlebook: Industrial Perspectives of Safety-critical Systems; Proceedings of the S Felix Redmill,Tom Anderson Conference proceedings 1998 Springer-Ve [打印本頁(yè)] 作者: 即將過時(shí) 時(shí)間: 2025-3-21 19:41
書目名稱Industrial Perspectives of Safety-critical Systems影響因子(影響力)
書目名稱Industrial Perspectives of Safety-critical Systems影響因子(影響力)學(xué)科排名
書目名稱Industrial Perspectives of Safety-critical Systems網(wǎng)絡(luò)公開度
書目名稱Industrial Perspectives of Safety-critical Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Industrial Perspectives of Safety-critical Systems被引頻次
書目名稱Industrial Perspectives of Safety-critical Systems被引頻次學(xué)科排名
書目名稱Industrial Perspectives of Safety-critical Systems年度引用
書目名稱Industrial Perspectives of Safety-critical Systems年度引用學(xué)科排名
書目名稱Industrial Perspectives of Safety-critical Systems讀者反饋
書目名稱Industrial Perspectives of Safety-critical Systems讀者反饋學(xué)科排名
作者: chronicle 時(shí)間: 2025-3-21 21:59
Conference proceedings 1998he theme, all of the chapters have been contributed by authors having an industrial af- filiation. The first two chapters reflect half-day tutorials - Managing a Safety-critical System Development Project and Principles of Safety Management - held on the first day of the event, and the following 15 作者: 激怒 時(shí)間: 2025-3-22 01:56 作者: 招致 時(shí)間: 2025-3-22 05:30 作者: 惡名聲 時(shí)間: 2025-3-22 09:47 作者: Hippocampus 時(shí)間: 2025-3-22 16:16
Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences),oyce & Associates will be described. Their strengths and weaknesses (based on our own experiences) will be discussed..Our experiences in the use of static analysis for safety critical and safety related software will be given..The role of static analysis in the lifecycle of safety Critical software development will be also debated.作者: 記憶 時(shí)間: 2025-3-22 18:16 作者: Oratory 時(shí)間: 2025-3-22 22:01
nce with the theme, all of the chapters have been contributed by authors having an industrial af- filiation. The first two chapters reflect half-day tutorials - Managing a Safety-critical System Development Project and Principles of Safety Management - held on the first day of the event, and the fol作者: 臥虎藏龍 時(shí)間: 2025-3-23 02:37
B. A. Wichmann überwinden galt. In diesem Sinne enthalten die folgenden Abschnitte eine Art Entstehungsgeschichte, in der die Entwicklung einer Erkl?rung nachgezeichnet wird. Zur übersicht und zur besseren Einordnung einzelner Fragestellungen sei zun?chst aber der Plan der Untersuchung in groben Zügen vorangestel作者: 不容置疑 時(shí)間: 2025-3-23 07:27 作者: 圖畫文字 時(shí)間: 2025-3-23 10:26
den Erkenntnissen...Dieses Buch unterstützt Psychologen, Psychotherapeuten, Psychiater, P?dagogen, Therapeuten, Lehrkr?fte und Eltern die Welt der Computerspiele zu navigieren..978-3-662-57859-9978-3-662-57860-5作者: 圓錐 時(shí)間: 2025-3-23 14:08
Charles Lee,Jon Garnsworthy,Morris Chudleigh,Duncan Bishopden Erkenntnissen...Dieses Buch unterstützt Psychologen, Psychotherapeuten, Psychiater, P?dagogen, Therapeuten, Lehrkr?fte und Eltern die Welt der Computerspiele zu navigieren..978-3-662-57859-9978-3-662-57860-5作者: 盲信者 時(shí)間: 2025-3-23 21:31 作者: Cholagogue 時(shí)間: 2025-3-23 23:14
A System Requirements Traceability Model: An Industrial Application,quirement to requirement traceability, as well as requirements to design traceability. The structure is then used to organise and define the design rationale and requirement attributes. The traceability model also addresses the need to capture requirements in a range of formats including textual, pi作者: Definitive 時(shí)間: 2025-3-24 05:03
Small Modules as Configuration Items in Certified Safety Critical Systems,s. A couple of subjects seem to have been left more or less alone. These are the subjects of configuration management and decompositional modularisation. This paper seeks to re-dress the balance a little and to show how these two subjects interact.作者: 廢墟 時(shí)間: 2025-3-24 10:20 作者: 小官 時(shí)間: 2025-3-24 13:13 作者: 牽連 時(shí)間: 2025-3-24 18:19 作者: 過份好問 時(shí)間: 2025-3-24 22:35
Gustaf Myhrman sondern denjenigen, die einen Marktstandard schaffen konnten. Ziel der vorliegenden Arbeit ist nicht die eingehende Beschreibung der Durchsetzung von Computers978-3-409-13180-3978-3-663-09502-6Series ISSN 0175-8802 Series E-ISSN 2945-8129 作者: 玩忽職守 時(shí)間: 2025-3-25 02:57 作者: 不能仁慈 時(shí)間: 2025-3-25 05:27 作者: muster 時(shí)間: 2025-3-25 10:31
Industrial Perspectives of Safety-critical Systems978-1-4471-1534-2作者: gentle 時(shí)間: 2025-3-25 13:33 作者: 單調(diào)女 時(shí)間: 2025-3-25 17:25
Principles of Engineering Safety Management,ctive Safety Management Systems. This paper is a distillation of our experience and provides a grounding in the principles of Engineering Safety Management..An effective Safety Management System should combine the principles of the latest standards with practical experience of safety management and 作者: Inflated 時(shí)間: 2025-3-25 22:34 作者: embolus 時(shí)間: 2025-3-26 03:41 作者: exacerbate 時(shí)間: 2025-3-26 05:27
Developments for Safer Systems in the Swedish Defence,ies. This paper describes the background and presents the Swedish System Safety Manual, its contents and related matters. It also introduces some of the work that is in progress in the defence procurement area for a safer future.作者: 頑固 時(shí)間: 2025-3-26 10:14 作者: 削減 時(shí)間: 2025-3-26 13:06
Risk, competitive and dynamic business environment of today. The globalisation of the capital, ease of fund transfer beyond normal controls of the sovereign states and removal of the protectionist barriers to trade leaves little latitude for complacency and survival of the poorly equipped and managed ent作者: 微不足道 時(shí)間: 2025-3-26 18:25 作者: 冷漠 時(shí)間: 2025-3-26 21:25 作者: Arresting 時(shí)間: 2025-3-27 02:20
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.作者: 輪流 時(shí)間: 2025-3-27 05:47 作者: CUMB 時(shí)間: 2025-3-27 10:26
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作者: 修飾語(yǔ) 時(shí)間: 2025-3-27 17:17
,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 作者: 無(wú)法解釋 時(shí)間: 2025-3-27 18:14
COTS in Safety-Related Systems Issues and an Illustration,port baggage handling system (BHS). For the example a methodology, loosely based on IEC 61508 [IEC97] 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 differing 作者: STALL 時(shí)間: 2025-3-28 01:41 作者: 蛛絲 時(shí)間: 2025-3-28 03:02
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作者: 中古 時(shí)間: 2025-3-28 08:11 作者: 多節(jié) 時(shí)間: 2025-3-28 11:24 作者: 平常 時(shí)間: 2025-3-28 15:23
Gustaf Myhrmansind das Ergebnis von staatlichen Anordnungen, von privaten übereinkünften und von marktm??igen Entwicklungen im Zuge der unüberschaubaren Arbeitsteilung der Güterproduktion. Für die Wissenschaft entsteht hier das Problem der Erkl?rung solcher Erscheinungen. Das vorliegende Buch behandelt eine besti作者: dictator 時(shí)間: 2025-3-28 20:07 作者: Introvert 時(shí)間: 2025-3-29 02:00
Richard Granville,Keith Harrisonnen von Jahren bilden sich in der Natur informations- verarbeitende Systeme, die weitaus komplexer als die von Menschen geschaffenen Systeme sind. Worin ?hneln und worin unterscheiden sich biologische und künstliche Informationssysteme? Auf diese Frage soll hier eine Antwort gefunden werden. Hierzu 作者: ostrish 時(shí)間: 2025-3-29 04:44 作者: antidepressant 時(shí)間: 2025-3-29 08:03
978-3-540-76189-1Springer-Verlag London Limited 1998作者: modish 時(shí)間: 2025-3-29 15:14
Ada for High Integrity,This paper describes the approach being taken by an ISO group to produce Guidelines for the use of Ada when developing high integrity applications. The problems and benefits to industry of such material are discussed.作者: 刪除 時(shí)間: 2025-3-29 15:46
Independent Safety Auditing,Independent Safety Audits are becoming increasingly common but the role of Independent Safety Auditor (ISA) has never been clearly defined. This paper introduces the concept of independent safety audits and provides one interpretation of the ISA role.作者: ASSET 時(shí)間: 2025-3-29 23:17
Developments for Safer Systems in the Swedish Defence,ies. This paper describes the background and presents the Swedish System Safety Manual, its contents and related matters. It also introduces some of the work that is in progress in the defence procurement area for a safer future.作者: FLOAT 時(shí)間: 2025-3-30 01:49
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.作者: hematuria 時(shí)間: 2025-3-30 06:52
Improving the Production and Presentation of Safety Cases through the use of Intranet Technology,Working in a paper based environment leads to a documentation set that can be large, expensive to produce, complex to follow and difficult to maintain. This paper examines how basic intranet technology may be used to capture links between documents and potentially make easier the development, maintenance and understanding of a Safety Case.作者: 兵團(tuán) 時(shí)間: 2025-3-30 10:55
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 “accomplishment summary”).作者: 北極熊 時(shí)間: 2025-3-30 14:50
,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 should be addressed.作者: Oratory 時(shí)間: 2025-3-30 19:49 作者: 柔聲地說 時(shí)間: 2025-3-30 23:56
https://doi.org/10.1007/978-1-4939-7419-1etter understanding of biological behaviours and further optimization of novel therapeutic modalities, in preclinical and clinical investigations. This chapter attempts to give a brief overview of QD ranging from fundamental knowledge to multifunctional QD-based theranostic modalities for gene thera作者: 責(zé)怪 時(shí)間: 2025-3-31 03:04 作者: PRO 時(shí)間: 2025-3-31 08:51
On Simple Models of Associative Memory: Network Density Is Not Required for Provably Complex Behaviooblems about the memory capacity of a Hopfield network are computationally intractable, even for restricted types of networks that are ., with only a handful neighbors per node. One implication of our results is that some of the most fundamental aspects of biological (and other) networks’ dynamics d作者: LVAD360 時(shí)間: 2025-3-31 11:42
,Erkrankungen des Herzens und der Gef??e,t?rungen fertig werden, die oft als Operationsfolge angetroffen werden. Da es sich bei den kongenitalen Vitien aber um anatomische Fehlbildungen handelt, ist eine kausale Therapie mit konservativen Mitteln nicht m?glich.作者: Inveterate 時(shí)間: 2025-3-31 16:11 作者: 我沒有強(qiáng)迫 時(shí)間: 2025-3-31 19:12 作者: ALT 時(shí)間: 2025-3-31 23:21
