2810 search results - page 159 / 562 » Contract-Based Component System Design |
123
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
128
click to vote
RTAS
2005
IEEE
15 years 8 months ago
2005
IEEE
During real-world design of embedded real-time systems, it cannot be expected that all performance data required for scheduling analysis is fully available up front. In such situa...
106
click to vote
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
139
click to vote
SG
2005
Springer
15 years 8 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
118
click to vote
WSC
2000
15 years 4 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...