The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Requirements Engineering
Software & Systems Requirements Engineering: In Practice
Software & Systems Requirements Engineering: In Practice
Fault-model-based test generation for embedded software
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A Logical Basis for Component-Oriented Software and Systems Engineering
The Computer Journal
Functional safety based on a system reference model
ASSC '12 Proceedings of the Australian System Safety Conference - Volume 145
Hi-index | 0.00 |
It is a challenge to engineer and select admissable test cases. This work approaches selection based on hazardous states through integrated modelling of the environment and the system, and by integration of requirements engineering activities into the tasks of system test engineering. The elaboration of test models and test case specifications focuses automation in system verification in order to detect hazard-oriented failures as well as in requirements validation in order to disclose potential defects in specification artefacts.