Statecharts: A visual formalism for complex systems
Science of Computer Programming
Method integration: concepts and case studies
Method integration: concepts and case studies
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Software deviation analysis
Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints
Proceedings of the 5th Conference on Automated Deduction
Experience Report: Contributions of SFMEA to Requirements Analysis
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
In this paper a novel approach for safety analysis of embedded systems is proposed, based on modelling and analysing a system in terms of constraints. The main contributions of the reported work are: the introduction of a notation for modelling entities of the physical environment and controller, based on expressing state transition models as constraints; and providing procedures for the analysis of these models by resolution of a series of constraint satisfaction problems. In addition the work provides a systematic framework for modelling and analysis in terms of constraints, and can be realised in a constraint based programming language.