Specification and validation of time constraints with the HMS machines model
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The validation and method integration process at different stages of the life cycle of an industrial production system are discussed. Method evaluation is emphasized as a preliminary step in project development. An approach for method scope assessment is proposed. The approach is based upon a model for describing the method's structure and artifact transformation. This model, when used for a particular method, viz. the hierarchical multi-state (HMS) method, allows the determination of aspects not clearly defined by the method as well as the identification of the boundaries of the method. It is then possible to propose an integration scheme where the aspects not taken into account by the method are covered by complementary methods. As a validation, an example of the use of HMS in compliance with the proposed integration is presented. The time constraint validation possibilities of HMS are reported.Keywords
This publication has 7 references indexed in Scilit:
- Hierarchical and functional architecture for control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A transformational method for verifying safety properties in real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- State-based specification of complex real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Multi-level specification and verification of real-time softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Time concepts in real-time softwareControl Engineering Practice, 1993
- A spiral model of software development and enhancementComputer, 1988
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977