首页 | 本学科首页   官方微博 | 高级检索  
     


Requirements specification of real-time systems: temporal parameters and timing-constraints
Authors:Tereza G. Kirner  Alan M. Davis
Affiliation:

a Department of Computer Science, Federal University of São Carlos, Rua Benedita S. Sodré 233, 13.564-320, São Carlos, SP, Brazil

b Department of Computer Science, University of Colorado at Colorado Springs, P.O. Box 7150, Colorado Springs, CO 80933-7150, USA

Abstract:The development of high-quality real-time systems depends on their correct requirements specification, which includes the analysis and specification of timing issues. This paper focuses on requirements specification of real-time systems, presenting a set of temporal parameters and timing-constraints related to the execution of systems processes. Timing-constraints are expressed by formulas, being useful for defining, representing, and validating the system temporal behavior, particularly in hard real-time systems specifications. The primary contribution over previous studies is the proposal of a more generic and complete set of timing-constraints, applied to the area of requirements engineering for real-time systems, which has not been sufficiently explored.
Keywords:Real-time system   Requirements specification   Timing-constraints
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号