Foundations of logic programming
Foundations of logic programming
A logic-based calculus of events
New Generation Computing
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Safeware: system safety and computers
Safeware: system safety and computers
Using schematic scenarios to understand user needs
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
The use of goals to surface requirements for evolving systems
Proceedings of the 20th international conference on Software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Secrets & Lies: Digital Security in a Networked World
Secrets & Lies: Digital Security in a Networked World
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
An Approach to Designing Safe Embedded Software
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
A comedy of errors: the London Ambulance Service case study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle
Requirements Engineering
Requirements Engineering
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Deriving non-Zeno behaviour models from goal models using ILP
Formal Aspects of Computing
Computational alignment of goals and scenarios for complex systems
Proceedings of the 2013 International Conference on Software Engineering
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
| Hi-index | 0.00 |
Missing requirements are known to be among the major causes of software failure. They often result from a natural inclination to conceive over-ideal systems where the software-to-be and its environment always behave as expected. Obstacle analysis is a goal-anchored form of risk analysis whereby exceptional conditions that may obstruct system goals are identified, assessed and resolved to produce complete requirements. Various techniques have been proposed for identifying obstacle conditions systematically. Among these, the formal ones have limited applicability or are costly to automate. This paper describes a tool-supported technique for generating a set of obstacle conditions guaranteed to be complete and consistent with respect to the known domain properties. The approach relies on a novel combination of model checking and learning technologies. Obstacles are iteratively learned from counterexample and witness traces produced by model checking against a goal and converted into positive and negative examples, respectively. A comparative evaluation is provided with respect to published results on the manual derivation of obstacles in a real safety-critical system for which failures have been reported.