Title: Real-time System Specifications and their Automatic Analysis
Abstract: The recognition of the important concepts which underlay the operation of real-time systems serves a double purpose in the task of specifying such systems. Experience with ordinary programming languages shows that a program is improved if the language embodies the concepts important to the application. So too with specifications: the correct conceptual framework not only helps the specifier to think coherently, but the formality of a language embodying these concepts allows deeper machine analysis of the specification. Some such concepts are isolated and defined within the SPECK specification technique. This specification language and the implementation of an interactive analyser for it are described, and the depth and limitations of the analysis discussed.
Publication Year: 1978
Publication Date: 1978-01-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot