Technology and assessment of safety critical systems proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London u.a.
Springer
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009586487 | ||
| 003 | DE-604 | ||
| 005 | 20200505 | ||
| 007 | t | ||
| 008 | 940502s1994 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 940880181 |2 DE-101 | |
| 020 | |a 3540198598 |9 3-540-19859-8 | ||
| 020 | |a 0387198598 |9 0-387-19859-8 | ||
| 035 | |a (OCoLC)29634720 | ||
| 035 | |a (DE-599)BVBBV009586487 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a T55.A1 | |
| 082 | 0 | |a 620.8/6 |2 20 | |
| 084 | |a SS 1994 |0 (DE-625)143431: |2 rvk | ||
| 084 | |a ZG 9285 |0 (DE-625)156057: |2 rvk | ||
| 084 | |a TEC 720f |2 stub | ||
| 084 | |a DAT 286f |2 stub | ||
| 245 | 1 | 0 | |a Technology and assessment of safety critical systems |b proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 |c Safety Critical Systems Club. Ed. by Felix Redmill ... |
| 246 | 1 | 3 | |a Technology and assessment of safety-critical systems |
| 264 | 1 | |a London u.a. |b Springer |c 1994 | |
| 300 | |a 257 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Automatic control |x Reliability |v Congresses | |
| 650 | 4 | |a Industrial safety |v Congresses | |
| 650 | 0 | 7 | |a Technisches System |0 (DE-588)4126276-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Technische Sicherheit |0 (DE-588)4059233-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Risiko |0 (DE-588)4050129-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datensicherung |0 (DE-588)4011144-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationstechnik |0 (DE-588)4026926-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Birmingham |2 gnd-content | |
| 689 | 0 | 0 | |a Technisches System |0 (DE-588)4126276-1 |D s |
| 689 | 0 | 1 | |a Risiko |0 (DE-588)4050129-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informationstechnik |0 (DE-588)4026926-7 |D s |
| 689 | 1 | 1 | |a Technische Sicherheit |0 (DE-588)4059233-9 |D s |
| 689 | 1 | 2 | |a Datensicherung |0 (DE-588)4011144-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Redmill, Felix |d 1944- |e Sonstige |0 (DE-588)115815317 |4 oth | |
| 710 | 2 | |a Safety Critical Systems Club |e Sonstige |0 (DE-588)2129411-2 |4 oth | |
| 711 | 2 | |a Safety Critical Systems Symposium |n 2 |d 1994 |c Birmingham |j Sonstige |0 (DE-588)2136171-X |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006336049&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006336049 | ||
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0001/94 A 3459 |
|---|---|
| DE-BY-TUM_katkey | 624792 |
| DE-BY-TUM_local_keycode | ko |
| DE-BY-TUM_media_number | 040001344505 |
| _version_ | 1816711692767199232 |
| adam_text | CONTENTS
The Safety-Critical Systems Club
.............................................. ix
A User s Perspective of Programmable Logic Controllers
(PLCs) in Safety-related Applications
A. Greenway
.................................................................................... 1
Methods and Techniques of Improving the Safety
Classification of Programmable Logic Controller Safety
Systems
C.J. Goring
....................................................................................... 21
Maintainability and its Influence on System Safety
С
Whetton
....................................................................................... 31
Safety Critical Problems in Medical Systems
B. Dames
.......................................................................................... 55
Developing Safety Cases for Command and Control
Systems
J.R. Taylor
........................................................................................ 69
Lifetrack:
Organisational Modelling for Safety-Critical
Decision Support
T.
Holden,
M.
Glykas, P. Wilhelmij and B. Reynolds
.................. 79
The True Cost of Risk and its Impact on Safety
D. Brown, V. Deacon and S. Langley
............................................ 103
Risk and Safety Reviews
G. Wells and M. Wardman
............................................................ 128
Extending Safety Analysis Techniques with Formal
Semantics
¡.Górski
........................................................................................... 147
Social Issues in High-Tech Safety
D.
jackson
........................................................................................ 164
Human Error in the Software Generation Process
T. Cockram,
}. Salter,
К.
Mitchell,
}.
Cooper, B. Kinch
and J. May
....................................................................................... 175
Cognitive and Organisational Aspects of Design
M. Loomes, D. Ridley and D. Kornbrot
........................................ 186
Producing Critical Systems
-
The Ada 9X Solution
Ђ.А.
Wichmann............................................................................... 194
Using Formal Transformations for the Reverse
Engineering of Real-time Safety Critical Systems
K.H. Bennett and M.P. Ward
........................................................ 204
Use of Neural Computing in Multiversion Software
Reliability
D. Partridge and
N.
Sharkey
.......................................................... 224
Knowledge Based Systems in Safety Critical
Applications
A. Canning
...................................................................................... 236
The
Rôle
of Formal Methods in the Engineering of
Safety Critical Systems
P.f.Byers
......................................................................................... 247
Author Index
................................................................................. 259
|
| any_adam_object | 1 |
| author_GND | (DE-588)115815317 |
| building | Verbundindex |
| bvnumber | BV009586487 |
| callnumber-first | T - Technology |
| callnumber-label | T55 |
| callnumber-raw | T55.A1 |
| callnumber-search | T55.A1 |
| callnumber-sort | T 255 A1 |
| callnumber-subject | T - General Technology |
| classification_rvk | SS 1994 ZG 9285 |
| classification_tum | TEC 720f DAT 286f |
| ctrlnum | (OCoLC)29634720 (DE-599)BVBBV009586487 |
| dewey-full | 620.8/6 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620.8/6 |
| dewey-search | 620.8/6 |
| dewey-sort | 3620.8 16 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02578nam a2200601 c 4500</leader><controlfield tag="001">BV009586487</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200505 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940502s1994 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940880181</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540198598</subfield><subfield code="9">3-540-19859-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387198598</subfield><subfield code="9">0-387-19859-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29634720</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009586487</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">T55.A1</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620.8/6</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1994</subfield><subfield code="0">(DE-625)143431:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZG 9285</subfield><subfield code="0">(DE-625)156057:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 720f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Technology and assessment of safety critical systems</subfield><subfield code="b">proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994</subfield><subfield code="c">Safety Critical Systems Club. Ed. by Felix Redmill ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Technology and assessment of safety-critical systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">257 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic control</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Industrial safety</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technisches System</subfield><subfield code="0">(DE-588)4126276-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Risiko</subfield><subfield code="0">(DE-588)4050129-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationstechnik</subfield><subfield code="0">(DE-588)4026926-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Birmingham</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Technisches System</subfield><subfield code="0">(DE-588)4126276-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Risiko</subfield><subfield code="0">(DE-588)4050129-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informationstechnik</subfield><subfield code="0">(DE-588)4026926-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Redmill, Felix</subfield><subfield code="d">1944-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115815317</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Safety Critical Systems Club</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2129411-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Safety Critical Systems Symposium</subfield><subfield code="n">2</subfield><subfield code="d">1994</subfield><subfield code="c">Birmingham</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2136171-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006336049&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006336049</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Birmingham gnd-content |
| genre_facet | Konferenzschrift 1994 Birmingham |
| id | DE-604.BV009586487 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:14:19Z |
| institution | BVB |
| institution_GND | (DE-588)2129411-2 (DE-588)2136171-X |
| isbn | 3540198598 0387198598 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006336049 |
| oclc_num | 29634720 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-83 DE-188 |
| physical | 257 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer |
| record_format | marc |
| spellingShingle | Technology and assessment of safety critical systems proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 Automatic control Reliability Congresses Industrial safety Congresses Technisches System (DE-588)4126276-1 gnd Technische Sicherheit (DE-588)4059233-9 gnd Risiko (DE-588)4050129-2 gnd Datensicherung (DE-588)4011144-1 gnd Informationstechnik (DE-588)4026926-7 gnd |
| subject_GND | (DE-588)4126276-1 (DE-588)4059233-9 (DE-588)4050129-2 (DE-588)4011144-1 (DE-588)4026926-7 (DE-588)1071861417 |
| title | Technology and assessment of safety critical systems proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 |
| title_alt | Technology and assessment of safety-critical systems |
| title_auth | Technology and assessment of safety critical systems proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 |
| title_exact_search | Technology and assessment of safety critical systems proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 |
| title_full | Technology and assessment of safety critical systems proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 Safety Critical Systems Club. Ed. by Felix Redmill ... |
| title_fullStr | Technology and assessment of safety critical systems proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 Safety Critical Systems Club. Ed. by Felix Redmill ... |
| title_full_unstemmed | Technology and assessment of safety critical systems proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 Safety Critical Systems Club. Ed. by Felix Redmill ... |
| title_short | Technology and assessment of safety critical systems |
| title_sort | technology and assessment of safety critical systems proceedings of the second safety critical systems symposium birmingham uk 8 10 february 1994 |
| title_sub | proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994 |
| topic | Automatic control Reliability Congresses Industrial safety Congresses Technisches System (DE-588)4126276-1 gnd Technische Sicherheit (DE-588)4059233-9 gnd Risiko (DE-588)4050129-2 gnd Datensicherung (DE-588)4011144-1 gnd Informationstechnik (DE-588)4026926-7 gnd |
| topic_facet | Automatic control Reliability Congresses Industrial safety Congresses Technisches System Technische Sicherheit Risiko Datensicherung Informationstechnik Konferenzschrift 1994 Birmingham |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006336049&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT redmillfelix technologyandassessmentofsafetycriticalsystemsproceedingsofthesecondsafetycriticalsystemssymposiumbirminghamuk810february1994 AT safetycriticalsystemsclub technologyandassessmentofsafetycriticalsystemsproceedingsofthesecondsafetycriticalsystemssymposiumbirminghamuk810february1994 AT safetycriticalsystemssymposiumbirmingham technologyandassessmentofsafetycriticalsystemsproceedingsofthesecondsafetycriticalsystemssymposiumbirminghamuk810february1994 AT redmillfelix technologyandassessmentofsafetycriticalsystems AT safetycriticalsystemsclub technologyandassessmentofsafetycriticalsystems AT safetycriticalsystemssymposiumbirmingham technologyandassessmentofsafetycriticalsystems |