73 search results - page 4 / 15 » Model-based analysis of distributed real-time embedded syste... |
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
ECBS
2010
IEEE
14 years 2 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
ECRTS
2008
IEEE
14 years 2 months ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...