Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Real-Time UML: Developing Efficient Objects for Embedded Systems
Real-Time UML: Developing Efficient Objects for Embedded Systems
Safety-Oriented Design of Component Assemblies using Safety Interfaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and analysis of exception handling by using UML statecharts
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Model checking for timed statecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
Hi-index | 0.00 |
This paper describes methods and tools for automated safety analysis of UML statechart specifications. The general safety criteria described in the literature are reviewed and automated analysis techniques are proposed. The techniques based on OCL expressions and graph transformations are detailed and their limitations are discussed. To speed up the checker methods, a reduced form for UML statecharts is introduced. Using this form, the correctness and completeness of some checker methods can be proven. An example illustrates the application of the tools developed so far.