skip to content
The testability of distributed real-time systems Preview this item
ClosePreview this item
Checking...

The testability of distributed real-time systems

Author: Werner Schütz
Publisher: Boston : Kluwer Academic Publishers, ©1993.
Series: Kluwer international series in engineering and computer science, SECS 245.; Kluwer international series in engineering and computer science., Real-time systems.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Werner Schütz
ISBN: 0792393864 9780792393863
OCLC Number: 28421949
Description: xvi, 144 pages : illustrations ; 24 cm.
Contents: Foreword / H. Kopetz --
1. Introduction --
1.1. Real-Time Systems --
1.2. Testing --
1.3. Goals of this Book --
2. Requirements and Boundary Conditions for Testing --
2.1. Software Engineering --
2.2. The Influence of Distributedness --
2.3. The Influence of Real-Time Requirements --
2.4. Graphical Summary --
3. The Influence of the System Architecture --
3.1. The System Model --
3.2. The Probe Effect --
3.3. Achieving Deterministic Test Runs --
3.4. Test Effort --
3.5. Supplementary Remarks --
4. A Test Methodology for MARS --
4.1. Overview --
4.2. Task Test --
4.3. Cluster Test --
4.4. Interface Test --
4.5. System Test --
4.6. Field Test --
4.7. Managing the Test Process --
5. Environment Simulation --
5.1. Real-Time Simulation: A Survey --
5.2. Real-Time Simulation in MARS --
6. Experiments --
6.1. The "Rolling Ball" Application --
6.2. Reproducibility of Open-Loop Test Runs --
6.3. Modeling the Rolling Ball --
7. Tool Support --
7.1. Task Test --
7.2. Conducting Cluster Tests on the Host System --
7.3. A Test Driver Generator for Open-Loop Test Runs --
7.4. Environment Simulator Development --
8. Integration with the Design Environment --
8.1. Characteristics of MARDS --
8.2. Test Data Generation --
8.3. Support for Test Execution --
8.4. Test Result Evaluation --
8.5. Test Management --
8.6. Other considerations --
8.7. Summary: A List of Test Tools --
9. Testing Event-Triggered Systems --
10. Conclusions --
A An Overview of MARS and MARDS --
A.1. Overview --
A.2. The MARS System Architecture --
A.3. The MARS Design Environment MARDS.
Series Title: Kluwer international series in engineering and computer science, SECS 245.; Kluwer international series in engineering and computer science., Real-time systems.
Responsibility: by Werner Schütz ; foreword by H. Kopetz.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/28421949> # The testability of distributed real-time systems
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "28421949" ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1054968#Thing/real_time_computers> ; # Real time computers
   schema:about <http://id.worldcat.org/fast/1091219> ; # Real-time data processing
   schema:about <http://dewey.info/class/004.360287/e20/> ;
   schema:about <http://id.worldcat.org/fast/872601> ; # Computer software--Testing
   schema:about <http://experiment.worldcat.org/entity/work/data/1054968#Topic/computer_software_testing> ; # Computer software--Testing
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1993" ;
   schema:creator <http://viaf.org/viaf/70603789> ; # Werner Schütz
   schema:datePublished "1993" ;
   schema:description "Foreword / H. Kopetz -- 1. Introduction -- 1.1. Real-Time Systems -- 1.2. Testing -- 1.3. Goals of this Book -- 2. Requirements and Boundary Conditions for Testing -- 2.1. Software Engineering -- 2.2. The Influence of Distributedness -- 2.3. The Influence of Real-Time Requirements -- 2.4. Graphical Summary -- 3. The Influence of the System Architecture -- 3.1. The System Model -- 3.2. The Probe Effect -- 3.3. Achieving Deterministic Test Runs -- 3.4. Test Effort -- 3.5. Supplementary Remarks -- 4. A Test Methodology for MARS -- 4.1. Overview -- 4.2. Task Test -- 4.3. Cluster Test -- 4.4. Interface Test -- 4.5. System Test -- 4.6. Field Test -- 4.7. Managing the Test Process -- 5. Environment Simulation -- 5.1. Real-Time Simulation: A Survey -- 5.2. Real-Time Simulation in MARS -- 6. Experiments -- 6.1. The "Rolling Ball" Application -- 6.2. Reproducibility of Open-Loop Test Runs -- 6.3. Modeling the Rolling Ball -- 7. Tool Support -- 7.1. Task Test -- 7.2. Conducting Cluster Tests on the Host System -- 7.3. A Test Driver Generator for Open-Loop Test Runs -- 7.4. Environment Simulator Development -- 8. Integration with the Design Environment -- 8.1. Characteristics of MARDS -- 8.2. Test Data Generation -- 8.3. Support for Test Execution -- 8.4. Test Result Evaluation -- 8.5. Test Management -- 8.6. Other considerations -- 8.7. Summary: A List of Test Tools -- 9. Testing Event-Triggered Systems -- 10. Conclusions -- A An Overview of MARS and MARDS -- A.1. Overview -- A.2. The MARS System Architecture -- A.3. The MARS Design Environment MARDS."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1054968> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1054968#Series/kluwer_international_series_in_engineering_and_computer_science> ; # Kluwer international series in engineering and computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1054968#Series/the_kluwer_international_series_in_engineering_and_computer_science_real_time_systems> ; # The Kluwer international series in engineering and computer science ; Real-time systems
   schema:name "The testability of distributed real-time systems"@en ;
   schema:productID "28421949" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/28421949#PublicationEvent/boston_kluwer_academic_publishers_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1054968#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0820/93026518-t.html> ;
   schema:url <http://www.gbv.de/dms/bowker/toc/9780792393863.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780792393863> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9355943> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/28421949> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/1054968#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/1054968#Series/kluwer_international_series_in_engineering_and_computer_science> # Kluwer international series in engineering and computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/28421949> ; # The testability of distributed real-time systems
   schema:name "Kluwer international series in engineering and computer science." ;
   schema:name "Kluwer international series in engineering and computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1054968#Series/the_kluwer_international_series_in_engineering_and_computer_science_real_time_systems> # The Kluwer international series in engineering and computer science ; Real-time systems
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/28421949> ; # The testability of distributed real-time systems
   schema:name "The Kluwer international series in engineering and computer science ; Real-time systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/1054968#Thing/real_time_computers> # Real time computers
    a schema:Thing ;
   schema:name "Real time computers" ;
    .

<http://id.worldcat.org/fast/1091219> # Real-time data processing
    a schema:Intangible ;
   schema:name "Real-time data processing"@en ;
    .

<http://id.worldcat.org/fast/872601> # Computer software--Testing
    a schema:Intangible ;
   schema:name "Computer software--Testing"@en ;
    .

<http://viaf.org/viaf/70603789> # Werner Schütz
    a schema:Person ;
   schema:birthDate "1961" ;
   schema:familyName "Schütz" ;
   schema:givenName "Werner" ;
   schema:name "Werner Schütz" ;
    .

<http://worldcat.org/isbn/9780792393863>
    a schema:ProductModel ;
   schema:isbn "0792393864" ;
   schema:isbn "9780792393863" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.