• DocumentCode
    3623299
  • Title

    Formal specification and verification of a real-time kernel

  • Author

    J. Gorski;A. Wardzinski

  • Author_Institution
    Franco Polish Sch. of New Inf. & Commun. Technol., Poznan, Poland
  • fYear
    1994
  • Firstpage
    205
  • Lastpage
    211
  • Abstract
    The paper presents a case study of application of the VDM formal method to specification and verification of a simple real-time kernel. Specifications of selected external services of the kernel are presented. Then the verification methodology is introduced by demonstrating its basic steps in relation to verification of a selected function-a process waiting for a signal on a condition variable. The experience from the study is discussed.
  • Keywords
    "Formal specifications","Kernel","Synchronization","Concrete","Specification languages","Laboratories","Documentation","Programming profession","Software development management","Communications technology"
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Systems, 1994. Proceedings., Sixth Euromicro Workshop on
  • Print_ISBN
    0-8186-6340-5
  • Type

    conf

  • DOI
    10.1109/EMWRTS.1994.336841
  • Filename
    336841
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3623299