10159 search results - page 99 / 2032 » System Design Validation Using Formal Models |
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
ISER
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents the design of a selective-actuation flexure parallel mechanism that can provide three independent translational motions. The mechanism can be used as an ultra p...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
GROUP
1997
ACM
14 years 9 days ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...