摘要
讨论了实时系统软件工程方法、软件实现、调度与执行时间分析、系统软件验证四个方面的问题 ,介绍了在实时系统研究领域的学者们所做的工作 ,该领域理论的发展以及有待解决的问题。
Four issues about the software design of real-time systems ,software project scheme, actualization method, scheduling and execution time analysis, software verification are introduced in this paper. And more, the research achievement of other academician in this domain and the issues needed to be settled are also discussed.
出处
《计算机自动测量与控制》
CSCD
2000年第4期4-6,9,共4页
Computer Automated Measurement & Control
基金
航空基础科学基金资助项目! ( 97I 5 10 2 2 )
关键词
软件工程
实时系统软件
程序设计
real-time system
scheduling analysis
execution time analysis
system verification
system software design
