Formal Verification as a Design Tool - The Transponder Lock Example (Englisch)
- Neue Suche nach: Budde, R.
- Neue Suche nach: Merceron, A.
- Neue Suche nach: Sylla, K.-H.
- Neue Suche nach: Austrian Research Centre Seibersdorf
- Neue Suche nach: Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste
- Neue Suche nach: Budde, R.
- Neue Suche nach: Merceron, A.
- Neue Suche nach: Sylla, K.-H.
- Neue Suche nach: Schoitsch, E.
- Neue Suche nach: Austrian Research Centre Seibersdorf
- Neue Suche nach: Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste
In:
Computer safety, reliability and security
;
73-82
;
1997
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Formal Verification as a Design Tool - The Transponder Lock Example
-
Beteiligte:Budde, R. ( Autor:in ) / Merceron, A. ( Autor:in ) / Sylla, K.-H. ( Autor:in ) / Schoitsch, E. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste
-
Kongress:International conference; 15th, Computer safety, reliability and security ; 1996 ; Vienna
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsdatum:01.01.1997
-
Format / Umfang:10 pages
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
Systematic Design of Fault-Tolerant ComputersAvizienis, A. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 21
-
Formal Verification of Safety Requirements on Complex SystemsBernardeschi, C. / Fantechi, A. / Gnesi, S. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 31
-
Formal Specification of Safety-Critical Software with Z and Real-Time CSPHeisel, M. / Suehl, C. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 31
-
Formal specification of safety-critical software with Z und real-time CSPHeisel, M. / Sühl, C. et al. | 1996
- 46
-
Safety Analysis Based on Object-oriented Modelling of Critical SystemsGorski, J. / Nowicki, B. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 61
-
A Processor Architecture Designed to Facilitate the Safety Certification of Hard Real Time SystemsMeske, H.-P. / Halang, W. A. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 61
-
A processor architecture designed to faciliate the safety certification of hard real time systemsMeske, H.P. / Halang, W.A. et al. | 1996
- 73
-
Formal Verification as a Design Tool - The Transponder Lock ExampleBudde, R. / Merceron, A. / Sylla, K.-H. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 83
-
Acceptance Criteria for Critical Software Based on Testability Estimates and Test ResultsBertolino, A. / Strigini, L. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 95
-
Developing Dependable Software Using Prototyping and Test-DiversityKuhn, W. / Selami, H. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 105
-
Software Reliability Models and Test CoverageCiciani, B. / Pasquini, A. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 115
-
Defining the Unit Testing Level of Synchronous Data Flow ProgramsThrevenod-Fosse, P. / Mazuet, C. / Crouzet, Y. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 126
-
Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?Voas, J. / Charron, F. / Miller, K. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 136
-
Modeling Software Dependability Growth under Input Partition TestingChen, Y. / Arlat, J. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 149
-
An Holistic Approach to Dependability?Pasquini, A. / Goerke, W. / Kanoun, K. / Rizzo, A. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 157
-
Software-Based Critical SystemsLaprie, J.-C. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 173
-
Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture-Analysis of Safety and AvailabilityGoble, W. M. / Bukowski, J. V. / Brombacher, A. C. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 183
-
Failure Risk Estimation via Markov Software Usage ModelsGutjahr, W. J. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 193
-
Design Methodologies and Systems SafetySniezek, D. E. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 205
-
Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical SystemsEriksen, R. / Andersen, T. / Feyling, C. / Petersen, H.-J. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 219
-
Safety Analysis and Evaluation of an Air Traffic Control Computing SystemFota, N. / Kaaniche, M. / Kanoun, K. / Peytavin, A. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 230
-
Creating Markov Models for Applications in the Process IndustryHoutermans, M. J. M. / Goble, W. M. / Brombacher, A. C. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 243
-
Specifying Railway Interlocking Requirements for Practical UseEriksson, L.-H. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 250
-
SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability OverviewAprea, G. / Colantuoni, P. / Firpo, P. / Lido, R. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 266
-
A Safe, Reliable Control and Supervisory System for Railway NetworksRowden, N. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 276
-
Assessment and Certification Requirements in the European Railway IndustryMitra, S. / Shannon, I. D. R. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 289
-
Failure Classification Schemes for Analysing System DependabilityLoftus, C. / Long, F. / Pugh, D. / Pyle, I. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 301
-
Human Factors in High Integrity Software Development: A Field StudyGriffyth, J. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 311
-
Human Factors in Safety-Critical Systems: An Underestimated Contribution?Westerman, S. J. / Hockey, G. R. J. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 322
-
PERE: Evaluation and Improvement of Dependable ProcessesBloomfield, R. / Bowers, J. / Emmet, L. / Viller, S. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 332
-
Safety and Technology TransferZurakowski, Z. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 345
-
Safety Case for the NERC Air Traffic Control SystemVisram, S. / Artner, W. / Marsden, P. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 365
-
Integrity Levels and their Application to Road Transport SystemsJesty, P. H. / Hobley, K. M. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 375
-
Legal Sufficiency of Testing ProcessesTurner, C. S. / Richardson, D. J. / King, J. L. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 389
-
Application of Formal Methods in the Scope of IT-SecurityKoob, F. / Ullmann, M. / Wittmann, S. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 395
-
Reliability and Security in Communication Software: PBX Systems and CSTA ApplicationsStoekl, H. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 404
-
Byzantine Agreement with Limited AuthenticationBorcherding, M. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 414
-
Implementation of a Security Policy in Distributed Safety Related I&C Systems - A Case StudyDafelmair, F. J. / Austrian Research Centre Seibersdorf / Austria; Bundesministerium fur Wissenschaft, Verkehr und Kunste et al. | 1997
- 414
-
Implementation of a security policy in distributed safety related I&C System. A case studyDafelmair, F.J. et al. | 1996