1163 search results - page 133 / 233 » Case Studies of Model Checking for Embedded System Designs |
139
Voted
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
140
click to vote
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
157
click to vote
DAI
1995
Springer
15 years 8 months ago
1995
Springer
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...
133
click to vote
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
141
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper studies optimal input excitation design for parametric frequency response estimation. We will focus on least-squares estimation of Finite Impulse Response (FIR) models a...