【摘 要】
：
After introducing the overview of our requirements description model HRFSM,the paper presents a dynamic software execution model (DERTS) of embedded real-time s
【机 构】
：
State Key Lab of Computer Software Engineering
论文部分内容阅读
After introducing the overview of our requirements description model HRFSM,the paper presents a dynamic software execution model (DERTS) of embedded real-time software, which can integrate control flow, data flow and time. Based on DERTS, a checking method is also presented. It consists of three kinds of checking and can check the consistency and completeness of the requirement specifications of embedded real-time software. Besides providing information helpful to improve the efficiency of analyzing and checking specifications,the checking method is flexible, and easy to understand and to use for the analyst.
其他文献
Based on the stochastic inclined rods model proposed by H. Matsuura et al., we study the motion of actin myosin system in an overdamped regime. Our model is com
Eight of new 5-oxo-[1]benzopyrano[2,3-b]pyridines as the analogues of tetracycline, were designed and synthesized, and their affinity to the hydroxyapatite - th
The reactions of [PPh4][(η5-C5Me5)WS3] with four equiv of CuBr in DMF gave rise to a new cluster salt [Cu(DMF)6][(η5-C5Me5)WS3(CuBr)3]2·Et2O 1. The crystal s
Total and differential cross sections for K+-6Li elastic scattering are calculated using the folding optical potential model, in which the influence of three fa
Six alkylene-linked dimers of (-)-huperzineA (6) were prepared. All these dimers are less potent than (-)-Hup A in inhibition of AChE.
This paper investigates the possibility of attaining sulphonated poly(phenylene oxide) (SPPO) with a relatively higher sulfonation degree. To achieve this aim,
The mononuclear copper(I) complex, [Cu(dppe)2](PF6)(CH3COCH3) [dppe = bis-(diphenylphosphino)ethane] has been synthesized and characterized by X-ray crystallogr
This paper is concerned with the oscillation of second order linear functional equations of the form x(g(t)) = P(t)x(t) + Q(t)x(g2(t)), where P, Q,g: [t0, ∞)
π-Conjugated poly(p-phenyleneethynylene) with the interruption of the conjugation by a butylene unit was synthesized. Its absorption, PL and EL spectra were in
The crystallinity of ethylene-butene copolymers prepared by copolymerization of ethylene and butene in the presence of a new highly active catalyst was studied