SAFECOMP '93: the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
London u.a.
Springer
1993
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XV, 388 S. graph. Darst. |
| ISBN: | 3540198385 0387198385 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009253180 | ||
| 003 | DE-604 | ||
| 005 | 20170825 | ||
| 007 | t | ||
| 008 | 940314s1993 d||| |||| 10||| eng d | ||
| 016 | 7 | |a 940072408 |2 DE-101 | |
| 020 | |a 3540198385 |9 3-540-19838-5 | ||
| 020 | |a 0387198385 |9 0-387-19838-5 | ||
| 035 | |a (OCoLC)633119641 | ||
| 035 | |a (DE-599)BVBBV009253180 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-29T |a DE-83 |a DE-188 | ||
| 084 | |a DAT 265f |2 stub | ||
| 084 | |a DAT 450f |2 stub | ||
| 111 | 2 | |a SAFECOMP |n 12 |d 1993 |c Posen |j Verfasser |0 (DE-588)2133976-4 |4 aut | |
| 245 | 1 | 0 | |a SAFECOMP '93 |b the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 |c ed. by Janusz Gorski |
| 264 | 1 | |a London u.a. |b Springer |c 1993 | |
| 300 | |a XV, 388 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Datensicherung |0 (DE-588)4011144-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersicherheit |0 (DE-588)4274324-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Posen |2 gnd-content | |
| 689 | 0 | 0 | |a Computersicherheit |0 (DE-588)4274324-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Datensicherung |0 (DE-588)4011144-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Górski, Janusz |d 1948- |e Sonstige |0 (DE-588)173654401 |4 oth | |
| 710 | 2 | |a Franco-Polish School of New Information and Communication Technologies (Poznán) |e Sonstige |0 (DE-588)2133880-2 |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=006158117&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006158117 | ||
Datensatz im Suchindex
| _version_ | 1804123702002974720 |
|---|---|
| adam_text | Contents
Invited paper:
T. Anderson(UK):
Safety
—
Status and
Perspectives
............................................................... 3
Session
1:
Formal Methods and Models
...................... 7
Chair: G. Cleland (UK)
C.
Bernardeschi,
L
.
Simoncini, A. Bondavalli (I): Data Flow
Control Systems: an Example of Safety Validation
............ 9
G. Bruns, S.
Anderson (UK): Validating Safety Models with
Fault Trees
................................................................ 21
Z. Liu (UK),
ƒ.
Nordahl, E. V. Serensen (DK): Composition and
Refinement of Probabilistic Real-Time Systems
................ 31
P. Collinson, S.
Oppert,
S.
Hughes (UK): The Application of
Formal Methods for the Redevelopment of a Laboratory
Information Managment System
................................... 41
Session
2:
Applications
............................................... 51
Chair: I. C. Smith (UK)
W.A. Halang, (D) J. Scheepstra (NL): PLC-Implementation of
Emergency Shut-Down Systems
.................................... 53
G. A. Mutone (USA), M.
Rothfelder
(D):
The Fast Cost
Effective Design and Concurrent Certification of the Safe
Computer for a Real Time Train Control Application
........ 63
H.E. Rhody (USA), V. Manoni (I), J.R. Hoelscher (USA): Design
and Analysis of a Failsafe Algorithm for Solving Boolean
Equations
.................................................................. 73
Session
3:
Safety Assessment
...................................... 83
Omir: G.
Rabe (D)
M.J.P.
imn
der Meuten (NL),
T. Stålhane
(N), B.
Cole (UK):
Programmable Electronic System Analysis Technique in
Safety Critical Applications
.......................................... 85
C.
ƒ.
Goring (UK): Safety Assessment
—
The Critical System
Suppliers View
........................................................... 91
viii
Contents
M.
Chudkigh (UK): Hazard Analysis Using HAZOP: A Case
Study
.. .....................................................................
Session
4:
Safety Analysis
........................................... 109
Chair: F. Koornneef (NL)
S.S.
Dhanjal, R. Fink (UK): Safety Analysis of Clinical
Laboratory Systems
....................................................
HI
M.F. Chudkigh, J.N. Clare (UK): The Benefits ot
SUSI:
Safety
Analysis of User System Interaction
............................... 123
Panel Session: Technology Transfer Between
Academia
and Industry
............................................ 133
Moderntor:
F. Redmill (UK)
F. Redmill (UK): Issues Affecting Technology Transfer and
Experience with a Community Club
.............................. 135
¡.-P. Baimtre (F): Subsidiaries and Start-up Spin-off
Companies of Inria
..................................................... 142
IV. Cellary (PL): Human Medium in Technology Transfer
..... 145
ß. Malcolm
(UK): Technology Transfer
—
from Purpose to
Practice
..................................................................... 147
Invited Paper: J.-C.
Uprie (F):
Dependability: from
Concepts to Limits
...................................................... 157
Session
5:
Verification and Validation
......................... 169
Chair: B.
Runge (DK)
N.
/.
Ward (UK): The Rigorous Retrospective Static Analysis
of the Sizewell B Primary Protection System Software
..... 171
B.
Stamm,
R.
Baumann,
M.
Kündig-Herzog
(CH): A
Safety
Critical Computer System in a Railway Application
.......... 182
Session
6:
Testing
....................................................... 195
Chair: B. Cronhjort (S)
/.
M.
Voas,
С. С.
Michael,
К.
W.
Miller (USA): Confidently
Assessing a Zero Probability of Software Failure
.............. 197
/.
M. Galkin
(Belanti.): A
Knowledge-Based Approach to
Program Testing and Analysis
...................................... 207
Session
7:
Dependable Software
................................. 217
Chair: W. Ehrenberger (D)
A.
Sneed,
R.
de Lemos,
T.
Anderson (UK): Robust Requirements
Specifications for Safety-Critical Svstems
........................ 219
Contents ix
M. Kaâniche,
К.
Kamun (F): Software
Failure Data Analysis of
two Successive Generations of a Switching System
.......... 230
ƒ.
Rainer
(A): Software validation with CASE-TOOLS
........... 240
Session
8:
Reliability Issues
........................................ 251
Chair: A. Weinert (D)
W.
Kuhn,
E.
Schoitsch (A): Dependability of Scaleable,
Distributed Systems: Communication Strategies for
Redundant Processes
.................................................. 253
R. E. Seviora (Canada): Real-Time Detection of Failures of
Reactive Systems
........................................................ 265
H. Krawczyk, S. Al-Karaawy (PL): Reliability and Safety
Analysis of Hierarchical Voting Schemes
........................ 276
Session
9:
Languages
.................................................. 287
Chair: W.M.
Turski
(PL)
G. Sen (India), J.
Brummer
(D):
Designing a High-level
Language for Safety Systems
........................................ 289
P. Molinaro, O.
H. Roux (F):
Oreste: a
Reliable Reactive
Real-
Time
Language
.......................................................... 302
Invited Paper:
C.E. Landwehr (USA):
How Far Can You
Trust a Computer?
................................................... 313
Session
10:
Security
.................................................... 327
Chair: P. Daniel (UK)
L.
Mé (F):
Security Audit Trail Analysis Using Genetic
Algorithms
................................................................ 329
R.
Posch
(A): MRSA—
a New Public Key Encription Method
.. 341
M.
Witte,
W.
A. Halang (D): A Virus-Resistant Network
Interface
................................................................... 349
Session
11:
Reactive Systems
...................................... 359
Chair: E. Schoitsch (A)
H. Fierz, H.
Müller,
S.
Netos
(CH):
CIP
-
Communicating
Interacting Processes: A Formal Method for the
Development of Reactive Systems
................................. 361
M. Colnarič
(Slovenia), W.A. Halang (D): Exception Handling
and Predictability in Hard Real-Time Systems
................. 371
M.B.
Schrijnen,
M.R.
Inggs (South Africa): Development of a
Fail-Safe Data Transmission System for Use in Life-Critical
Applications
.............................................................. 379
Author Index
................................................................ 389
|
| any_adam_object | 1 |
| author_GND | (DE-588)173654401 |
| author_corporate | SAFECOMP Posen |
| author_corporate_role | aut |
| author_facet | SAFECOMP Posen |
| author_sort | SAFECOMP Posen |
| building | Verbundindex |
| bvnumber | BV009253180 |
| classification_tum | DAT 265f DAT 450f |
| ctrlnum | (OCoLC)633119641 (DE-599)BVBBV009253180 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01863nam a2200433 c 4500</leader><controlfield tag="001">BV009253180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170825 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940314s1993 d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940072408</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540198385</subfield><subfield code="9">3-540-19838-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387198385</subfield><subfield code="9">0-387-19838-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633119641</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009253180</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 265f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 450f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SAFECOMP</subfield><subfield code="n">12</subfield><subfield code="d">1993</subfield><subfield code="c">Posen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2133976-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">SAFECOMP '93</subfield><subfield code="b">the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993</subfield><subfield code="c">ed. by Janusz Gorski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 388 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="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">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</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">1993</subfield><subfield code="z">Posen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-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">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">Górski, Janusz</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)173654401</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Franco-Polish School of New Information and Communication Technologies (Poznán)</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2133880-2</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=006158117&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-006158117</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Posen gnd-content |
| genre_facet | Konferenzschrift 1993 Posen |
| id | DE-604.BV009253180 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:33:58Z |
| institution | BVB |
| institution_GND | (DE-588)2133976-4 (DE-588)2133880-2 |
| isbn | 3540198385 0387198385 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006158117 |
| oclc_num | 633119641 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-29T DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-29T DE-83 DE-188 |
| physical | XV, 388 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| spelling | SAFECOMP 12 1993 Posen Verfasser (DE-588)2133976-4 aut SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 ed. by Janusz Gorski London u.a. Springer 1993 XV, 388 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Datensicherung (DE-588)4011144-1 gnd rswk-swf Computersicherheit (DE-588)4274324-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Posen gnd-content Computersicherheit (DE-588)4274324-2 s DE-604 Datensicherung (DE-588)4011144-1 s Górski, Janusz 1948- Sonstige (DE-588)173654401 oth Franco-Polish School of New Information and Communication Technologies (Poznán) Sonstige (DE-588)2133880-2 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006158117&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 Datensicherung (DE-588)4011144-1 gnd Computersicherheit (DE-588)4274324-2 gnd |
| subject_GND | (DE-588)4011144-1 (DE-588)4274324-2 (DE-588)1071861417 |
| title | SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 |
| title_auth | SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 |
| title_exact_search | SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 |
| title_full | SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 ed. by Janusz Gorski |
| title_fullStr | SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 ed. by Janusz Gorski |
| title_full_unstemmed | SAFECOMP '93 the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 ed. by Janusz Gorski |
| title_short | SAFECOMP '93 |
| title_sort | safecomp 93 the 12th international conference on computer safety reliability and security poznan kiekrz poland 27 29 october 1993 |
| title_sub | the 12th International Conference on Computer Safety, Reliability and Security, Poznań-Kiekrz, Poland, 27 - 29 October 1993 |
| topic | Datensicherung (DE-588)4011144-1 gnd Computersicherheit (DE-588)4274324-2 gnd |
| topic_facet | Datensicherung Computersicherheit Konferenzschrift 1993 Posen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006158117&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT safecompposen safecomp93the12thinternationalconferenceoncomputersafetyreliabilityandsecuritypoznankiekrzpoland2729october1993 AT gorskijanusz safecomp93the12thinternationalconferenceoncomputersafetyreliabilityandsecuritypoznankiekrzpoland2729october1993 AT francopolishschoolofnewinformationandcommunicationtechnologiespoznan safecomp93the12thinternationalconferenceoncomputersafetyreliabilityandsecuritypoznankiekrzpoland2729october1993 |