View in EDS

Real-Time Specification Using Lucid.

Saved in:
Bibliographic Details
Title: Real-Time Specification Using Lucid.
Authors: Skillicorn, D. B.1, Glasgow, J. I.1
Source: IEEE Transactions on Software Engineering. Feb89, Vol. 15 Issue 2, p221-229. 9p. 17 Diagrams.
Subjects: Lucid (Computer program language), Programming languages, Computer programming, Real-time computing, Electronic data processing, Software engineering
Abstract: We present a methodology for transforming a functional specification written in Lucid, to an equivalent specification that captures its real-time properties. The enhanced specification consists of a set of equations. These equations can be solved for several properties, including execution time and external requirements, or they may simply be checked for the existence of a solution. Lucid has a set of meaning-preserving transformations, and a proof system corresponding to a behavioral semantics has been constructed. Both of these tools can be used to reason about properties of the specification. The specification is executable and can be used as a prototype for the system being specified. Among other benefits, this allows very precise location of places where real-time constraints cannot be met. We illustrate with an example. It is possible to express architectural constraints within the same formal framework. Thus this type of specification can be used to guide the development of new real-time systems. [ABSTRACT FROM AUTHOR]
Copyright of IEEE Transactions on Software Engineering is the property of IEEE Computer Society and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 14315889
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Real-Time Specification Using Lucid.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Skillicorn%2C+D%2E+B%2E%22">Skillicorn, D. B.</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Glasgow%2C+J%2E+I%2E%22">Glasgow, J. I.</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Software+Engineering%22">IEEE Transactions on Software Engineering</searchLink>. Feb89, Vol. 15 Issue 2, p221-229. 9p. 17 Diagrams.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Lucid+%28Computer+program+language%29%22">Lucid (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Real-time+computing%22">Real-time computing</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: We present a methodology for transforming a functional specification written in Lucid, to an equivalent specification that captures its real-time properties. The enhanced specification consists of a set of equations. These equations can be solved for several properties, including execution time and external requirements, or they may simply be checked for the existence of a solution. Lucid has a set of meaning-preserving transformations, and a proof system corresponding to a behavioral semantics has been constructed. Both of these tools can be used to reason about properties of the specification. The specification is executable and can be used as a prototype for the system being specified. Among other benefits, this allows very precise location of places where real-time constraints cannot be met. We illustrate with an example. It is possible to express architectural constraints within the same formal framework. Thus this type of specification can be used to guide the development of new real-time systems. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of IEEE Transactions on Software Engineering is the property of IEEE Computer Society and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=14315889
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/32.21748
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 9
        StartPage: 221
    Subjects:
      – SubjectFull: Lucid (Computer program language)
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Computer programming
        Type: general
      – SubjectFull: Real-time computing
        Type: general
      – SubjectFull: Electronic data processing
        Type: general
      – SubjectFull: Software engineering
        Type: general
    Titles:
      – TitleFull: Real-Time Specification Using Lucid.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Skillicorn, D. B.
      – PersonEntity:
          Name:
            NameFull: Glasgow, J. I.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb89
              Type: published
              Y: 1989
          Identifiers:
            – Type: issn-print
              Value: 00985589
          Numbering:
            – Type: volume
              Value: 15
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: IEEE Transactions on Software Engineering
              Type: main
ResultId 1