Specifying real-time properties with metric temporal logic
Real-Time Systems
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Journal of the ACM (JACM)
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Theoretical Computer Science
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Semantics of Timed Message Sequence Charts
Cybernetics and Systems Analysis
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
A Graphical Interval Logic Toolset for Verifying Concurrent Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
The Real-Time Graphical Interval Logic Toolset
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Playing with Time: On the Specification and Execution of Time-Enriched LSCs
MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
A scenario based notation for specifying temporal properties
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference
Model Checking Markov Chains with Actions and State Labels
IEEE Transactions on Software Engineering
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
Probabilistic Model-Checking Support for FMEA
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Towards a Graphical Tool for Refining User to System Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
A Timed Extension of Property Sequence Chart
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
IEEE Transactions on Software Engineering
Extending PSC for Monitoring the Timed Properties in Composite Services
APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
Expressing and organizing real-time specification patterns via temporal logics
Journal of Systems and Software
CHARMY: A Framework for Designing and Verifying Architectural Specifications
IEEE Transactions on Software Engineering
Monitoring probabilistic properties
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Patterns for Timed Property Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Syntax for Probabilistic Timed Property Sequence Charts
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Timed sequence diagrams and tool-based analysis: a case study
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Monitoring architectural properties in dynamic component-based systems
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
An effective sequential statistical test for probabilistic monitoring
Information and Software Technology
RV'10 Proceedings of the First international conference on Runtime verification
Statistical detection of QoS violations based on CUSUM control charts
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Hi-index | 0.00 |
Property Sequence Chart (PSC) is a novel scenario-based notation, which has been recently proposed to represent temporal properties of concurrent systems. This language balances expressive power and simplicity of use. However, the current version of PSC just represents the order of events and lacks the ability to express timing properties. In real-time systems, it is well known that these timing requirements are very important and need to be specified clearly. Thus, in this paper, we define timed PSC (TPSC) and give the semantics of TPSC in terms of Timed Buchi Automaton (TBA). Then, we measure the expressive power of TPSC based on the recently proposed real-time specification patterns. Finally, we illustrate the use of TPSC in the context of a web service application which requires timing requirements.