Real-time specification patterns

S Konrad, BHC Cheng - … of the 27th international conference on …, 2005 - dl.acm.org
Embedded systems are pervasive and frequently used for critical systems with time-
dependent functionality. Dwyer et al have developed qualitative specification patterns to …

Formalization of natural language requirements into temporal logics: a survey

I Buzhinsky - 2019 IEEE 17th international conference on …, 2019 - ieeexplore.ieee.org
One of the challenges of requirements engineering is the fact that requirements are often
formulated in natural language. This represents difficulty if requirements must be processed …

Specification patterns for probabilistic quality properties

L Grunske - Proceedings of the 30th international conference on …, 2008 - dl.acm.org
Probabilistic verification techniques are a powerful means to ensure that a software-
intensive system fulfills its quality requirements. To apply these techniques an accurate …

Translating structured english to robot controllers

H Kress-Gazit, GE Fainekos, GJ Pappas - Advanced Robotics, 2008 - Taylor & Francis
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and
motion planning problems for mobile robots. One of the main attributes of LTL is its close …

Method of creating a requirement description for testing an embedded system

S Burmester, K Lamberg, C Wewetzer… - US Patent …, 2011 - Google Patents
The invention relates to a method of creating a requirement description for an embedded
system, including but not only a motor vehicle electronic control unit, in which a vocabulary …

Facilitating the construction of specification pattern-based properties

S Konrad, BHC Cheng - 13th IEEE International Conference on …, 2005 - ieeexplore.ieee.org
Formal specification languages are often perceived as difficult to use by practitioners, and
are therefore rarely-used in industrial software development practices. Numerous …

Specification patterns from research to industry: a case study in service-based applications

D Bianculli, C Ghezzi, C Pautasso… - 2012 34th International …, 2012 - ieeexplore.ieee.org
Specification patterns have proven to help developers to state precise system requirements,
as well as formalize them by means of dedicated specification languages. Most of the past …

Requirements formality levels analysis and transformation of formal notations into semi-formal and informal notations

A Zaki-Ismail, M Osama, M Abdelrazek… - International …, 2021 - research.monash.edu
It is pivotal to have well-specified requirements to eliminate errors at an early stage of the
system development life cycle. Some quality standards recommend the use of formal …

From structured english to robot motion

H Kress-Gazit, GE Fainekos… - 2007 IEEE/RSJ …, 2007 - ieeexplore.ieee.org
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and
motion planning problems for mobile robots. One of the main attributes of LTL is its close …

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

K Loer, MD Harrison - Automated Software Engineering, 2006 - Springer
This paper discusses a method for the analysis of dependable interactive systems using
model checking, and its support by a tool designed to make it accessible to a broader …