Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)

2022
OriginalPaper
Chapter

Published in:

Authors: Sarat Chandra Varanasi; Joaquín Arias; Elmer Salazar; Fang Li; Kinjal Basu; Gopal Gupta
Published in: Practical Aspects of Declarative Languages
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The chapter explores the modeling and verification of real-time systems using the Event Calculus and s(CASP). It introduces the Easy Approach to Requirement Syntax (EARS) for specifying requirements and demonstrates how these requirements can be directly translated into Event Calculus. The Train-Gate-Controller system is used as a case study to showcase the practical application of these methods. The chapter highlights the advantages of using s(CASP) for real-time system modeling, including its scalability and ability to handle dense real-valued time. It also discusses the verification of safety and liveness properties using s(CASP) queries. The chapter concludes with potential future work, including the automatic derivation of timed automata from EC/s(CASP) descriptions and the generation of implementations from requirement specifications.

AI Generated

This summary of the content was generated with the help of AI.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter Decomposition-Based Job-Shop Scheduling with Constrained Clustering

next chapter Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs

Metadata
Footnotes
Literature

Title: Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Authors: Sarat Chandra Varanasi
Joaquín Arias
Elmer Salazar
Fang Li
Kinjal Basu
Gopal Gupta
Publisher: Springer International Publishing
Book: Practical Aspects of Declarative Languages
Print ISBN: 978-3-030-94478-0

Electronic ISBN: 978-3-030-94479-7

Copyright Year: 2022
DOI: https://doi.org/10.1007/978-3-030-94479-7_12

This content is only visible if you are logged in and have the appropriate permissions.