1288 search results - page 94 / 258 » On Analysis of Design Component Contracts: A Case Study |
142
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
111
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
AUTOMATICA
2000
15 years 1 months ago
2000
In this paper, a learning control system is considered for motion systems that are subject to two types of disturbances; reproducible disturbances, that re-occur each run in the s...
120
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
112
click to vote
ACMDIS
2000
ACM
15 years 6 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...