1784 search results - page 109 / 357 » Formal Models for Embedded System Design |
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
ITRUST
2005
Springer
14 years 2 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
RTAS
2007
IEEE
14 years 3 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...