3765 search results - page 88 / 753 » Formal Methods for Systems Engineering Behavior Models |
120
click to vote
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
122
click to vote
SCS
2004
15 years 3 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
162
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
121
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
117
click to vote
FMSB
2008
15 years 3 months ago
2008
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...