3256 search results - page 15 / 652 » Integrated Environment for Embedded Control Systems Design |
FDL
2008
IEEE
15 years 4 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...
162
click to vote
GI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
132
click to vote
RTAS
2009
IEEE
15 years 9 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
125
Voted
IWSAS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
102
click to vote
WSC
2008
15 years 4 months ago
2008
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...