478 search results - page 1 / 96 » Behavioral Specification of Real-Time Requirements |
APSEC
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
RTSS
2000
IEEE
13 years 9 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
ANSOFT
2002
13 years 4 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
ECOOP
1994
Springer
13 years 9 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
JCST
2002
13 years 4 months ago
2002
