ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Safeware: system safety and computers
Safeware: system safety and computers
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Optimizing Symbolic Model Checking for Statecharts
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Using a Visual Formalism for Design Verification in Industrial Environments
ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
On the Need for Practical Formal Methods
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
The Real-Time Graphical Interval Logic Toolset
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Formal Methods For Developing High Assurance Computer Systems: Working Group Report
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
On the expressive power of live sequence charts
Program analysis and compilation, theory and practice
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Specification patterns from research to industry: a case study in service-based applications
Proceedings of the 34th International Conference on Software Engineering
Linking modelling in event-b with safety cases
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
| Hi-index | 0.00 |
The use of formal methods increases the trust in the safe operation of software in industrial automation systems. But the use of formal methods in practical software development is rare. One of the reasons lies in the difficulties arising from formal specification of safety requirements by common software engineers who are not experts in logic. In this paper an approach is presented, in which the difficulties are overcame by the use of formal specification patterns. The main advantage in comparison to other approaches is that the specification patterns transfer expert knowledge. Therefore this approach not only helps in using formal methods, it also supports in learning the practical application of formal specification languages for safety requirements specification. The patterns are called "safety patterns" because they are developed for the formal specification of requirements special in context of safety.