Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
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
Techniques for automatic verification of real-time systems
Techniques for automatic verification of real-time systems
Journal of the ACM (JACM)
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Assisting requirement formalization by means of natural language translation
Formal Methods in System Design
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Interval logics and their decision procedures: part I: an interval logic
Theoretical Computer Science
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
ASTRAL: An Assertion Language for Specifying Realtime Systems
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
The Temporal Rover and the ATG Rover
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Kronos: A Model-Checking Tool for Real-Time Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Automatic Translation of Natural Language System Specifications
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Forward and Backward Simulations for Timing-Based Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Processing natural language requirements
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
The power of reachability testing for timed automata
Theoretical Computer Science
Natural-Language Processing Support for Developing Policy-Governed Software Systems
TOOLS '01 Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)
Automated Analysis of Timing Information in UML Diagrams
Proceedings of the 19th IEEE international conference on Automated software engineering
A semantically-derived subset of English for hardware verification
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Object Analysis Patterns for Embedded Systems
IEEE Transactions on Software Engineering
Assurance patterns for distributed real-time embedded systems
Proceedings of the 27th international conference on Software engineering
User guidance for creating precise and accessible property specifications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Towards security monitoring patterns
Proceedings of the 2007 ACM symposium on Applied computing
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adding a methodological assistant to a protocol modeling environment
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Natural Language Specification of Performance Trees
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
Advances in Software Engineering
Lifelong verification of dynamic service compositions
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Expressing and organizing real-time specification patterns via temporal logics
Journal of Systems and Software
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
Scenario-based timing verification of multiprocessor embedded applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
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
Runtime monitoring composite web services through stateful aspect extension
Journal of Computer Science and Technology
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Patterns for Timed Property Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Systems and Software
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Integration of time issues into component-based applications
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A benchmark for evaluating software engineering techniques for improving medical processes
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Automatically discovering properties that specify the latent behavior of UML models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Applying restricted english grammar on automotive requirements: does it work? a case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Simulation based validation of quantitative requirements in service oriented architectures
Winter Simulation Conference
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
A toolchain for the detection of structural and behavioral latent system properties
Proceedings of the 14th international conference on Model driven engineering languages and systems
InRob: An approach for testing interoperability and robustness of real-time embedded software
Journal of Systems and Software
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Automated analysis of natural language properties for UML models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Formalization and analysis of real-time requirements: a feasibility study at BOSCH
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Validating time-constrained systems using UML statecharts patterns and timed automata observers
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Specification patterns from research to industry: a case study in service-based applications
Proceedings of the 34th International Conference on Software Engineering
i2MAP: an incremental and iterative modeling and analysis process
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Improving model checking with context modelling
Advances in Software Engineering
Towards domain-specific property languages: the ProMoBox approach
Proceedings of the 2013 ACM workshop on Domain-specific modeling
A rewriting logic approach to the formal specification and verification of web applications
Science of Computer Programming
A formal framework to specify and verify real-time properties on critical systems
International Journal of Critical Computer-Based Systems
Hi-index | 0.01 |
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al have developed qualitative specification patterns to facilitate the specification of critical properties, such as those that must be satisfied by embedded systems. Thus far, no analogous repository has been compiled for real-time specification patterns. This paper makes two main contributions: First, based on an analysis of timing-based requirements of several industrial embedded system applications, we created real-time specification patterns in terms of three commonly used real-time temporal logics. Second, as a means to further facilitate the understanding of the meaning of a specification, we offer a structured English grammar that includes support for real-time properties. We illustrate the use of the real-time specification patterns in the context of property specifications of a real-world automotive embedded system.