Regular Expressions for Run-Time Verification

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Run-time verification
regular expressions
temporal logic
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Sammapun, Usa
Contributor
Abstract

When specifying system requirements, we want a language that can express the requirements in the simplest and most intuitive form. An expressive and intuitive language makes specifying requirements easier and less error-prone. Although our MaC system provides an expressive language, called MEDL, to specify safety requirements, it is generally awkward to express an order of events with complex timing dependencies, timing constraints, and frequencies of events. MEDL-RE extends our MEDL language to include regular expression and three associated events to easily specify timing dependencies and its timing constraints. Our regular expression is unique in a way that a user can specify which events are relevant to a regular expression. This feature makes it easy when a user wants to specify a requirement of one specific component of a system.

Advisor
Date of presentation
2003-12-10
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:25:19.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Presented at the 1st International Workshop on Automated Technology for Verification and Analysis 2003 (ATVA 2003), Taipei, Taiwan, December 10-12, 2003.
Presented at the 1st International Workshop on Automated Technology for Verification and Analysis 2003 (ATVA 2003), Taipei, Taiwan, December 10-12, 2003.
Recommended citation
Collection