Specifying real-time properties with metric temporal logic
Real-Time Systems
Techniques for automatic verification of real-time systems
Techniques for automatic verification of real-time systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Requirements Patterns for Embedded Systems
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Object Analysis Patterns for Embedded Systems
IEEE Transactions on Software Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Assurance patterns for distributed real-time embedded systems
Proceedings of the 27th international conference on Software engineering
Rubacon: automated support for model-based compliance engineering
Proceedings of the 30th international conference on Software engineering
A model based approach for debugging embedded systems in real-time
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Exploring implicit parallelism in class diagrams
Journal of Systems and Software
Automated analysis of natural language properties for UML models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
i2MAP: an incremental and iterative modeling and analysis process
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
This paper introduces an approach to adding timing information to UML diagrams for modeling embedded systems. In order to perform automated formal analysis of these UML diagrams with timing information, we extend a previously developed UML formalization framework to provide Promela semantics for the timing elements of the UML diagrams. The paper describes the application of our approach to an electronically controlled steering system obtained from one of our industrial collaborators.