Referenced Items are not available for this document.
This paper proposes a method for validating the design of a real-time system. The method is based on the formal specification of the target system and the verification of its timing requirements. The main contribution consists in introducing the design issues (e.g. the tasks parameters or the scheduling algorithm) in the system specification. It will allow to check how these design issues may affect the stated timing requirements
Published in:
Real-Time Systems, 1996., Proceedings of the Eighth Euromicro Workshop on
Date of Conference: 12-14 Jun 1996
- Page(s):
- 41 - 46
- Meeting Date :
- 12 Jun 1996-14 Jun 1996
- ISSN :
- 1068-3070
- Print ISBN:
- 0-8186-7496-2
- INSPEC Accession Number:
- 5437468
- Conference Location :
- L'Aquila
- Digital Object Identifier :
- 10.1109/EMWRTS.1996.557787
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
