skip to content
Timing analysis of real-time software : a practical approach to the specification and design of real-time ... Preview this item
ClosePreview this item
Checking...

Timing analysis of real-time software : a practical approach to the specification and design of real-time ...

Author: L Motus; M G Rodd
Publisher: Oxford, U.K. ; New York : Pergamon, 1994.
Edition/Format:   eBook : Document : English : 1st edView all editions and formats
Summary:

This text addresses fundamental design issues facing engineers when developing the software for real-time computer-based control systems. It focuses on the use of modelling techniques based on the  Read more...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Motus, L.
Timing analysis of real-time software.
Oxford, U.K. ; New York : Pergamon, 1994
(DLC) 94028551
(OCoLC)30701167
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: L Motus; M G Rodd
ISBN: 9780080983967 0080983960
OCLC Number: 681060502
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xiii, 212 pages) : illustrations
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: ""Front Cover""; ""Timing Analysis of Real-Time Software""; ""Copyright Page""; ""Table of Contents""; ""Acknowledgements""; ""PREFACE""; ""Chapter 1. Characteristics of Real-Time Software""; ""1.1 Classes of Programs""; ""1.2 Embedded Systems and Real-Time Systems""; ""1.3 Influencing Factors""; ""1.4 Hierarchy of Virtual Machines""; ""1.5 Characteristics of Software for Embedded Systems""; ""Chapter 2. Time Concepts in Embedded Software""; ""2.1 Understanding Real-Time""; ""2.2 Some Pragmatic Terms used in Software Practice""; ""2.3 What are ""Timing Properties""?"" ""2.4 The Philosophy of Time""""2.5 Examples of using Different Time Concepts in Software""; ""2.6 Mixed use of Multiple Time Concepts""; ""2.7 Summary""; ""Chapter 3. A Review of Embedded Software Description Methods""; ""3.1 Review Strategy""; ""3.2 Specification Methods and Tools based on a Bottom-Up Approach""; ""3.3 Specification Methods and Tools based on a Top-Down Approach""; ""3.4 Formalisms in CASE Systems""; ""3.5 Evolutionary Trends in CASE Tools for Real-Time Applications""; ""3.6 Summary""; ""Chapter 4. The Q-Model""; ""4.1 Basics for Developing a Computational Model"" ""4.2 Formal Definition of a Process""""4.3 Formal Definition of Process Interaction""; ""4.4 Description of a System in the Q-Model""; ""Chapter 5. Representation of the Q-Model""; ""5.1 The Inner Structure of a Process""; ""5.2 Practical Problems of Synchronisation and Communication""; ""5.3 Summary of Attributes of Processes and Channels""; ""Chapter 6. Describing Systems with the Q-Model: Some Examples""; ""6.1 Software for a Direct Digital Controller""; ""6.2 The Five Dining Philosophers""; ""6.3 Conclusions""; ""Chapter 7. Analysis of a System Described by the Q-Model"" ""7.1 Checking Separate Elements of a Specification""""7.2 Checking Communications between two Processes""; ""7.3 Checking Groups of Communicating Processes""; ""7.4 Conclusions""; ""Chapter 8. Towards A Case Environment Based on the Q-Model""; ""8.1 Goals of the Proposed Environment""; ""8.2 A Software Development Methodology""; ""8.3 Overall Structure of the New Environment""; ""8.4 CONRAD: An Embedded Software Specification Environment""; ""8.5 Conclusions""; ""Chapter 9. A Case Study: Specifying a Communications Protocol""; ""9.1 The LLC Protocol --
A Brief Introduction"" ""9.2 The Type-3 Standard""""9.3 Specifying LLC with CONRAD""; ""9.4 Conclusions""; ""APPENDICES ""; ""A. A Brief Comparison of Petri-Nets and Q-Model""; ""B. Proofs of Propositions""; ""C. The Q-Model and a First-Order Predicate Calculus""; ""References""; ""Index""
Responsibility: by Leo Motus and Michael G. Rodd.

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/681060502> # Timing analysis of real-time software : a practical approach to the specification and design of real-time ...
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "681060502" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/52593620#Place/oxford_u_k> ; # Oxford, U.K.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/52593620#Topic/temps_reel_informatique> ; # Temps réel (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/52593620#Topic/systeme_en_temps_reel> ; # système en temps réel
   schema:about <http://id.worldcat.org/fast/1091219> ; # Real-time data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/52593620#Topic/programmation_systeme_en_temps_reel> ; # programmation--système en temps réel
   schema:about <http://experiment.worldcat.org/entity/work/data/52593620#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
   schema:about <http://experiment.worldcat.org/entity/work/data/52593620#Thing/real_time_computers> ; # Real time computers
   schema:about <http://dewey.info/class/005.2/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/52593620#Topic/sistemas_operacionais_computadores> ; # Sistemas operacionais (computadores)
   schema:about <http://experiment.worldcat.org/entity/work/data/52593620#Topic/logiciel_developpement_systeme_en_temps_reel> ; # logiciel--développement--système en temps réel
   schema:bookEdition "1st ed." ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/94648760> ; # M. G. Rodd
   schema:creator <http://viaf.org/viaf/32095606> ; # L. Motus
   schema:datePublished "1994" ;
   schema:description """Front Cover""; ""Timing Analysis of Real-Time Software""; ""Copyright Page""; ""Table of Contents""; ""Acknowledgements""; ""PREFACE""; ""Chapter 1. Characteristics of Real-Time Software""; ""1.1 Classes of Programs""; ""1.2 Embedded Systems and Real-Time Systems""; ""1.3 Influencing Factors""; ""1.4 Hierarchy of Virtual Machines""; ""1.5 Characteristics of Software for Embedded Systems""; ""Chapter 2. Time Concepts in Embedded Software""; ""2.1 Understanding Real-Time""; ""2.2 Some Pragmatic Terms used in Software Practice""; ""2.3 What are ""Timing Properties""?"""@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/52593620> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/30701167> ;
   schema:name "Timing analysis of real-time software : a practical approach to the specification and design of real-time ..."@en ;
   schema:productID "681060502" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/681060502#PublicationEvent/oxford_u_k_new_york_pergamon_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/52593620#Agent/pergamon> ; # Pergamon
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3008773> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/30701167.html> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=633039> ;
   schema:url <http://site.ebrary.com/id/10744538> ;
   schema:url <http://books.google.com/books?id=Y3FYAAAAYAAJ> ;
   schema:url <http://www.123library.org/book_details/?id=104914> ;
   schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3008773> ;
   schema:workExample <http://worldcat.org/isbn/9780080983967> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/681060502> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/52593620#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
   schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/52593620#Topic/logiciel_developpement_systeme_en_temps_reel> # logiciel--développement--système en temps réel
    a schema:Intangible ;
   schema:name "logiciel--développement--système en temps réel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/52593620#Topic/programmation_systeme_en_temps_reel> # programmation--système en temps réel
    a schema:Intangible ;
   schema:name "programmation--système en temps réel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/52593620#Topic/sistemas_operacionais_computadores> # Sistemas operacionais (computadores)
    a schema:Intangible ;
   schema:name "Sistemas operacionais (computadores)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/52593620#Topic/systeme_en_temps_reel> # système en temps réel
    a schema:Intangible ;
   schema:name "système en temps réel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/52593620#Topic/temps_reel_informatique> # Temps réel (informatique)
    a schema:Intangible ;
   schema:name "Temps réel (informatique)"@en ;
    .

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

<http://viaf.org/viaf/32095606> # L. Motus
    a schema:Person ;
   schema:familyName "Motus" ;
   schema:givenName "L." ;
   schema:name "L. Motus" ;
    .

<http://viaf.org/viaf/94648760> # M. G. Rodd
    a schema:Person ;
   schema:familyName "Rodd" ;
   schema:givenName "M. G." ;
   schema:name "M. G. Rodd" ;
    .

<http://worldcat.org/isbn/9780080983967>
    a schema:ProductModel ;
   schema:isbn "0080983960" ;
   schema:isbn "9780080983967" ;
    .

<http://www.worldcat.org/oclc/30701167>
    a schema:CreativeWork ;
   rdfs:label "Timing analysis of real-time software." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/681060502> ; # Timing analysis of real-time software : a practical approach to the specification and design of real-time ...
    .

<http://www.worldcat.org/title/-/oclc/681060502>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/681060502> ; # Timing analysis of real-time software : a practical approach to the specification and design of real-time ...
   schema:dateModified "2017-12-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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